x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QuBE6.1 | 0.08 | - | - | ssolveC | 0.58 |
- | - | - | - | - | - | ssolve-A | 0.65 |
- | - | - | - | - | - | ssolveB | 0.67 |
- | - | - | - | - | - | AQME-1NN | 1.19 |
quantor3.0(0.02) | |
QuBE6.1(0.08) | |
ssolveC(0.58) | |
ssolve-A(0.65) | |
ssolveB(0.67) | |
AQME-1NN(1.19) |