Solver | Time | Result |
---|---|---|
preQuantor | 0 | FAIL |
sKizzo-0.9-abs | 1.01 | SAT |
yQuaffle | 3.05 | SAT |
qube3.0 | 6.42 | SAT |
qube4.0 | 12.05 | SAT |
qube5.0 | 12.21 | SAT |
sKizzo-0.9-std | 12.86 | SAT |
ssolve-ut | 21.72 | SAT |
sSolve | 21.75 | SAT |
ssolve+ut | 37.49 | SAT |
QUANTOR | 45.21 | FAIL |
QUANTOR_hc | 45.53 | FAIL |
WalkQSAT | 54.37 | FAIL |
GRL | 61.81 | SAT |
SQBF | 72.85 | SAT |
openQbf | 223.48 | SAT |
semprop | 255.54 | SAT |
Quaffle | 564.4 | FAIL |
sKizzo-0.9-grn | 599.39 | FAIL |
2clsQ | 1785.81 | SAT |
Qbfl | 6000.98 | FAIL |