Solver | Time | Result |
---|---|---|
sSolve | 5.21 | UNSAT |
QUANTOR | 13.48 | FAIL |
skizzo_v0.5 | 37.19 | UNSAT |
skizzo_v0.4 | 117.32 | UNSAT |
semprop | 159.78 | UNSAT |
openQbf | 366.81 | UNSAT |
QChaffLearn | 842.99 | FAIL |
yQuaffle | 884.82 | FAIL |
GRL | 900.88 | FAIL |
QMRes | 900.93 | FAIL |
qbfbdd | 900.99 | FAIL |
WalkQSAT | 901 | FAIL |
QbflHR | 901.01 | FAIL |