Solver | Time | Result |
---|---|---|
QUANTOR | 0.02 | SAT |
QMRes | 0.64 | SAT |
semprop | 1.09 | SAT |
skizzo_v0.5 | 4.34 | SAT |
skizzo_v0.4 | 5.41 | SAT |
QbflHR | 29.15 | SAT |
WalkQSAT | 29.64 | SAT |
QChaffLearn | 53.65 | SAT |
GRL | 211.89 | SAT |
yQuaffle | 900.65 | FAIL |
sSolve | 900.88 | FAIL |
openQbf | 900.94 | FAIL |
qbfbdd | 900.96 | FAIL |