Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 178.75 | 8.51 | 9.82 | 4.42 | 8.64 | 1 |
Nenofex | 303.7 | 14.46 | 16.49 | 4.25 | 26.35 | 0.667 |
quantor3.0 | 5074.61 | 241.65 | 283.3 | 38.04 | 599.97 | 0.619 |
QuBE6.1 | 159.68 | 7.6 | 13.57 | 0.58 | 5.86 | 1 |
ssolve-A | 7813.49 | 372.07 | 290.56 | 600 | 599.93 | 0.381 |
ssolveB | 7814.22 | 372.11 | 290.52 | 600 | 599.93 | 0.381 |
ssolveC | 7812.07 | 372 | 290.65 | 600 | 599.95 | 0.381 |