Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Cqesto_2018 | 21334.15 | 711.14 | 319.81 | 900 | 345.83 | 0.333 |
GhostQ___cegar_qcir_2019 | 24031.51 | 801.05 | 266.7 | 900 | 0 | 0.133 |
GhostQ___plain_qcir_2019 | 26187.88 | 872.93 | 145.78 | 900 | 0 | 0.033 |
QFUN | 25834.87 | 861.16 | 163.26 | 900 | 0 | 0.067 |
Quabs_2018 | 15958.93 | 531.96 | 383.62 | 705.46 | 737.82 | 0.5 |
quabs___caqe-hqspre | 14516.1 | 483.87 | 444.96 | 900 | 896.55 | 0.467 |
QuAbS___quabs-caqe_2019 | 15713.52 | 523.78 | 385.81 | 626.56 | 742.81 | 0.5 |
Qute_default | 20669.61 | 688.99 | 371.03 | 900 | 807.08 | 0.267 |