Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 26659.58 | 156.82 | 228.87 | 19.74 | 177.05 | 0.735 |
Nenofex | 43081.72 | 253.42 | 265.97 | 80.6 | 591.64 | 0.624 |
quantor3.0 | 13256.49 | 77.98 | 170.16 | 2.85 | 52.47 | 0.859 |
QuBE6.1 | 67241.41 | 395.54 | 271.23 | 600 | 587.44 | 0.341 |
ssolve-A | 57600.59 | 338.83 | 283.18 | 600 | 596.77 | 0.453 |
ssolveB | 56246.32 | 330.86 | 283.71 | 600 | 595.77 | 0.447 |
ssolveC | 29608.89 | 174.17 | 260.05 | 14.89 | 597.16 | 0.365 |