Solver | Time | Result |
---|---|---|
QUANTOR | 0.08 | UNSAT |
WalkQSAT | 0.11 | UNSAT |
skizzo_v0.5 | 0.33 | UNSAT |
skizzo_v0.4 | 0.4 | UNSAT |
semprop | 0.86 | FAIL |
openQbf | 6.15 | UNSAT |
sSolve | 6.6 | UNSAT |
QbflHR | 325.94 | UNSAT |
QChaffLearn | 837.13 | FAIL |
yQuaffle | 895.25 | FAIL |
qbfbdd | 900.74 | FAIL |
QMRes | 900.86 | FAIL |
GRL | 900.94 | FAIL |