x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | semprop | 1.41 |
- | - | - | - | - | - | skizzo_v0.4 | 2.83 |
- | - | - | - | - | - | sSolve | 2.86 |
WalkQSAT(0.05) | |
semprop(1.41) | |
skizzo_v0.4(2.83) | |
sSolve(2.86) | |
skizzo_v0.5(6.79) | |
QbflHR(30.92) | |
openQbf(34.05) | |
QChaffLearn(46.54) | |
yQuaffle(653.08) |