Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Cqesto_2018 | 9283.31 | 714.1 | 339.88 | 900 | 387.16 | 0.077 |
GhostQ___cegar_qcir_2019 | 5120.37 | 393.87 | 410.21 | 125.9 | 881.79 | 0.615 |
GhostQ___plain_qcir_2019 | 4002.5 | 307.88 | 394.6 | 14.48 | 611.63 | 0.769 |
QFUN | 3447.9 | 265.22 | 363.07 | 4.91 | 298.79 | 0.769 |
Quabs_2018 | 5573.53 | 428.73 | 405.83 | 199.31 | 889.66 | 0.615 |
quabs___caqe-hqspre | 7799.27 | 599.94 | 359.78 | 900 | 700.78 | 0.308 |
QuAbS___quabs-caqe_2019 | 4263.38 | 327.95 | 333.67 | 203.52 | 505.42 | 0.692 |
Qute_default | 7239.68 | 556.9 | 434.04 | 900 | 895.46 | 0.385 |