Solver | Time | Result |
---|---|---|
QUANTOR | 0.03 | SAT |
skizzo_v0.4 | 0.03 | SAT |
semprop | 0.03 | SAT |
skizzo_v0.5 | 0.07 | SAT |
sSolve | 0.32 | SAT |
QMRes | 0.48 | SAT |
WalkQSAT | 8.02 | SAT |
QbflHR | 8.13 | SAT |
QChaffLearn | 11.31 | SAT |
openQbf | 21.94 | SAT |
yQuaffle | 24.55 | SAT |
GRL | 106.73 | SAT |
qbfbdd | 900.72 | FAIL |