Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 29.12 | 1.39 | 0.58 | 1.15 | 0.49 | 1 |
Nenofex | 417.13 | 19.86 | 37.75 | 10.81 | 19.83 | 1 |
quantor3.0 | 5.08 | 0.24 | 0.26 | 0.14 | 0.35 | 1 |
QuBE6.1 | 3.2 | 0.15 | 0.11 | 0.12 | 0.15 | 1 |
ssolve-A | 4190.83 | 199.56 | 274.13 | 0.83 | 548.49 | 0.714 |
ssolveB | 4282.61 | 203.93 | 278.31 | 0.82 | 587.16 | 0.714 |
ssolveC | 4114.06 | 195.91 | 271.24 | 0.72 | 515.03 | 0.714 |