x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | yQuaffle | 2.67 | qube4.0 | 9.96 | sSolve | 19.18 |
- | - | qube3.0 | 4.96 | qube5.0 | 10.2 | ssolve-ut | 19.23 |
- | - | - | - | - | - | ssolve+ut | 35.24 |
- | - | - | - | - | - | GRL | 43.86 |
- | - | - | - | - | - | SQBF | 86.52 |
sKizzo-0.9-abs(1.64) | |
yQuaffle(2.67) | |
qube3.0(4.96) | |
qube4.0(9.96) | |
qube5.0(10.2) | |
sSolve(19.18) | |
ssolve-ut(19.23) | |
ssolve+ut(35.24) | |
GRL(43.86) | |
SQBF(86.52) | |
openQbf(381.62) | |
sKizzo-0.9-std(538.67) |