Solver | Time | Result |
---|---|---|
ssolve-ut | 0.24 | UNSAT |
qube3.0 | 0.42 | UNSAT |
sKizzo-0.9-grn | 0.81 | UNSAT |
semprop | 0.96 | UNSAT |
sSolve | 1.23 | UNSAT |
qube4.0 | 1.61 | UNSAT |
qube5.0 | 1.66 | UNSAT |
ssolve+ut | 4.21 | UNSAT |
QUANTOR_hc | 12.94 | FAIL |
QUANTOR | 13.28 | FAIL |
sKizzo-0.9-abs | 14.74 | UNSAT |
sKizzo-0.9-std | 14.95 | UNSAT |
preQuantor | 17.56 | FAIL |
SQBF | 20.1 | UNSAT |
WalkQSAT | 20.68 | UNSAT |
2clsQ | 20.83 | UNSAT |
GRL | 154.25 | UNSAT |
Quaffle | 567.94 | FAIL |
yQuaffle | 599.25 | FAIL |
Qbfl | 5996.15 | FAIL |
openQbf | 6000.87 | FAIL |