Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 22.74 | 1.08 | 0.16 | 1.04 | 0.27 | 1 |
Nenofex | 2169.34 | 103.3 | 197.69 | 5.5 | 35.17 | 0.714 |
quantor3.0 | 0.52 | 0.02 | 0.01 | 0.03 | 0.02 | 1 |
QuBE6.1 | 9166.29 | 436.49 | 260.46 | 600 | 517.09 | 0.286 |
ssolve-A | 14.54 | 0.69 | 0.56 | 0.58 | 0.88 | 1 |
ssolveB | 14.96 | 0.71 | 0.57 | 0.58 | 0.92 | 1 |
ssolveC | 12.3 | 0.59 | 0.47 | 0.48 | 0.75 | 1 |