x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | skizzo_v0.5 | 0.5 | skizzo_v0.4 | 0.52 |
- | - | - | - | - | - | openQbf | 1.27 |
- | - | - | - | - | - | sSolve | 1.42 |
- | - | - | - | - | - | WalkQSAT | 2.76 |
- | - | - | - | - | - | yQuaffle | 3.29 |
semprop(0.05) | |
skizzo_v0.5(0.5) | |
skizzo_v0.4(0.52) | |
openQbf(1.27) | |
sSolve(1.42) | |
WalkQSAT(2.76) | |
yQuaffle(3.29) | |
QbflHR(10.04) | |
QChaffLearn(57.76) | |
GRL(898.31) |