x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | 2clsQ | 1.35 | - | - | sKizzo-0.9-abs | 13.68 |
- | - | SQBF | 1.36 | - | - | sKizzo-0.9-std | 14.5 |
- | - | preQuantor | 1.37 | - | - | yQuaffle | 75.08 |
- | - | QUANTOR_hc | 3.8 | - | - | - | - |
- | - | QUANTOR | 3.86 | - | - | - | - |
sKizzo-0.9-grn(1.31) | |
2clsQ(1.35) | |
SQBF(1.36) | |
preQuantor(1.37) | |
QUANTOR_hc(3.8) | |
QUANTOR(3.86) | |
sKizzo-0.9-abs(13.68) | |
sKizzo-0.9-std(14.5) | |
yQuaffle(75.08) | |
Quaffle(276.26) | |
qube3.0(473.66) | |
qube5.0(477.28) | |
qube4.0(496.65) | |
sSolve(508) | |
ssolve+ut(508.01) | |
ssolve-ut(508.77) | |
openQbf(1592.29) |