Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 17028.88 | 202.72 | 265.5 | 23.96 | 587.1 | 0.702 |
Nenofex | 27002.9 | 321.46 | 292.65 | 589.65 | 596.63 | 0.464 |
quantor3.0 | 6067.96 | 72.24 | 112.09 | 70.13 | 93.91 | 0.464 |
QuBE6.1 | 31074.65 | 369.94 | 283.06 | 600 | 593.8 | 0.405 |
ssolve-A | 41514.42 | 494.22 | 223.46 | 600 | 0 | 0.19 |
ssolveB | 41528.01 | 494.38 | 222.98 | 600 | 0 | 0.19 |
ssolveC | 41297.8 | 491.64 | 224.99 | 600 | 0 | 0.202 |