mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-06 03:05:31 -05:00
1616 lines
97 KiB
Text
1616 lines
97 KiB
Text
|
|
Processing file 'problems/uuf175/uuf175-09.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.035 | 600.002
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.300 | 0.300
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.037 | 0.037
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.036 | 0.036
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.079 | 0.079
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.237 | 0.237
|
|
|
|
Processing file 'problems/uuf175/uuf175-099.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 4.800 | 4.800
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.160 | 0.160
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.025 | 0.025
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.025 | 0.025
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.043 | 0.043
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.092 | 0.092
|
|
|
|
Processing file 'problems/uuf175/uuf175-098.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.003
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.194 | 0.194
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.037 | 0.037
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.037 | 0.037
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.079 | 0.079
|
|
|
|
Processing file 'problems/uuf175/uuf175-097.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 3.911 | 3.911
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.089 | 0.089
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.022 | 0.022
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.023 | 0.023
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.023 | 0.023
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.069 | 0.069
|
|
|
|
Processing file 'problems/uuf175/uuf175-096.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 74.443 | 74.438
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.277 | 0.277
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.038 | 0.038
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.036 | 0.036
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.044 | 0.044
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.118 | 0.118
|
|
|
|
Processing file 'problems/uuf175/uuf175-095.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 338.699 | 338.679
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.316 | 0.316
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.048 | 0.048
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.047 | 0.047
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.074 | 0.074
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.112 | 0.112
|
|
|
|
Processing file 'problems/uuf175/uuf175-094.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.044 | 600.008
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.387 | 0.387
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.051 | 0.051
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.049 | 0.049
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.059 | 0.059
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.141 | 0.141
|
|
|
|
Processing file 'problems/uuf175/uuf175-093.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.037 | 600.001
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.396 | 0.396
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.055 | 0.055
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.054 | 0.054
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.079 | 0.079
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.129 | 0.129
|
|
|
|
Processing file 'problems/uuf175/uuf175-092.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.037 | 600.000
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.219 | 0.219
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.034 | 0.034
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.033 | 0.033
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.059 | 0.059
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.097 | 0.097
|
|
|
|
Processing file 'problems/uuf175/uuf175-091.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.040 | 600.004
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.218 | 0.218
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.031 | 0.031
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.031 | 0.031
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.072 | 0.072
|
|
|
|
Processing file 'problems/uuf175/uuf175-090.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.037 | 600.000
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.237 | 0.237
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.034 | 0.034
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.034 | 0.034
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.051 | 0.051
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.191 | 0.191
|
|
|
|
Processing file 'problems/uuf175/uuf175-08.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.038 | 600.002
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.631 | 0.631
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.092 | 0.092
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.090 | 0.090
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.144 | 0.144
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.314 | 0.314
|
|
|
|
Processing file 'problems/uuf175/uuf175-089.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 569.268 | 569.234
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.170 | 0.170
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.037 | 0.037
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.035 | 0.035
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.041 | 0.041
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.051 | 0.051
|
|
|
|
Processing file 'problems/uuf175/uuf175-088.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 534.609 | 534.576
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.474 | 0.474
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.057 | 0.057
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.055 | 0.055
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.086 | 0.086
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.249 | 0.249
|
|
|
|
Processing file 'problems/uuf175/uuf175-087.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.002
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.303 | 0.303
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.046 | 0.046
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.048 | 0.048
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.066 | 0.066
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.173 | 0.173
|
|
|
|
Processing file 'problems/uuf175/uuf175-086.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.041 | 600.005
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.093 | 0.093
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.019 | 0.019
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.019 | 0.019
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.034 | 0.034
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.061 | 0.061
|
|
|
|
Processing file 'problems/uuf175/uuf175-085.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.037 | 600.000
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.401 | 0.401
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.052 | 0.052
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.051 | 0.051
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.089 | 0.089
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.113 | 0.113
|
|
|
|
Processing file 'problems/uuf175/uuf175-084.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 85.227 | 85.222
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.390 | 0.390
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.068 | 0.068
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.065 | 0.065
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.095 | 0.095
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.124 | 0.124
|
|
|
|
Processing file 'problems/uuf175/uuf175-083.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.046 | 600.009
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.665 | 0.665
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.073 | 0.073
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.072 | 0.072
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.104 | 0.104
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.183 | 0.183
|
|
|
|
Processing file 'problems/uuf175/uuf175-082.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.038 | 600.001
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.673 | 0.673
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.082 | 0.082
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.081 | 0.081
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.106 | 0.106
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.206 | 0.206
|
|
|
|
Processing file 'problems/uuf175/uuf175-081.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.048 | 600.011
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.337 | 0.337
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.040 | 0.040
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.038 | 0.038
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.051 | 0.051
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.243 | 0.243
|
|
|
|
Processing file 'problems/uuf175/uuf175-080.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.036 | 600.000
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.169 | 0.169
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.053 | 0.053
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.162 | 0.162
|
|
|
|
Processing file 'problems/uuf175/uuf175-07.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.038 | 600.001
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.388 | 0.387
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.055 | 0.055
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.055 | 0.055
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.065 | 0.065
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.244 | 0.244
|
|
|
|
Processing file 'problems/uuf175/uuf175-079.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.040 | 600.004
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.253 | 0.253
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.057 | 0.057
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.112 | 0.112
|
|
|
|
Processing file 'problems/uuf175/uuf175-078.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.038 | 600.001
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.370 | 0.370
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.059 | 0.059
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.059 | 0.059
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.078 | 0.078
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.205 | 0.205
|
|
|
|
Processing file 'problems/uuf175/uuf175-077.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 306.423 | 306.404
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.113 | 0.113
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.029 | 0.029
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.029 | 0.029
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.037 | 0.037
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.076 | 0.076
|
|
|
|
Processing file 'problems/uuf175/uuf175-076.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.002
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.435 | 0.435
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.044 | 0.044
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.075 | 0.075
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.232 | 0.232
|
|
|
|
Processing file 'problems/uuf175/uuf175-075.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 21.232 | 21.230
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.389 | 0.389
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.055 | 0.055
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.054 | 0.054
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.095 | 0.095
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.218 | 0.218
|
|
|
|
Processing file 'problems/uuf175/uuf175-074.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.002
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.322 | 0.322
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.050 | 0.050
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.049 | 0.049
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.066 | 0.066
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.184 | 0.184
|
|
|
|
Processing file 'problems/uuf175/uuf175-073.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.003
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.368 | 0.368
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.065 | 0.065
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.063 | 0.063
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.133 | 0.133
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.130 | 0.130
|
|
|
|
Processing file 'problems/uuf175/uuf175-072.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 15.173 | 15.172
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.294 | 0.294
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.051 | 0.051
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.049 | 0.049
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.067 | 0.067
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.112 | 0.112
|
|
|
|
Processing file 'problems/uuf175/uuf175-071.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.042 | 600.005
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.337 | 0.337
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.049 | 0.049
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.048 | 0.048
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.079 | 0.079
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.191 | 0.191
|
|
|
|
Processing file 'problems/uuf175/uuf175-070.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.003
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.615 | 0.615
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.049 | 0.049
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.048 | 0.048
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.107 | 0.107
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.122 | 0.122
|
|
|
|
Processing file 'problems/uuf175/uuf175-06.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.038 | 600.002
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.611 | 0.611
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.051 | 0.051
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.050 | 0.050
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.087 | 0.087
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.194 | 0.194
|
|
|
|
Processing file 'problems/uuf175/uuf175-069.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.037 | 600.000
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.321 | 0.321
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.050 | 0.050
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.051 | 0.051
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.056 | 0.056
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.099 | 0.099
|
|
|
|
Processing file 'problems/uuf175/uuf175-068.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.003
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.300 | 0.300
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.078 | 0.078
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.079 | 0.079
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.074 | 0.074
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.146 | 0.146
|
|
|
|
Processing file 'problems/uuf175/uuf175-067.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.041 | 600.004
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.308 | 0.308
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.039 | 0.039
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.038 | 0.038
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.063 | 0.063
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.225 | 0.225
|
|
|
|
Processing file 'problems/uuf175/uuf175-066.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.002
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.392 | 0.392
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.044 | 0.044
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.078 | 0.078
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.170 | 0.170
|
|
|
|
Processing file 'problems/uuf175/uuf175-065.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.038 | 600.003
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.320 | 0.320
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.052 | 0.052
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.050 | 0.050
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.059 | 0.059
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.161 | 0.161
|
|
|
|
Processing file 'problems/uuf175/uuf175-064.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.038 | 600.003
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.262 | 0.262
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.058 | 0.058
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.058 | 0.058
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.073 | 0.073
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.100 | 0.100
|
|
|
|
Processing file 'problems/uuf175/uuf175-063.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.041 | 600.006
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.173 | 0.173
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.032 | 0.032
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.031 | 0.031
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.163 | 0.163
|
|
|
|
Processing file 'problems/uuf175/uuf175-062.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.004
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.402 | 0.402
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.052 | 0.052
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.051 | 0.051
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.099 | 0.099
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.165 | 0.165
|
|
|
|
Processing file 'problems/uuf175/uuf175-061.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 25.017 | 25.016
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.110 | 0.110
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.029 | 0.029
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.028 | 0.028
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.038 | 0.038
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.079 | 0.079
|
|
|
|
Processing file 'problems/uuf175/uuf175-060.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.004
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.798 | 0.798
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.080 | 0.080
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.073 | 0.073
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.156 | 0.156
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.251 | 0.251
|
|
|
|
Processing file 'problems/uuf175/uuf175-05.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.043 | 600.007
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.415 | 0.415
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.038 | 0.038
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.037 | 0.037
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.078 | 0.078
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.152 | 0.152
|
|
|
|
Processing file 'problems/uuf175/uuf175-059.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.037 | 600.001
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.286 | 0.286
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.049 | 0.049
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.046 | 0.046
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.071 | 0.071
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.168 | 0.168
|
|
|
|
Processing file 'problems/uuf175/uuf175-058.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 565.893 | 565.860
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.170 | 0.170
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.033 | 0.033
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.033 | 0.033
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.037 | 0.037
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.084 | 0.084
|
|
|
|
Processing file 'problems/uuf175/uuf175-057.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.036 | 600.001
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.331 | 0.331
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.052 | 0.052
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.053 | 0.053
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.077 | 0.077
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.219 | 0.219
|
|
|
|
Processing file 'problems/uuf175/uuf175-056.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.037 | 600.001
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.430 | 0.430
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.046 | 0.046
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.127 | 0.127
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.177 | 0.177
|
|
|
|
Processing file 'problems/uuf175/uuf175-055.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.048 | 600.011
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.511 | 0.511
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.060 | 0.060
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.058 | 0.058
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.135 | 0.135
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.317 | 0.317
|
|
|
|
Processing file 'problems/uuf175/uuf175-054.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.048 | 600.012
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.621 | 0.621
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.069 | 0.069
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.068 | 0.068
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.119 | 0.119
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.265 | 0.265
|
|
|
|
Processing file 'problems/uuf175/uuf175-053.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.038 | 600.002
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.511 | 0.511
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.061 | 0.061
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.059 | 0.059
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.102 | 0.102
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.229 | 0.229
|
|
|
|
Processing file 'problems/uuf175/uuf175-052.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.003
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.266 | 0.266
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.037 | 0.037
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.037 | 0.037
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.069 | 0.069
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.186 | 0.186
|
|
|
|
Processing file 'problems/uuf175/uuf175-051.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 166.177 | 166.167
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.168 | 0.168
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.023 | 0.023
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.022 | 0.022
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.037 | 0.037
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.093 | 0.093
|
|
|
|
Processing file 'problems/uuf175/uuf175-050.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.042 | 600.006
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.909 | 0.909
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.135 | 0.135
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.130 | 0.130
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.167 | 0.167
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.318 | 0.318
|
|
|
|
Processing file 'problems/uuf175/uuf175-04.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.003
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.324 | 0.324
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.051 | 0.051
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.049 | 0.049
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.067 | 0.067
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.314 | 0.314
|
|
|
|
Processing file 'problems/uuf175/uuf175-049.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.003
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.446 | 0.446
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.075 | 0.075
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.073 | 0.073
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.083 | 0.083
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.120 | 0.120
|
|
|
|
Processing file 'problems/uuf175/uuf175-048.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.036 | 600.000
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.493 | 0.493
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.062 | 0.062
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.061 | 0.061
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.147 | 0.147
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.176 | 0.176
|
|
|
|
Processing file 'problems/uuf175/uuf175-047.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.040 | 600.004
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.510 | 0.510
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.077 | 0.077
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.076 | 0.076
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.111 | 0.111
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.263 | 0.263
|
|
|
|
Processing file 'problems/uuf175/uuf175-046.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.037 | 600.001
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.514 | 0.514
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.051 | 0.051
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.051 | 0.051
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.087 | 0.087
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.156 | 0.156
|
|
|
|
Processing file 'problems/uuf175/uuf175-045.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.038 | 600.002
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.168 | 0.168
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.033 | 0.033
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.033 | 0.033
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.038 | 0.038
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.082 | 0.082
|
|
|
|
Processing file 'problems/uuf175/uuf175-044.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.037 | 600.000
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.230 | 0.230
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.032 | 0.032
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.031 | 0.031
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.064 | 0.064
|
|
|
|
Processing file 'problems/uuf175/uuf175-043.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.041 | 600.004
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.421 | 0.421
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.050 | 0.050
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.048 | 0.048
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.065 | 0.065
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.153 | 0.153
|
|
|
|
Processing file 'problems/uuf175/uuf175-042.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.038 | 600.001
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 1.630 | 1.630
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.111 | 0.111
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.106 | 0.106
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.353 | 0.353
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.582 | 0.582
|
|
|
|
Processing file 'problems/uuf175/uuf175-041.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 2.346 | 2.345
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.099 | 0.099
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.024 | 0.024
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.024 | 0.024
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.027 | 0.027
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.044 | 0.044
|
|
|
|
Processing file 'problems/uuf175/uuf175-040.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 24.112 | 24.111
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.326 | 0.326
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.036 | 0.036
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.035 | 0.035
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.077 | 0.077
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.110 | 0.110
|
|
|
|
Processing file 'problems/uuf175/uuf175-03.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.040 | 600.004
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.404 | 0.404
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.053 | 0.053
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.052 | 0.052
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.060 | 0.060
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.225 | 0.225
|
|
|
|
Processing file 'problems/uuf175/uuf175-039.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.045 | 600.008
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.471 | 0.471
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.057 | 0.057
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.055 | 0.055
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.066 | 0.066
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.175 | 0.175
|
|
|
|
Processing file 'problems/uuf175/uuf175-038.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 148.430 | 148.422
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.200 | 0.200
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.028 | 0.028
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.027 | 0.027
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.050 | 0.050
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.113 | 0.113
|
|
|
|
Processing file 'problems/uuf175/uuf175-037.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.041 | 600.005
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.236 | 0.236
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.046 | 0.046
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.063 | 0.063
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.116 | 0.116
|
|
|
|
Processing file 'problems/uuf175/uuf175-036.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.002
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.321 | 0.321
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.037 | 0.037
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.037 | 0.036
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.057 | 0.057
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.100 | 0.100
|
|
|
|
Processing file 'problems/uuf175/uuf175-035.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 307.948 | 307.929
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.331 | 0.331
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.050 | 0.050
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.049 | 0.049
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.068 | 0.068
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.190 | 0.190
|
|
|
|
Processing file 'problems/uuf175/uuf175-034.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.036 | 600.001
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.349 | 0.349
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.038 | 0.038
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.037 | 0.037
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.063 | 0.063
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.079 | 0.079
|
|
|
|
Processing file 'problems/uuf175/uuf175-033.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 217.107 | 217.094
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.424 | 0.424
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.050 | 0.050
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.049 | 0.048
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.079 | 0.079
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.310 | 0.310
|
|
|
|
Processing file 'problems/uuf175/uuf175-032.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.038 | 600.002
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.549 | 0.549
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.088 | 0.088
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.089 | 0.089
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.143 | 0.143
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.437 | 0.437
|
|
|
|
Processing file 'problems/uuf175/uuf175-031.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 20.180 | 20.179
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.251 | 0.250
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.029 | 0.029
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.028 | 0.028
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.055 | 0.055
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.091 | 0.091
|
|
|
|
Processing file 'problems/uuf175/uuf175-030.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 5.378 | 5.378
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.106 | 0.106
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.027 | 0.027
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.027 | 0.027
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.031 | 0.031
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.059 | 0.059
|
|
|
|
Processing file 'problems/uuf175/uuf175-02.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.040 | 600.004
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 1.083 | 1.083
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.105 | 0.105
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.102 | 0.102
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.164 | 0.164
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.424 | 0.424
|
|
|
|
Processing file 'problems/uuf175/uuf175-029.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.003
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.322 | 0.322
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.044 | 0.044
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.063 | 0.063
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.080 | 0.080
|
|
|
|
Processing file 'problems/uuf175/uuf175-028.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.040 | 600.004
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.308 | 0.308
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.034 | 0.034
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.036 | 0.036
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.076 | 0.076
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.289 | 0.289
|
|
|
|
Processing file 'problems/uuf175/uuf175-027.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.003
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.283 | 0.283
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.046 | 0.046
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.056 | 0.056
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.253 | 0.253
|
|
|
|
Processing file 'problems/uuf175/uuf175-026.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 30.985 | 30.983
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.179 | 0.179
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.046 | 0.046
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.047 | 0.047
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.047 | 0.047
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.106 | 0.106
|
|
|
|
Processing file 'problems/uuf175/uuf175-025.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 96.961 | 96.955
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.142 | 0.142
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.029 | 0.029
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.027 | 0.027
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.038 | 0.038
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.098 | 0.098
|
|
|
|
Processing file 'problems/uuf175/uuf175-024.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.037 | 600.001
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.281 | 0.281
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.061 | 0.061
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.061 | 0.061
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.065 | 0.065
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.188 | 0.188
|
|
|
|
Processing file 'problems/uuf175/uuf175-023.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 202.711 | 202.699
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.349 | 0.349
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.042 | 0.042
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.041 | 0.041
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.064 | 0.064
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.182 | 0.182
|
|
|
|
Processing file 'problems/uuf175/uuf175-022.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 293.348 | 293.330
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.225 | 0.225
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.035 | 0.035
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.034 | 0.034
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.063 | 0.063
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.173 | 0.173
|
|
|
|
Processing file 'problems/uuf175/uuf175-021.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.003
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.288 | 0.288
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.042 | 0.042
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.042 | 0.042
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.061 | 0.061
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.159 | 0.159
|
|
|
|
Processing file 'problems/uuf175/uuf175-020.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.037 | 600.001
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.494 | 0.494
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.077 | 0.077
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.074 | 0.074
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.136 | 0.136
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.219 | 0.219
|
|
|
|
Processing file 'problems/uuf175/uuf175-01.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.037 | 600.001
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.310 | 0.310
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.034 | 0.034
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.035 | 0.035
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.057 | 0.057
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.135 | 0.135
|
|
|
|
Processing file 'problems/uuf175/uuf175-019.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.039 | 600.003
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.513 | 0.513
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.056 | 0.056
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.055 | 0.055
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.081 | 0.081
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.207 | 0.207
|
|
|
|
Processing file 'problems/uuf175/uuf175-018.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.038 | 600.002
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.380 | 0.380
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.045 | 0.045
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.044 | 0.044
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.081 | 0.081
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.205 | 0.205
|
|
|
|
Processing file 'problems/uuf175/uuf175-017.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.040 | 600.004
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.249 | 0.249
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.029 | 0.029
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.028 | 0.028
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.041 | 0.041
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.069 | 0.069
|
|
|
|
Processing file 'problems/uuf175/uuf175-016.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.040 | 600.004
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.544 | 0.544
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.062 | 0.062
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.061 | 0.061
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.107 | 0.107
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.204 | 0.204
|
|
|
|
Processing file 'problems/uuf175/uuf175-015.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.037 | 600.002
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.206 | 0.206
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.027 | 0.027
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.026 | 0.026
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.038 | 0.038
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.054 | 0.054
|
|
|
|
Processing file 'problems/uuf175/uuf175-014.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 600.049 | 600.013
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.896 | 0.896
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.087 | 0.087
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.086 | 0.086
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.146 | 0.146
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.516 | 0.515
|
|
|
|
Processing file 'problems/uuf175/uuf175-013.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 83.901 | 83.896
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.307 | 0.307
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.044 | 0.044
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.044 | 0.044
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.061 | 0.061
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.130 | 0.130
|
|
|
|
Processing file 'problems/uuf175/uuf175-012.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 174.365 | 174.355
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.201 | 0.200
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.029 | 0.029
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.029 | 0.029
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.054 | 0.054
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.067 | 0.067
|
|
|
|
Processing file 'problems/uuf175/uuf175-011.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+--------+--------+----------+----------
|
|
aez (aez) | unsat | 1 | 62.877 | 62.873
|
|
-----------------------------+--------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.136 | 0.136
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.023 | 0.023
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.023 | 0.023
|
|
-----------------------------+--------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.034 | 0.034
|
|
-----------------------------+--------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.098 | 0.098
|
|
|
|
Processing file 'problems/uuf175/uuf175-010.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 599.992 | 600.009
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.481 | 0.482
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.040 | 0.040
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.040 | 0.040
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.080 | 0.080
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.289 | 0.289
|
|
|
|
Processing file 'problems/uuf175/uuf175-0100.cnf': parsing... solving..
|
|
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 1 | 599.925 | 600.000
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 1 | 0.178 | 0.178
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 1 | 0.031 | 0.031
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 1 | 0.030 | 0.030
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 1 | 0.040 | 0.040
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 1 | 0.085 | 0.085
|
|
Aggregate (mean):
|
|
solver | status | number | CPU time | Realtime
|
|
-----------------------------+---------+--------+----------+----------
|
|
cryptominisat (sattools) | unsat | 100 | 0.172 | 0.172
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (sattools) | unsat | 100 | 0.077 | 0.077
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (ocaml-sat-solvers) | unsat | 100 | 0.048 | 0.048
|
|
-----------------------------+---------+--------+----------+----------
|
|
minisat (minisat) | unsat | 100 | 0.049 | 0.049
|
|
-----------------------------+---------+--------+----------+----------
|
|
msat (mSAT) | unsat | 100 | 0.368 | 0.368
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | unsat | 27 | 162.279 | 162.279
|
|
-----------------------------+---------+--------+----------+----------
|
|
aez (aez) | timeout | 73 | 600.037 | 600.037
|