Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 124.1 | 5.91 | 18.78 | 1.06 | 1.94 | 1 |
Nenofex | 56.52 | 2.69 | 3.06 | 1.59 | 2.23 | 1 |
quantor3.0 | 104.1 | 4.96 | 5.66 | 1.88 | 8.7 | 1 |
QuBE6.1 | 4832 | 230.1 | 290.2 | 4.51 | 599.74 | 0.619 |
ssolve-A | 9295.04 | 442.62 | 255.29 | 600 | 454.08 | 0.286 |
ssolveB | 9307.87 | 443.23 | 254.91 | 600 | 447.76 | 0.286 |
ssolveC | 9262.01 | 441.05 | 256.38 | 600 | 470.44 | 0.286 |