Solver | Time | Result |
---|---|---|
QbflHR | 0.22 | UNSAT |
QUANTOR | 0.69 | UNSAT |
sSolve | 0.8 | UNSAT |
GRL | 0.95 | UNSAT |
skizzo_v0.5 | 1.06 | UNSAT |
skizzo_v0.4 | 1.09 | UNSAT |
WalkQSAT | 1.18 | UNSAT |
semprop | 1.26 | UNSAT |
yQuaffle | 1.3 | UNSAT |
QChaffLearn | 1.31 | UNSAT |
openQbf | 3.39 | UNSAT |
QMRes | 6.53 | FAIL |
qbfbdd | 9.06 | FAIL |