x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | Nenofex | 8.97 | - | - | ssolveC | 53.64 |
- | - | - | - | - | - | QuBE6.1 | 55.35 |
- | - | - | - | - | - | ssolve-A | 56.36 |
- | - | - | - | - | - | ssolveB | 60.41 |
quantor3.0(4.28) | |
Nenofex(8.97) | |
ssolveC(53.64) | |
QuBE6.1(55.35) | |
ssolve-A(56.36) | |
ssolveB(60.41) |