x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | skizzo_v0.4 | 0.75 | - | - | openQbf | 8.2 |
- | - | skizzo_v0.5 | 0.76 | - | - | GRL | 19.59 |
- | - | WalkQSAT | 0.93 | - | - | - | - |
- | - | semprop | 1.08 | - | - | - | - |
- | - | sSolve | 1.47 | - | - | - | - |
- | - | QbflHR | 1.57 | - | - | - | - |
QUANTOR(0.58) | |
skizzo_v0.4(0.75) | |
skizzo_v0.5(0.76) | |
WalkQSAT(0.93) | |
semprop(1.08) | |
sSolve(1.47) | |
QbflHR(1.57) | |
openQbf(8.2) | |
GRL(19.59) | |
QChaffLearn(58.87) |