Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aspq2v3 | 19997.09 | 434.72 | 413.99 | 180.17 | 887.53 | 0.565 |
aspq3alt | 16601.88 | 360.91 | 394.81 | 88.65 | 887.74 | 0.696 |
ASPQ_2018 | 16354.03 | 355.52 | 388.48 | 88.53 | 834.01 | 0.739 |
CADET_2017 | 2515.17 | 54.68 | 161.66 | 0 | 0.58 | 1 |
Caqe-bloqqer | 17472.21 | 379.83 | 391.65 | 185.96 | 879.84 | 0.674 |
Caqe-bloqqer-qdo | 15802.2 | 343.53 | 380.98 | 117.27 | 853.55 | 0.696 |
Caqe-hqspre | 2281.14 | 49.59 | 189.25 | 0 | 3.17 | 0.957 |
Cued_2_2018 | 9228.37 | 200.62 | 339.97 | 5.6 | 108.87 | 0.826 |
Cued_3_2018 | 9244.72 | 200.97 | 340.16 | 5.48 | 110.73 | 0.826 |
depqbf_prefix_opt_qdo | 21464.75 | 466.63 | 391.24 | 377.69 | 896.8 | 0.587 |
depqbf_pre_QxQBH | 5026.49 | 109.27 | 251.87 | 1.17 | 41.6 | 0.913 |
GhostQ-PG_cegar | 6098.23 | 132.57 | 299.98 | 1.31 | 20.91 | 0.87 |
GhostQ-PG_plain | 3590.52 | 78.05 | 225.65 | 1.28 | 5.79 | 0.935 |
Heretiq-cube | 6804.24 | 147.92 | 252.48 | 1.61 | 90.83 | 0.761 |
Heretiq-simple | 8895.01 | 193.37 | 352.65 | 1.59 | 69.19 | 0.804 |
ijtihad | 8561.16 | 186.11 | 353.29 | 1.59 | 39.28 | 0.804 |
Iprover-HQSpre-Bloqqer | 14438.8 | 313.89 | 428.08 | 0.97 | 900.01 | 0.652 |
PortfolioDepQBFGhostQRaReQSQute___pf | 6626.21 | 144.05 | 299.09 | 7.37 | 8.26 | 0.87 |
predyndep | 8969.25 | 194.98 | 329.68 | 11.17 | 148.36 | 0.848 |
Qute_default | 2780.67 | 60.45 | 221.79 | 0.93 | 2.41 | 0.935 |
Qute_opt500 | 2904.46 | 63.14 | 221.35 | 1.36 | 2.6 | 0.935 |
Qute_random | 2903.92 | 63.13 | 221.36 | 1.36 | 2.61 | 0.935 |
Rareqs_2018 | 24699.3 | 536.94 | 398.54 | 900.01 | 840.84 | 0.478 |