Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aspq2v3 | 1882.92 | 313.82 | 348.1 | 162.97 | 288.67 | 0.833 |
aspq3alt | 1892.49 | 315.42 | 345.35 | 170.07 | 297.19 | 0.833 |
ASPQ_2018 | 1890.31 | 315.05 | 345.37 | 169.36 | 296.31 | 0.833 |
CADET_2017 | 5400.15 | 900.03 | 0.02 | 900.02 | 0.02 | 0 |
Caqe-bloqqer | 4504.58 | 750.76 | 333.8 | 900.04 | 895.69 | 0.167 |
Caqe-bloqqer-qdo | 4511.59 | 751.93 | 331.14 | 900.03 | 888.56 | 0.167 |
Caqe-hqspre | 4506.91 | 751.15 | 332.94 | 900.05 | 893.38 | 0.167 |
Cued_2_2018 | 5400.17 | 900.03 | 0.02 | 900.02 | 0.02 | 0 |
Cued_3_2018 | 5400.28 | 900.05 | 0.03 | 900.05 | 0.05 | 0 |
depqbf_prefix_opt_qdo | 5400.15 | 900.03 | 0.02 | 900.02 | 0.02 | 0 |
depqbf_pre_QxQBH | 4187.07 | 697.85 | 207.32 | 740.01 | 476.99 | 0.5 |
GhostQ-PG_cegar | 5400.31 | 900.05 | 0.03 | 900.06 | 0.06 | 0 |
GhostQ-PG_plain | 5400.27 | 900.05 | 0.03 | 900.06 | 0.06 | 0 |
Heretiq-cube | 2850.78 | 475.13 | 424.93 | 479.91 | 854.98 | 0.5 |
Heretiq-simple | 2161.52 | 360.25 | 385.95 | 135.49 | 166.66 | 0.667 |
ijtihad | 5400.35 | 900.06 | 0.02 | 900.06 | 0.05 | 0 |
Iprover-HQSpre-Bloqqer | 5400.21 | 900.04 | 0.03 | 900.04 | 0.04 | 0 |
PortfolioDepQBFGhostQRaReQSQute___pf | 959.87 | 159.98 | 330.98 | 11.84 | 2.5 | 0.833 |
predyndep | 5400.27 | 900.05 | 0.03 | 900.05 | 0.04 | 0 |
Qute_default | 1141.58 | 190.26 | 321.36 | 42.77 | 68.49 | 0.833 |
Qute_opt500 | 2280.82 | 380.14 | 391.72 | 227.2 | 403.33 | 0.667 |
Qute_random | 2267.69 | 377.95 | 391.62 | 220.58 | 390.16 | 0.667 |
Rareqs_2018 | 1387.28 | 231.21 | 307.93 | 102.47 | 146.98 | 0.833 |