Solver | Time | Result |
---|---|---|
sKizzo-0.9-abs | 2.56 | SAT |
yQuaffle | 4.66 | SAT |
qube3.0 | 8.02 | SAT |
qube4.0 | 12.47 | SAT |
qube5.0 | 12.5 | SAT |
sSolve | 37.43 | SAT |
ssolve-ut | 37.51 | SAT |
preQuantor | 42.04 | FAIL |
QUANTOR | 42.73 | FAIL |
QUANTOR_hc | 44.31 | FAIL |
ssolve+ut | 55.02 | SAT |
SQBF | 63.94 | SAT |
WalkQSAT | 70.97 | FAIL |
GRL | 72.34 | SAT |
openQbf | 389.78 | SAT |
Quaffle | 573.73 | FAIL |
sKizzo-0.9-grn | 599.56 | FAIL |
semprop | 601.01 | FAIL |
sKizzo-0.9-std | 612.5 | SAT |
2clsQ | 2421.99 | FAIL |
Qbfl | 6000.94 | FAIL |