Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 3602.92 | 450.37 | 252.9 | 596.31 | 286.75 | 0.25 |
Nenofex | 1085.45 | 135.68 | 33.04 | 147.91 | 40.35 | 0 |
quantor3.0 | 3087.79 | 385.97 | 276.31 | 600 | 569.56 | 0.125 |
QuBE6.1 | 4200.12 | 525.02 | 198.39 | 600 | 0 | 0.125 |
ssolve-A | 3622.93 | 452.87 | 254.91 | 600 | 288.58 | 0.25 |
ssolveB | 3624.45 | 453.06 | 254.59 | 600 | 287.82 | 0.25 |
ssolveC | 3623.06 | 452.88 | 254.88 | 600 | 288.51 | 0.25 |