x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | semprop | 0.34 |
- | - | - | - | - | - | skizzo_v0.5 | 0.81 |
- | - | - | - | - | - | skizzo_v0.4 | 1.07 |
- | - | - | - | - | - | sSolve | 1.1 |
- | - | - | - | - | - | openQbf | 1.6 |
- | - | - | - | - | - | WalkQSAT | 2.92 |
QChaffLearn(0.03) | |
semprop(0.34) | |
skizzo_v0.5(0.81) | |
skizzo_v0.4(1.07) | |
sSolve(1.1) | |
openQbf(1.6) | |
WalkQSAT(2.92) | |
yQuaffle(10.75) | |
QbflHR(180.74) |