Solver | Time | Result |
---|---|---|
semprop | 8.34 | FAIL |
QUANTOR | 17.22 | FAIL |
sSolve | 21.21 | UNSAT |
WalkQSAT | 28.45 | UNSAT |
openQbf | 32.32 | UNSAT |
skizzo_v0.4 | 246.65 | UNSAT |
QChaffLearn | 882.41 | FAIL |
yQuaffle | 896.27 | FAIL |
skizzo_v0.5 | 897.82 | FAIL |
QMRes | 900.85 | FAIL |
GRL | 900.96 | FAIL |
qbfbdd | 900.98 | FAIL |
QbflHR | 901.01 | FAIL |