Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 14268.75 | 222.95 | 257.71 | 40.39 | 501.88 | 0.641 |
Nenofex | 9383.33 | 146.61 | 203.56 | 50.17 | 207.25 | 0.516 |
quantor3.0 | 8104.75 | 126.64 | 225.75 | 7.35 | 39.55 | 0.609 |
QuBE6.1 | 16890.01 | 263.91 | 288.86 | 70.4 | 599.93 | 0.578 |
ssolve-A | 16552.69 | 258.64 | 286.21 | 23.84 | 599.95 | 0.594 |
ssolveB | 16752.06 | 261.75 | 285.53 | 24.82 | 599.94 | 0.594 |
ssolveC | 17986.47 | 281.04 | 287.9 | 77.52 | 599.93 | 0.563 |