Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Cqesto_2018 | 44723.66 | 502.51 | 412.95 | 816.97 | 859.29 | 0.506 |
GhostQ___cegar_qcir_2019 | 57288.45 | 643.69 | 371.27 | 900 | 737.92 | 0.36 |
GhostQ___plain_qcir_2019 | 66169.57 | 743.48 | 296.21 | 900 | 0 | 0.236 |
QFUN | 58851.56 | 661.25 | 365.89 | 900 | 617.14 | 0.315 |
Quabs_2018 | 51183.2 | 575.09 | 397.82 | 900 | 824.83 | 0.427 |
quabs___caqe-hqspre | 59889.07 | 672.91 | 271.34 | 764.61 | 374.81 | 0.427 |
QuAbS___quabs-caqe_2019 | 51784.6 | 581.85 | 388.9 | 894.11 | 823.82 | 0.382 |
Qute_default | 69471.29 | 780.58 | 302.55 | 900 | 0 | 0.135 |