Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 9069.21 | 377.88 | 254.56 | 586.26 | 506.21 | 0.458 |
Nenofex | 6069.57 | 252.9 | 240.12 | 171.05 | 527.27 | 0.625 |
quantor3.0 | 5969.52 | 248.73 | 263.4 | 74.95 | 598.92 | 0.667 |
QuBE6.1 | 11569.14 | 482.05 | 230.82 | 600 | 0 | 0.208 |
ssolve-A | 11426.38 | 476.1 | 241.57 | 600 | 0 | 0.208 |
ssolveB | 11427.46 | 476.14 | 241.48 | 600 | 0 | 0.208 |
ssolveC | 11423.65 | 475.99 | 241.78 | 600 | 0 | 0.208 |