Solver | Time | Result |
---|---|---|
skizzo_v0.4 | 0.02 | SAT |
skizzo_v0.5 | 0.03 | SAT |
WalkQSAT | 0.74 | SAT |
sSolve | 3.29 | SAT |
QUANTOR | 40.57 | SAT |
QChaffLearn | 856.92 | FAIL |
yQuaffle | 877.49 | FAIL |
GRL | 900.81 | FAIL |
QMRes | 900.85 | FAIL |
openQbf | 900.91 | FAIL |
semprop | 901 | FAIL |
QbflHR | 901 | FAIL |
qbfbdd | 901 | FAIL |