Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 31.27 | 1.49 | 0.9 | 1.08 | 0.36 | 1 |
Nenofex | 46.43 | 2.21 | 2.6 | 1.06 | 1.57 | 1 |
quantor3.0 | 105.59 | 5.03 | 5.94 | 2.26 | 8.48 | 1 |
QuBE6.1 | 4565.71 | 217.41 | 275.66 | 6.02 | 530.57 | 0.81 |
ssolve-A | 9392.9 | 447.28 | 252.93 | 600 | 406.4 | 0.286 |
ssolveB | 9468.94 | 450.9 | 252.44 | 600 | 368.44 | 0.286 |
ssolveC | 9346.21 | 445.06 | 253.79 | 600 | 429.41 | 0.286 |