Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 33260.32 | 527.94 | 183.74 | 597.92 | 22.4 | 0.111 |
Nenofex | 32823.39 | 521.01 | 186.53 | 600 | 0 | 0.095 |
quantor3.0 | 22586.27 | 358.51 | 279.2 | 600 | 562.43 | 0.111 |
QuBE6.1 | 35088.76 | 556.96 | 150 | 600 | 0 | 0.063 |
ssolve-A | 37368.15 | 593.15 | 53.97 | 600 | 0 | 0.016 |
ssolveB | 37313.77 | 592.28 | 60.77 | 600 | 0 | 0.016 |
ssolveC | 37354.33 | 592.93 | 55.7 | 600 | 0 | 0.016 |