x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | sSolve | 1.88 | yQuaffle | 3.35 | qbfbdd | 19.35 |
- | - | QUANTOR | 2.06 | openQbf | 3.66 | - | - |
- | - | GRL | 2.36 | semprop | 4.19 | - | - |
- | - | skizzo_v0.4 | 2.41 | - | - | - | - |
- | - | skizzo_v0.5 | 2.47 | - | - | - | - |
QbflHR(0.59) | |
sSolve(1.88) | |
QUANTOR(2.06) | |
GRL(2.36) | |
skizzo_v0.4(2.41) | |
skizzo_v0.5(2.47) | |
yQuaffle(3.35) | |
openQbf(3.66) | |
semprop(4.19) | |
qbfbdd(19.35) |