Solver | Time | Result |
---|---|---|
WalkQSAT | 0.04 | UNSAT |
QUANTOR | 13.95 | FAIL |
sSolve | 14.26 | UNSAT |
semprop | 26.25 | UNSAT |
openQbf | 98.67 | UNSAT |
QChaffLearn | 833.32 | FAIL |
yQuaffle | 890.58 | FAIL |
skizzo_v0.5 | 900.41 | FAIL |
skizzo_v0.4 | 900.75 | FAIL |
QMRes | 900.78 | FAIL |
qbfbdd | 900.82 | FAIL |
GRL | 900.95 | FAIL |
QbflHR | 901 | FAIL |