Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Cqesto_2018 | 9187.83 | 287.12 | 357.98 | 68.47 | 566.91 | 0.781 |
GhostQ___cegar_qcir_2019 | 12953.08 | 404.78 | 387.32 | 188.24 | 826.8 | 0.625 |
GhostQ___plain_qcir_2019 | 3050.61 | 95.33 | 128.98 | 25.58 | 154.15 | 1 |
QFUN | 12411.25 | 387.85 | 399.55 | 139.64 | 852.87 | 0.625 |
Quabs_2018 | 5622.71 | 175.71 | 282.35 | 22.97 | 178.5 | 0.969 |
quabs___caqe-hqspre | 28800 | 900 | 0 | 900 | 0 | 0 |
QuAbS___quabs-caqe_2019 | 6635.24 | 207.35 | 338.4 | 22.86 | 178.85 | 0.813 |
Qute_default | 22375.18 | 699.22 | 273.12 | 900 | 378.02 | 0.438 |