Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aspq2v3 | 18138.37 | 259.12 | 362.15 | 31.02 | 398.89 | 0.786 |
aspq3alt | 22958.73 | 327.98 | 376.86 | 131.73 | 892.78 | 0.729 |
ASPQ_2018 | 22628.18 | 323.26 | 370.42 | 132.24 | 694.77 | 0.757 |
CADET_2017 | 54315.86 | 775.94 | 299.18 | 900.04 | 0.06 | 0.157 |
Caqe-bloqqer | 13225.1 | 188.93 | 313.66 | 18.19 | 146.44 | 0.886 |
Caqe-bloqqer-qdo | 13810.66 | 197.3 | 320.09 | 23.06 | 153.21 | 0.871 |
Caqe-hqspre | 24786.96 | 354.1 | 377.4 | 196.32 | 894.94 | 0.714 |
Cued_2_2018 | 31615.61 | 451.65 | 419.2 | 366.2 | 894.39 | 0.586 |
Cued_3_2018 | 31573.35 | 451.05 | 418.74 | 372.36 | 894.47 | 0.586 |
depqbf_prefix_opt_qdo | 50645.99 | 723.51 | 341.81 | 900.02 | 0.04 | 0.214 |
depqbf_pre_QxQBH | 52408.67 | 748.7 | 321.53 | 900.03 | 0.04 | 0.186 |
GhostQ-PG_cegar | 7108.47 | 101.55 | 214.47 | 4.88 | 46.14 | 0.957 |
GhostQ-PG_plain | 37740.31 | 539.15 | 407.43 | 898.38 | 890.79 | 0.5 |
Heretiq-cube | 43083.97 | 615.49 | 363.26 | 849.47 | 795.06 | 0.314 |
Heretiq-simple | 45802.13 | 654.32 | 375.78 | 900.03 | 745.86 | 0.314 |
ijtihad | 62110.54 | 887.29 | 105.98 | 900.06 | 0.04 | 0.014 |
Iprover-HQSpre-Bloqqer | 63003.08 | 900.04 | 0.02 | 900.04 | 0.03 | 0 |
PortfolioDepQBFGhostQRaReQSQute___pf | 44459.26 | 635.13 | 403.75 | 900.02 | 873.19 | 0.314 |
predyndep | 54661.51 | 780.88 | 280.98 | 900.02 | 0.07 | 0.157 |
Qute_default | 47517.72 | 678.82 | 370.83 | 900.03 | 524.57 | 0.286 |
Qute_opt500 | 46606 | 665.8 | 378.86 | 900.01 | 764.58 | 0.286 |
Qute_random | 46612.81 | 665.9 | 378.79 | 900.02 | 765.37 | 0.286 |
Rareqs_2018 | 12420.88 | 177.44 | 295.89 | 20.39 | 177.47 | 0.886 |