Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aspq2v3 | 1800.11 | 200.01 | 374.19 | 0 | 0 | 0.778 |
aspq3alt | 2700.7 | 300.08 | 424.23 | 0 | 450.31 | 0.667 |
ASPQ_2018 | 2700.73 | 300.08 | 424.23 | 0 | 450.32 | 0.667 |
CADET_2017 | 2713.1 | 301.46 | 423.27 | 1.08 | 454.66 | 0.667 |
Caqe-bloqqer | 901.98 | 100.22 | 282.77 | 0 | 0 | 0.889 |
Caqe-bloqqer-qdo | 2700.83 | 300.09 | 424.25 | 0 | 450.33 | 0.667 |
Caqe-hqspre | 4530.14 | 503.35 | 443.64 | 900.06 | 900.08 | 0.444 |
Cued_2_2018 | 1191.26 | 132.36 | 282.7 | 0 | 17.47 | 0.889 |
Cued_3_2018 | 1188.72 | 132.08 | 282.58 | 0 | 17.43 | 0.889 |
depqbf_prefix_opt_qdo | 5400.14 | 600.02 | 424.28 | 900 | 900.03 | 0.333 |
depqbf_pre_QxQBH | 1808.43 | 200.94 | 373.67 | 1.48 | 3.18 | 0.778 |
GhostQ-PG_cegar | 8100.39 | 900.04 | 0.02 | 900.04 | 0.02 | 0 |
GhostQ-PG_plain | 8100.56 | 900.06 | 0.02 | 900.07 | 0.03 | 0 |
Heretiq-cube | 1004.98 | 111.66 | 209.02 | 0 | 0 | 0.778 |
Heretiq-simple | 1800.01 | 200 | 374.17 | 0 | 0 | 0.778 |
ijtihad | 1800.1 | 200.01 | 374.18 | 0 | 0.01 | 0.778 |
Iprover-HQSpre-Bloqqer | 4500.13 | 500.01 | 447.23 | 900.01 | 900.02 | 0.444 |
PortfolioDepQBFGhostQRaReQSQute___pf | 5565.49 | 618.39 | 400.21 | 900.02 | 820.05 | 0.333 |
predyndep | 1802.99 | 200.33 | 374.01 | 0 | 1.46 | 0.778 |
Qute_default | 5405.38 | 600.6 | 423.45 | 900 | 897.38 | 0.333 |
Qute_opt500 | 4514.1 | 501.57 | 445.51 | 900.01 | 896.84 | 0.444 |
Qute_random | 4514.04 | 501.56 | 445.51 | 900.01 | 896.83 | 0.444 |
Rareqs_2018 | 958.3 | 106.48 | 281.14 | 0 | 0 | 0.889 |