Solver | Time | Result |
---|---|---|
QbflHR | 0.05 | SAT |
WalkQSAT | 0.07 | SAT |
GRL | 0.08 | SAT |
QChaffLearn | 0.1 | SAT |
skizzo_v0.5 | 0.19 | SAT |
skizzo_v0.4 | 0.21 | SAT |
sSolve | 1.88 | SAT |
QUANTOR | 10.7 | SAT |
yQuaffle | 899.92 | FAIL |
qbfbdd | 900.4 | FAIL |
QMRes | 900.86 | FAIL |
openQbf | 900.89 | FAIL |
semprop | 901 | FAIL |