Solver | Time | Result |
---|---|---|
sSolve | 22.56 | UNSAT |
GRL | 56.43 | FAIL |
QChaffLearn | 56.79 | FAIL |
WalkQSAT | 56.84 | FAIL |
QUANTOR | 99.01 | UNSAT |
qbfbdd | 180.36 | UNSAT |
openQbf | 273.11 | UNSAT |
skizzo_v0.4 | 894.27 | FAIL |
skizzo_v0.5 | 896.92 | FAIL |
yQuaffle | 900.75 | FAIL |
QMRes | 900.81 | FAIL |
QbflHR | 900.95 | FAIL |
semprop | 900.98 | FAIL |