Solver | Time | Result |
---|---|---|
WalkQSAT | 0.61 | FAIL |
QChaffLearn | 0.69 | FAIL |
QMRes | 5.08 | FAIL |
QUANTOR | 10.05 | FAIL |
GRL | 48.66 | UNSAT |
sSolve | 90.9 | UNSAT |
QbflHR | 136.35 | UNSAT |
openQbf | 237.07 | UNSAT |
yQuaffle | 727.4 | FAIL |
skizzo_v0.5 | 895.59 | FAIL |
skizzo_v0.4 | 899.28 | FAIL |
qbfbdd | 900.83 | FAIL |
semprop | 900.83 | FAIL |