Solver | Time | Result |
---|---|---|
qbfbdd | 1.42 | SAT |
yQuaffle | 2.77 | SAT |
sSolve | 29.22 | SAT |
QUANTOR | 40.06 | FAIL |
QChaffLearn | 49.76 | SAT |
skizzo_v0.5 | 50.83 | SAT |
WalkQSAT | 54.83 | FAIL |
GRL | 56.94 | SAT |
openQbf | 220.35 | SAT |
semprop | 256.58 | SAT |
skizzo_v0.4 | 646.39 | FAIL |
QMRes | 899.87 | FAIL |
QbflHR | 901 | FAIL |