x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | semprop | 0.32 | - | - | GRL | 3.59 |
- | - | WalkQSAT | 0.37 | - | - | QChaffLearn | 3.78 |
- | - | QbflHR | 0.66 | - | - | - | - |
- | - | openQbf | 0.77 | - | - | - | - |
- | - | skizzo_v0.4 | 1.12 | - | - | - | - |
- | - | skizzo_v0.5 | 1.17 | - | - | - | - |
sSolve(0.27) | |
semprop(0.32) | |
WalkQSAT(0.37) | |
QbflHR(0.66) | |
openQbf(0.77) | |
skizzo_v0.4(1.12) | |
skizzo_v0.5(1.17) | |
GRL(3.59) | |
QChaffLearn(3.78) |