Solver | Time | Result |
---|---|---|
WalkQSAT | 0.86 | FAIL |
QChaffLearn | 0.96 | FAIL |
QMRes | 7.18 | FAIL |
QUANTOR | 10.56 | FAIL |
GRL | 79.94 | UNSAT |
sSolve | 152.17 | UNSAT |
QbflHR | 234.39 | UNSAT |
openQbf | 409.85 | UNSAT |
yQuaffle | 731.68 | FAIL |
skizzo_v0.5 | 895.81 | FAIL |
skizzo_v0.4 | 898.05 | FAIL |
qbfbdd | 900.69 | FAIL |
semprop | 900.83 | FAIL |