Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AQME-1NN | 144768.4 | 324.59 | 271.36 | 549.51 | 562.1 | 0.451 |
Nenofex | 240906.52 | 540.15 | 142.15 | 600 | 28.99 | 0.058 |
quantor3.0 | 20064.77 | 44.99 | 66.79 | 34.15 | 9.36 | 0.045 |
QuBE6.1 | 139597.25 | 313 | 285.87 | 323.64 | 598.95 | 0.516 |
ssolve-A | 251124.13 | 563.06 | 138.71 | 600 | 0 | 0.076 |
ssolveB | 251754.64 | 564.47 | 136.95 | 600 | 0 | 0.07 |
ssolveC | 245142.27 | 549.65 | 160.93 | 600 | 0 | 0.092 |