Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 5841.46 | 243.39 | 244.42 | 207.37 | 493.01 | 0.5 |
Nenofex | 1693.99 | 70.58 | 109.9 | 34.09 | 82.19 | 0.5 |
quantor3.0 | 446.25 | 18.59 | 18.5 | 18.23 | 32.32 | 0.5 |
QuBE6.1 | 7669.53 | 319.56 | 265.15 | 278.82 | 599.78 | 0.375 |
ssolve-A | 10213.93 | 425.58 | 271.82 | 600 | 593.1 | 0.292 |
ssolveB | 10217.25 | 425.72 | 271.61 | 600 | 591.44 | 0.292 |
ssolveC | 10212.27 | 425.51 | 271.93 | 600 | 593.91 | 0.292 |