Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 1520.85 | 506.95 | 0.8 | 507.3 | 1.46 | 0 |
Nenofex | 1174.97 | 391.66 | 148.38 | 309.16 | 43.36 | 0 |
quantor3.0 | 89.95 | 29.98 | 2.91 | 29.41 | 2.68 | 0 |
QuBE6.1 | 1800 | 600 | 0 | 600 | 0 | 0 |
ssolve-A | 1800 | 600 | 0 | 600 | 0 | 0 |
ssolveB | 1800 | 600 | 0 | 600 | 0 | 0 |
ssolveC | 1800 | 600 | 0 | 600 | 0 | 0 |