Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Cqesto_2018 | 1800 | 900 | 0 | 900 | 0 | 0 |
GhostQ___cegar_qcir_2019 | 744.21 | 372.11 | 58.81 | 372.11 | 0 | 1 |
GhostQ___plain_qcir_2019 | 1800 | 900 | 0 | 900 | 0 | 0 |
QFUN | 554.5 | 277.25 | 62.47 | 277.25 | 0 | 1 |
Quabs_2018 | 1800 | 900 | 0 | 900 | 0 | 0 |
quabs___caqe-hqspre | 365.52 | 182.76 | 98 | 182.76 | 0 | 1 |
QuAbS___quabs-caqe_2019 | 943.34 | 471.67 | 87.04 | 471.67 | 0 | 1 |
Qute_default | 1800 | 900 | 0 | 900 | 0 | 0 |