Solver | Time | Result |
---|---|---|
semprop | 0.06 | SAT |
QUANTOR | 0.18 | SAT |
skizzo_v0.5 | 0.43 | SAT |
skizzo_v0.4 | 0.5 | SAT |
WalkQSAT | 1.56 | SAT |
sSolve | 2.66 | SAT |
QbflHR | 12.92 | SAT |
QChaffLearn | 13.81 | UNSAT |
openQbf | 101.21 | SAT |
GRL | 185 | SAT |
yQuaffle | 889.74 | FAIL |
QMRes | 900.8 | FAIL |
qbfbdd | 901.01 | FAIL |