x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | ssolve-ut | 10.42 | - | - | sKizzo-0.9-std | 142.3 |
- | - | sSolve | 10.44 | - | - | sKizzo-0.9-grn | 147.35 |
ssolve+ut(5.86) | |
ssolve-ut(10.42) | |
sSolve(10.44) | |
sKizzo-0.9-std(142.3) | |
sKizzo-0.9-grn(147.35) |