Solver | Time | Result |
---|---|---|
WalkQSAT | 0.11 | SAT |
semprop | 0.11 | SAT |
skizzo_v0.5 | 0.41 | SAT |
QChaffLearn | 0.49 | SAT |
skizzo_v0.4 | 0.79 | SAT |
QUANTOR | 1.7 | SAT |
GRL | 1.71 | SAT |
openQbf | 4.81 | SAT |
sSolve | 6.8 | SAT |
QbflHR | 9.02 | SAT |
yQuaffle | 890.84 | FAIL |
qbfbdd | 900.84 | FAIL |
QMRes | 900.99 | FAIL |