Solver | Time | Result |
---|---|---|
yQuaffle | 0.62 | UNSAT |
skizzo_v0.5 | 1.66 | UNSAT |
skizzo_v0.4 | 1.68 | UNSAT |
QUANTOR | 3.81 | UNSAT |
semprop | 3.86 | UNSAT |
sSolve | 12.83 | UNSAT |
qbfbdd | 24.43 | UNSAT |
QChaffLearn | 40.03 | UNSAT |
GRL | 70.35 | UNSAT |
WalkQSAT | 476.98 | FAIL |
QMRes | 900.49 | FAIL |
openQbf | 900.94 | FAIL |
QbflHR | 900.97 | FAIL |