Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aspq2v3 | 8636.59 | 431.83 | 435.62 | 254.29 | 899 | 0.55 |
aspq3alt | 8654.65 | 432.73 | 435.73 | 263.17 | 898.95 | 0.55 |
ASPQ_2018 | 8652.26 | 432.61 | 435.7 | 262.14 | 898.98 | 0.55 |
CADET_2017 | 11522.43 | 576.12 | 403.88 | 900.02 | 839.48 | 0.4 |
Caqe-bloqqer | 11051.42 | 552.57 | 425.76 | 900.03 | 854.69 | 0.4 |
Caqe-bloqqer-qdo | 9019.98 | 451 | 449.03 | 452.36 | 898.34 | 0.5 |
Caqe-hqspre | 9020.12 | 451.01 | 449.04 | 452.42 | 898.35 | 0.5 |
Cued_2_2018 | 18001 | 900.05 | 0.03 | 900.06 | 0.05 | 0 |
Cued_3_2018 | 18000.73 | 900.04 | 0.03 | 900.02 | 0.04 | 0 |
depqbf_prefix_opt_qdo | 4269.97 | 213.5 | 363.97 | 0.51 | 306.61 | 0.8 |
depqbf_pre_QxQBH | 5303.52 | 265.18 | 391.64 | 1.34 | 766.38 | 0.75 |
GhostQ-PG_cegar | 17862.71 | 893.14 | 30.05 | 900.02 | 0.03 | 0.05 |
GhostQ-PG_plain | 18000.63 | 900.03 | 0.02 | 900.03 | 0.04 | 0 |
Heretiq-cube | 4248.28 | 212.41 | 331.49 | 30.14 | 147.98 | 0.8 |
Heretiq-simple | 5061.39 | 253.07 | 375.34 | 30.2 | 504.92 | 0.75 |
ijtihad | 11059.64 | 552.98 | 425.98 | 900.02 | 876.59 | 0.4 |
Iprover-HQSpre-Bloqqer | 17100.87 | 855.04 | 196.16 | 900.04 | 0.05 | 0.05 |
PortfolioDepQBFGhostQRaReQSQute___pf | 2788.11 | 139.41 | 262.72 | 10.94 | 161.92 | 0.9 |
predyndep | 5236.4 | 261.82 | 385.34 | 3.24 | 707.61 | 0.75 |
Qute_default | 5717.79 | 285.89 | 405.74 | 3.06 | 899 | 0.7 |
Qute_opt500 | 9166.56 | 458.33 | 441.91 | 477.6 | 891.45 | 0.5 |
Qute_random | 9166.48 | 458.32 | 441.9 | 477.8 | 891.47 | 0.5 |
Rareqs_2018 | 10029.51 | 501.48 | 441.03 | 900 | 896.01 | 0.45 |