Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aspq2v3 | 900.69 | 29.05 | 159.03 | 0 | 0 | 0.968 |
aspq3alt | 927.86 | 29.93 | 158.86 | 0.87 | 0.63 | 0.968 |
ASPQ_2018 | 927.13 | 29.91 | 158.86 | 0.89 | 1.14 | 0.968 |
CADET_2017 | 0 | 0 | 0 | 0 | 0 | 1 |
Caqe-bloqqer | 900.68 | 29.05 | 159.03 | 0 | 0 | 0.968 |
Caqe-bloqqer-qdo | 927.19 | 29.91 | 158.86 | 0.91 | 1.16 | 0.968 |
Caqe-hqspre | 5.42 | 0.17 | 0.46 | 0 | 0 | 1 |
Cued_2_2018 | 31.59 | 1.02 | 0.82 | 0.92 | 0.63 | 1 |
Cued_3_2018 | 31.47 | 1.02 | 0.81 | 0.9 | 0.61 | 1 |
depqbf_prefix_opt_qdo | 26101.26 | 841.98 | 221.11 | 900.04 | 0.03 | 0.065 |
depqbf_pre_QxQBH | 6.57 | 0.21 | 0.54 | 0 | 0 | 1 |
GhostQ-PG_cegar | 97.57 | 3.15 | 1.58 | 3.2 | 1.73 | 1 |
GhostQ-PG_plain | 163.02 | 5.26 | 4.76 | 3.3 | 3.98 | 1 |
Heretiq-cube | 490.53 | 15.82 | 86.51 | 0 | 0 | 0.968 |
Heretiq-simple | 900.68 | 29.05 | 159.01 | 0 | 0 | 0.968 |
ijtihad | 900.78 | 29.06 | 159.02 | 0 | 0 | 0.968 |
Iprover-HQSpre-Bloqqer | 5.66 | 0.18 | 0.47 | 0 | 0 | 1 |
PortfolioDepQBFGhostQRaReQSQute___pf | 183.87 | 5.93 | 0.69 | 5.73 | 0.35 | 1 |
predyndep | 38.97 | 1.26 | 0.75 | 1.1 | 0.69 | 1 |
Qute_default | 7.84 | 0.25 | 0.66 | 0 | 0 | 1 |
Qute_opt500 | 7.9 | 0.25 | 0.66 | 0 | 0 | 1 |
Qute_random | 7.87 | 0.25 | 0.66 | 0 | 0 | 1 |
Rareqs_2018 | 900.62 | 29.05 | 159.01 | 0 | 0 | 0.968 |