Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 72606.09 | 424.6 | 267.19 | 600 | 571.04 | 0.298 |
Nenofex | 77344.76 | 452.31 | 198.54 | 600 | 435.86 | 0.029 |
quantor3.0 | 92996.3 | 543.84 | 164.46 | 600 | 0 | 0.099 |
QuBE6.1 | 68406.31 | 400.04 | 270.55 | 600 | 573.35 | 0.363 |
ssolve-A | 100491.78 | 587.67 | 81.75 | 600 | 0 | 0.023 |
ssolveB | 100731.17 | 589.07 | 78.23 | 600 | 0 | 0.023 |
ssolveC | 97584.91 | 570.67 | 125.8 | 600 | 0 | 0.023 |