x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | sSolve | 6.46 | skizzo_v0.5 | 25.9 | openQbf | 50.38 |
- | - | - | - | - | - | skizzo_v0.4 | 54.99 |
- | - | - | - | - | - | QChaffLearn | 99.83 |
- | - | - | - | - | - | QbflHR | 115.44 |
WalkQSAT(4.52) | |
sSolve(6.46) | |
skizzo_v0.5(25.9) | |
openQbf(50.38) | |
skizzo_v0.4(54.99) | |
QChaffLearn(99.83) | |
QbflHR(115.44) |