x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | skizzo_v0.5 | 0.41 | skizzo_v0.4 | 0.79 | QUANTOR | 1.7 |
- | - | QChaffLearn | 0.49 | - | - | GRL | 1.71 |
- | - | - | - | - | - | openQbf | 4.81 |
- | - | - | - | - | - | sSolve | 6.8 |
- | - | - | - | - | - | QbflHR | 9.02 |
semprop(0.11) | |
WalkQSAT(0.11) | |
skizzo_v0.5(0.41) | |
QChaffLearn(0.49) | |
skizzo_v0.4(0.79) | |
QUANTOR(1.7) | |
GRL(1.71) | |
openQbf(4.81) | |
sSolve(6.8) | |
QbflHR(9.02) |