Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 1938.1 | 26.92 | 95.61 | 1.25 | 3.79 | 0.958 |
Nenofex | 30783.66 | 427.55 | 209.66 | 501.88 | 264 | 0.181 |
quantor3.0 | 2752.74 | 38.23 | 22.12 | 38.01 | 17.54 | 0.167 |
QuBE6.1 | 14128.05 | 196.22 | 268.89 | 13.72 | 599.86 | 0.694 |
ssolve-A | 29762.93 | 413.37 | 267.48 | 600 | 546.41 | 0.333 |
ssolveB | 29872.57 | 414.9 | 266.3 | 600 | 541.89 | 0.333 |
ssolveC | 28421.04 | 394.74 | 281.7 | 600 | 594.65 | 0.347 |