Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 202.7 | 9.65 | 16.66 | 4.16 | 4.87 | 1 |
Nenofex | 3454.82 | 164.52 | 179.02 | 108.55 | 227.15 | 0.619 |
quantor3.0 | 7374.77 | 351.18 | 288.24 | 600 | 594.45 | 0.429 |
QuBE6.1 | 167.52 | 7.98 | 13.1 | 2.2 | 7.63 | 1 |
ssolve-A | 451.33 | 21.49 | 23.2 | 11.28 | 31.73 | 1 |
ssolveB | 469.48 | 22.36 | 24.12 | 11.63 | 33.65 | 1 |
ssolveC | 400.18 | 19.06 | 20.61 | 10.21 | 28.71 | 1 |