Solver | Time | Result |
---|---|---|
semprop | 0.39 | UNSAT |
QUANTOR | 9.3 | FAIL |
QbflHR | 216.77 | UNSAT |
skizzo_v0.5 | 225.13 | UNSAT |
WalkQSAT | 428.81 | UNSAT |
skizzo_v0.4 | 639.75 | UNSAT |
QChaffLearn | 877.34 | FAIL |
yQuaffle | 897.17 | FAIL |
QMRes | 900.32 | FAIL |
GRL | 900.83 | FAIL |
sSolve | 900.96 | FAIL |
openQbf | 900.97 | FAIL |
qbfbdd | 900.98 | FAIL |