x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QbflHR | 0.99 | openQbf | 3.52 | qbfbdd | 16 |
- | - | QUANTOR | 0.99 | - | - | - | - |
- | - | yQuaffle | 1.18 | - | - | - | - |
- | - | GRL | 1.4 | - | - | - | - |
- | - | skizzo_v0.5 | 1.46 | - | - | - | - |
- | - | skizzo_v0.4 | 1.49 | - | - | - | - |
- | - | semprop | 2.15 | - | - | - | - |
sSolve(0.7) | |
QbflHR(0.99) | |
QUANTOR(0.99) | |
yQuaffle(1.18) | |
GRL(1.4) | |
skizzo_v0.5(1.46) | |
skizzo_v0.4(1.49) | |
semprop(2.15) | |
openQbf(3.52) | |
qbfbdd(16) |