Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 1879.7 | 234.96 | 281.1 | 44.1 | 595.19 | 0.625 |
Nenofex | 2400.46 | 300.06 | 299.94 | 300.08 | 599.88 | 0.5 |
quantor3.0 | 1090.21 | 136.28 | 191.75 | 70.31 | 174.75 | 0.875 |
QuBE6.1 | 2461.68 | 307.71 | 292.89 | 330.68 | 599.86 | 0.5 |
ssolve-A | 2402.59 | 300.32 | 299.68 | 301.23 | 599.95 | 0.5 |
ssolveB | 2402.69 | 300.34 | 299.66 | 301.28 | 599.95 | 0.5 |
ssolveC | 2168.24 | 271.03 | 278.59 | 184.02 | 599.92 | 0.625 |