Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GhostQ___cegar_qcir_2019 | 16260.58 | 250.16 | 346.52 | 39.58 | 445.03 | 0.831 |
GhostQ___plain_qcir_2019 | 24568.67 | 377.98 | 386.77 | 225.54 | 891.13 | 0.677 |
PortfolioGhostQQfunQuAbSQute___pf2 | 7328.79 | 112.75 | 226.95 | 12.03 | 105.81 | 0.938 |
PortfolioGhostQQfunQuAbSQute___pf3 | 7294.16 | 112.22 | 226.95 | 10.9 | 104.29 | 0.938 |
PortfolioGhostQQfunQuAbSQute___pfs | 7277.54 | 111.96 | 226.95 | 10.88 | 104.62 | 0.862 |
Quabs_2018 | 9938.08 | 152.89 | 269.93 | 9.43 | 105.8 | 0.923 |
quabs___caqe-hqspre | 26927.03 | 414.26 | 311.3 | 520.94 | 582.22 | 0.908 |
QuAbS___quabs-caqe_2019 | 12685.67 | 195.16 | 334.1 | 9.48 | 105.73 | 0.846 |
Qute_default | 29543.9 | 454.52 | 433.97 | 538.8 | 895.79 | 0.538 |