Solver | Time | Result |
---|---|---|
QbflHR | 0.43 | UNSAT |
QUANTOR | 0.88 | UNSAT |
WalkQSAT | 0.97 | FAIL |
sSolve | 1.13 | UNSAT |
skizzo_v0.5 | 1.25 | UNSAT |
skizzo_v0.4 | 1.34 | UNSAT |
GRL | 1.38 | UNSAT |
semprop | 1.54 | UNSAT |
yQuaffle | 2.06 | UNSAT |
QChaffLearn | 2.12 | UNSAT |
qbfbdd | 10.84 | FAIL |
QMRes | 13.66 | FAIL |
openQbf | 615.52 | UNSAT |