Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Cqesto_2018 | 4500 | 900 | 0 | 900 | 0 | 0 |
GhostQ___cegar_qcir_2019 | 4500 | 900 | 0 | 900 | 0 | 0 |
GhostQ___plain_qcir_2019 | 4500 | 900 | 0 | 900 | 0 | 0 |
QFUN | 2652.91 | 530.58 | 428.38 | 839.67 | 863.22 | 0.6 |
Quabs_2018 | 4500 | 900 | 0 | 900 | 0 | 0 |
quabs___caqe-hqspre | 906.2 | 181.24 | 359.38 | 2.38 | 1.68 | 0.8 |
QuAbS___quabs-caqe_2019 | 2106.02 | 421.2 | 239.4 | 302.33 | 1.69 | 0.8 |
Qute_default | 1590.26 | 318.05 | 377.12 | 42.96 | 334.21 | 0.8 |