x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | yQuaffle | 4.42 | - | - | qube5.0 | 28.04 |
- | - | sKizzo-0.9-std | 5.09 | - | - | qube4.0 | 28.1 |
- | - | qube3.0 | 5.37 | - | - | sSolve | 41.53 |
- | - | - | - | - | - | ssolve-ut | 41.61 |
- | - | - | - | - | - | ssolve+ut | 60.61 |
- | - | - | - | - | - | GRL | 110.41 |
- | - | - | - | - | - | SQBF | 117.57 |
sKizzo-0.9-abs(1.61) | |
yQuaffle(4.42) | |
sKizzo-0.9-std(5.09) | |
qube3.0(5.37) | |
qube5.0(28.04) | |
qube4.0(28.1) | |
sSolve(41.53) | |
ssolve-ut(41.61) | |
ssolve+ut(60.61) | |
GRL(110.41) | |
SQBF(117.57) | |
openQbf(320.1) | |
semprop(413.05) | |
2clsQ(4011.62) |