Solver | Time | Result |
---|---|---|
QUANTOR | 0 | SAT |
skizzo_v0.4 | 0.52 | SAT |
skizzo_v0.5 | 0.56 | SAT |
sSolve | 0.97 | SAT |
WalkQSAT | 2.87 | SAT |
semprop | 7 | SAT |
QChaffLearn | 9.44 | SAT |
openQbf | 101.84 | SAT |
GRL | 277.73 | SAT |
yQuaffle | 892.1 | FAIL |
QMRes | 900.84 | FAIL |
qbfbdd | 900.97 | FAIL |
QbflHR | 901 | FAIL |