Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 18.57 | 3.1 | 2.81 | 2.22 | 1.46 | 1 |
Nenofex | 892.11 | 148.69 | 225.1 | 7.8 | 15.2 | 0.833 |
quantor3.0 | 16.11 | 2.69 | 5.36 | 0.06 | 0.1 | 1 |
QuBE6.1 | 638.66 | 106.44 | 221.11 | 1.19 | 2.22 | 0.833 |
ssolve-A | 53.44 | 8.91 | 18.28 | 0.22 | 0.38 | 1 |
ssolveB | 796.54 | 132.76 | 220.47 | 1.6 | 2.99 | 0.833 |
ssolveC | 7.67 | 1.28 | 2.19 | 0.15 | 0.24 | 1 |