Solver | Time | Result |
---|---|---|
sSolve | 0 | UNSAT |
semprop | 0.64 | UNSAT |
QUANTOR | 9.25 | FAIL |
skizzo_v0.5 | 47.8 | UNSAT |
skizzo_v0.4 | 52.8 | UNSAT |
GRL | 74.17 | UNSAT |
QChaffLearn | 491.33 | UNSAT |
yQuaffle | 900.34 | FAIL |
QMRes | 900.69 | FAIL |
qbfbdd | 900.82 | FAIL |
openQbf | 900.91 | FAIL |
QbflHR | 901 | FAIL |
WalkQSAT | 901 | FAIL |