Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 15607.92 | 26.23 | 86.24 | 6.36 | 13.06 | 0.97 |
Nenofex | 117277.75 | 197.11 | 83.11 | 172.82 | 78.15 | 0 |
quantor3.0 | 30273.77 | 50.88 | 16.74 | 47.42 | 12.31 | 0.02 |
QuBE6.1 | 13083.95 | 21.99 | 107.18 | 0.33 | 0.21 | 0.968 |
ssolve-A | 355008.33 | 596.65 | 40.96 | 600 | 0 | 0.007 |
ssolveB | 355045.55 | 596.72 | 40.25 | 600 | 0 | 0.007 |
ssolveC | 357000 | 600 | 0 | 600 | 0 | 0 |