Solver | Time | Result |
---|---|---|
QUANTOR | 0.03 | UNSAT |
skizzo_v0.5 | 0.21 | UNSAT |
QMRes | 0.21 | UNSAT |
semprop | 0.26 | UNSAT |
QChaffLearn | 0.29 | UNSAT |
skizzo_v0.4 | 2.27 | UNSAT |
WalkQSAT | 13.64 | UNSAT |
yQuaffle | 15.99 | UNSAT |
GRL | 38.3 | UNSAT |
sSolve | 357.68 | UNSAT |
qbfbdd | 900.69 | FAIL |
QbflHR | 900.89 | FAIL |
openQbf | 900.95 | FAIL |