Solver | Time | Result |
---|---|---|
qbfbdd | 1.86 | SAT |
yQuaffle | 3.44 | SAT |
skizzo_v0.5 | 24.39 | FAIL |
QUANTOR | 35.67 | FAIL |
sSolve | 37.75 | SAT |
GRL | 60.91 | SAT |
QChaffLearn | 68.73 | SAT |
WalkQSAT | 69.33 | FAIL |
semprop | 187.81 | SAT |
openQbf | 350.19 | SAT |
skizzo_v0.4 | 357.42 | FAIL |
QMRes | 900.12 | FAIL |
QbflHR | 901 | FAIL |