Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 5.9 | 1.97 | 1 | 1.54 | 0.52 | 1 |
Nenofex | 4.62 | 1.54 | 1.43 | 0.76 | 0.44 | 1 |
quantor3.0 | 2.04 | 0.68 | 0.64 | 0.41 | 0.34 | 1 |
QuBE6.1 | 746.32 | 248.77 | 255.39 | 146.05 | 145.78 | 0.667 |
ssolve-A | 207.76 | 69.25 | 63.6 | 41.9 | 33.16 | 1 |
ssolveB | 235.33 | 78.44 | 72.74 | 46.64 | 37.01 | 1 |
ssolveC | 119.8 | 39.93 | 35.59 | 25.63 | 20.34 | 1 |