Solver | Time | Result |
---|---|---|
WalkQSAT | 0.04 | SAT |
QChaffLearn | 0.12 | SAT |
semprop | 0.16 | SAT |
skizzo_v0.4 | 0.35 | FAIL |
skizzo_v0.5 | 0.48 | SAT |
QbflHR | 0.73 | SAT |
GRL | 1.26 | SAT |
sSolve | 1.63 | SAT |
openQbf | 14.18 | SAT |
QUANTOR | 669.99 | SAT |
yQuaffle | 895.31 | FAIL |
qbfbdd | 900.78 | FAIL |
QMRes | 901 | FAIL |