Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 26.84 | 1.28 | 0.3 | 1.31 | 0.47 | 1 |
Nenofex | 1963.23 | 93.49 | 93.19 | 80.37 | 93.61 | 0.333 |
quantor3.0 | 502.72 | 23.94 | 38.02 | 3.08 | 28.7 | 0.619 |
QuBE6.1 | 10287.84 | 489.9 | 227.52 | 600 | 0 | 0.19 |
ssolve-A | 199.95 | 9.52 | 7.96 | 7.7 | 11.91 | 1 |
ssolveB | 210.64 | 10.03 | 8.3 | 8.12 | 12.49 | 1 |
ssolveC | 167.87 | 7.99 | 6.68 | 6.14 | 9.65 | 1 |