Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 1128.91 | 141.11 | 208.28 | 29.45 | 222.2 | 0.875 |
Nenofex | 1901.99 | 237.75 | 282.38 | 50.6 | 599.65 | 0.625 |
quantor3.0 | 1129.74 | 141.22 | 231.95 | 5.43 | 259.27 | 0.875 |
QuBE6.1 | 215.32 | 26.92 | 45.68 | 0.72 | 45.53 | 1 |
ssolve-A | 1020.32 | 127.54 | 197.09 | 12.53 | 197.42 | 0.875 |
ssolveB | 1108.32 | 138.54 | 203.04 | 12.75 | 241.19 | 0.875 |
ssolveC | 791.38 | 98.92 | 191.97 | 23.27 | 72.25 | 0.875 |