Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aspq2v3 | 373.26 | 62.21 | 117.52 | 10.25 | 17.43 | 1 |
aspq3alt | 998.64 | 166.44 | 328.53 | 25.73 | 41.24 | 0.833 |
ASPQ_2018 | 997.23 | 166.21 | 328.59 | 25.06 | 39.73 | 0.833 |
CADET_2017 | 5400.3 | 900.05 | 0.02 | 900.05 | 0.04 | 0 |
Caqe-bloqqer | 50.41 | 8.4 | 8.14 | 5.35 | 8.57 | 1 |
Caqe-bloqqer-qdo | 1851.06 | 308.51 | 388.11 | 72.61 | 141.52 | 0.833 |
Caqe-hqspre | 3918.42 | 653.07 | 360.86 | 900.05 | 897.88 | 0.333 |
Cued_2_2018 | 643.86 | 107.31 | 209.23 | 15.83 | 15.11 | 1 |
Cued_3_2018 | 650.44 | 108.41 | 210.74 | 15.79 | 15.17 | 1 |
depqbf_prefix_opt_qdo | 5400.26 | 900.04 | 0.03 | 900.04 | 0.04 | 0 |
depqbf_pre_QxQBH | 1227.75 | 204.63 | 145.15 | 246.64 | 256.17 | 1 |
GhostQ-PG_cegar | 5400.31 | 900.05 | 0.03 | 900.06 | 0.05 | 0 |
GhostQ-PG_plain | 5400.18 | 900.03 | 0.02 | 900.02 | 0.01 | 0 |
Heretiq-cube | 1390.55 | 231.76 | 328.77 | 48.8 | 91.59 | 0.833 |
Heretiq-simple | 859.45 | 143.24 | 244.5 | 42.51 | 79.03 | 1 |
ijtihad | 500.76 | 83.46 | 136.19 | 28.06 | 50.13 | 1 |
Iprover-HQSpre-Bloqqer | 4500.78 | 750.13 | 335.21 | 900.03 | 899.47 | 0.167 |
PortfolioDepQBFGhostQRaReQSQute___pf | 3647.97 | 608 | 413.07 | 900.02 | 889 | 0.333 |
predyndep | 2063.88 | 343.98 | 399.22 | 128.26 | 208.49 | 0.667 |
Qute_default | 1811.78 | 301.96 | 422.91 | 3.72 | 2.7 | 0.667 |
Qute_opt500 | 911.58 | 151.93 | 334.56 | 2.41 | 2.02 | 0.833 |
Qute_random | 911.4 | 151.9 | 334.56 | 2.43 | 2.35 | 0.833 |
Rareqs_2018 | 59.69 | 9.95 | 9.92 | 5.7 | 9.32 | 1 |