Solver | Time | Result |
---|---|---|
qube5.0 | 0.82 | SAT |
qube4.0 | 0.82 | SAT |
WalkQSAT | 0.83 | SAT |
ssolve-ut | 2.39 | SAT |
semprop | 8.79 | SAT |
sSolve | 9.51 | SAT |
ssolve+ut | 12.4 | SAT |
preQuantor | 18.3 | FAIL |
qube3.0 | 18.57 | SAT |
QUANTOR | 19.31 | FAIL |
QUANTOR_hc | 20.05 | FAIL |
sKizzo-0.9-abs | 48.42 | SAT |
sKizzo-0.9-std | 50.79 | SAT |
2clsQ | 58.2 | SAT |
openQbf | 77.93 | SAT |
sKizzo-0.9-grn | 101.97 | FAIL |
Quaffle | 513.64 | FAIL |
SQBF | 515.99 | FAIL |
yQuaffle | 593.04 | FAIL |
Qbfl | 597.11 | FAIL |
GRL | 600.96 | FAIL |