Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 12290.69 | 93.11 | 181.33 | 7.05 | 68.24 | 0.841 |
Nenofex | 21091.05 | 159.78 | 225.23 | 25.71 | 274.97 | 0.758 |
quantor3.0 | 7789.14 | 59.01 | 161.95 | 0.97 | 10.97 | 0.864 |
QuBE6.1 | 44441.41 | 336.68 | 281.51 | 600 | 594.07 | 0.439 |
ssolve-A | 34800.59 | 263.64 | 279.26 | 85.11 | 598.38 | 0.583 |
ssolveB | 34524.84 | 261.55 | 279.27 | 75 | 597.98 | 0.576 |
ssolveC | 20568.67 | 155.82 | 252.02 | 9.1 | 100.29 | 0.47 |