Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 6727.51 | 320.36 | 294.07 | 599.65 | 598.74 | 0.476 |
Nenofex | 2773.21 | 132.06 | 228.37 | 30.08 | 43.71 | 0.476 |
quantor3.0 | 7247.24 | 345.11 | 294.47 | 600 | 599.95 | 0.429 |
QuBE6.1 | 6184.75 | 294.51 | 292.54 | 126.44 | 599.92 | 0.524 |
ssolve-A | 8432.07 | 401.53 | 280.75 | 600 | 598.88 | 0.333 |
ssolveB | 8435.91 | 401.71 | 280.5 | 600 | 598.65 | 0.333 |
ssolveC | 8428.52 | 401.36 | 280.97 | 600 | 599.02 | 0.333 |