Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer | 4645.19 | 464.52 | 436.21 | 497.35 | 900.02 | 0.5 |
Caqe-bloqqer-qdo | 6315.91 | 631.59 | 410.08 | 900.03 | 897.97 | 0.3 |
Caqe-hqspre | 3651.46 | 365.15 | 436.86 | 22.63 | 899.01 | 0.6 |
Cued_2_2018 | 6491.8 | 649.18 | 385.75 | 900.01 | 892.8 | 0.3 |
Cued_3_2018 | 6492.57 | 649.26 | 385.68 | 900.02 | 892.78 | 0.3 |
depqbf_prefix_opt_qdo | 2722.78 | 272.28 | 410.98 | 2.45 | 17.36 | 0.7 |
depqbf_pre_QxQBH | 2021.6 | 202.16 | 350.4 | 21.82 | 81.7 | 0.8 |
GhostQ-PG_cegar | 2655.63 | 265.56 | 378.59 | 27.65 | 60.22 | 0.8 |
GhostQ-PG_plain | 2405.23 | 240.52 | 356.09 | 22.41 | 73.05 | 0.8 |
Heretiq-cube | 5018.1 | 501.81 | 409.11 | 611.85 | 900.05 | 0.5 |
Heretiq-simple | 5594.34 | 559.43 | 420.36 | 900.02 | 899.49 | 0.4 |
ijtihad | 4817.48 | 481.75 | 421.84 | 536.68 | 899.49 | 0.5 |
Iprover-HQSpre-Bloqqer | 4507.4 | 450.74 | 449.28 | 451.39 | 899.36 | 0.5 |
PortfolioDepQBFGhostQRaReQSQute___pf | 2176.44 | 217.64 | 346.71 | 27.2 | 54.6 | 0.8 |
predyndep | 2248.54 | 224.85 | 345.12 | 19.21 | 129.56 | 0.8 |
Qute_default | 4514.37 | 451.44 | 448.63 | 454.56 | 899.14 | 0.5 |
Qute_opt500 | 4514.26 | 451.43 | 448.62 | 454.55 | 899.07 | 0.5 |
Qute_random | 4514.2 | 451.42 | 448.61 | 454.55 | 899.1 | 0.5 |
Rareqs_2018 | 5421.94 | 542.19 | 438.27 | 900.01 | 899.46 | 0.4 |