Solver | Time | Result |
---|---|---|
QUANTOR | 0.01 | SAT |
semprop | 0.03 | SAT |
WalkQSAT | 0.12 | SAT |
sSolve | 0.22 | SAT |
GRL | 0.48 | SAT |
QChaffLearn | 0.53 | SAT |
QbflHR | 0.69 | SAT |
openQbf | 3.76 | SAT |
skizzo_v0.5 | 15.35 | SAT |
skizzo_v0.4 | 846.74 | SAT |
yQuaffle | 875.96 | FAIL |
QMRes | 900.85 | FAIL |
qbfbdd | 900.99 | FAIL |