Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Cqesto_2018 | 6300 | 900 | 0 | 900 | 0 | 0 |
GhostQ___cegar_qcir_2019 | 6300 | 900 | 0 | 900 | 0 | 0 |
GhostQ___plain_qcir_2019 | 6300 | 900 | 0 | 900 | 0 | 0 |
QFUN | 5988.15 | 855.45 | 109.12 | 900 | 311.85 | 0.143 |
Quabs_2018 | 6300 | 900 | 0 | 900 | 0 | 0 |
quabs___caqe-hqspre | 3907.94 | 558.28 | 400.68 | 900 | 898.5 | 0.429 |
QuAbS___quabs-caqe_2019 | 4806.48 | 686.64 | 255.92 | 900 | 598.44 | 0.429 |
Qute_default | 6300 | 900 | 0 | 900 | 0 | 0 |