x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | yQuaffle | 4.34 | - | - | sSolve | 36.39 |
- | - | qube3.0 | 7.9 | - | - | ssolve-ut | 36.47 |
- | - | qube4.0 | 12.4 | - | - | ssolve+ut | 54.17 |
- | - | qube5.0 | 12.46 | - | - | GRL | 70.79 |
- | - | - | - | - | - | SQBF | 71.43 |
sKizzo-0.9-abs(3.22) | |
yQuaffle(4.34) | |
qube3.0(7.9) | |
qube4.0(12.4) | |
qube5.0(12.46) | |
sSolve(36.39) | |
ssolve-ut(36.47) | |
ssolve+ut(54.17) | |
GRL(70.79) | |
SQBF(71.43) | |
openQbf(424.44) |