Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 12.86 | 1.61 | 1.02 | 1.04 | 1.56 | 1 |
Nenofex | 15.32 | 1.91 | 3.12 | 0.46 | 1.98 | 1 |
quantor3.0 | 4.26 | 0.53 | 0.71 | 0.14 | 0.95 | 1 |
QuBE6.1 | 1347.42 | 168.43 | 253.57 | 0.6 | 372.95 | 0.75 |
ssolve-A | 1407.89 | 175.99 | 249.69 | 25.32 | 378.51 | 0.75 |
ssolveB | 1435.48 | 179.43 | 249.19 | 28.13 | 389.47 | 0.75 |
ssolveC | 1319.9 | 164.99 | 252.69 | 15.46 | 344.4 | 0.75 |