x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QbflHR | 0.21 | semprop | 0.66 | openQbf | 1.77 |
- | - | WalkQSAT | 0.27 | - | - | GRL | 1.92 |
- | - | - | - | - | - | QChaffLearn | 4.39 |
sSolve(0.07) | |
QbflHR(0.21) | |
WalkQSAT(0.27) | |
semprop(0.66) | |
openQbf(1.77) | |
GRL(1.92) | |
QChaffLearn(4.39) | |
yQuaffle(105.44) | |
skizzo_v0.4(169.9) | |
skizzo_v0.5(412.78) |