x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | AQME-1NN | 2.72 |
- | - | - | - | - | - | ssolveC | 3.11 |
- | - | - | - | - | - | quantor3.0 | 4.17 |
- | - | - | - | - | - | ssolve-A | 22.21 |
QuBE6.1(0.27) | |
AQME-1NN(2.72) | |
ssolveC(3.11) | |
quantor3.0(4.17) | |
ssolve-A(22.21) | |
ssolveB(42.9) | |
Nenofex(54.22) |