Solver | Time | Result |
---|---|---|
QbflHR | 0.41 | UNSAT |
WalkQSAT | 1.25 | FAIL |
sSolve | 1.3 | UNSAT |
QChaffLearn | 1.36 | FAIL |
skizzo_v0.5 | 1.44 | UNSAT |
skizzo_v0.4 | 1.44 | UNSAT |
QUANTOR | 1.51 | UNSAT |
GRL | 1.68 | UNSAT |
yQuaffle | 2.38 | UNSAT |
semprop | 2.6 | UNSAT |
openQbf | 2.65 | UNSAT |
qbfbdd | 7.92 | UNSAT |
QMRes | 11.47 | FAIL |