x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | qube5.0 | 14.08 | ssolve-ut | 114.55 | 2clsQ | 316.61 |
- | - | - | - | sSolve | 121.94 | qube3.0 | 419.76 |
- | - | - | - | ssolve+ut | 133.3 | semprop | 509.84 |
qube4.0(13.92) | |
qube5.0(14.08) | |
ssolve-ut(114.55) | |
sSolve(121.94) | |
ssolve+ut(133.3) | |
2clsQ(316.61) | |
qube3.0(419.76) | |
semprop(509.84) |