x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | QbflHR | 0.54 | QChaffLearn | 3.62 |
- | - | - | - | WalkQSAT | 0.58 | GRL | 4.28 |
- | - | - | - | - | - | semprop | 4.86 |
sSolve(0.1) | |
QbflHR(0.54) | |
WalkQSAT(0.58) | |
QChaffLearn(3.62) | |
GRL(4.28) | |
semprop(4.86) | |
yQuaffle(10.27) | |
openQbf(583.39) |