Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer | 2166.1 | 361.02 | 401.78 | 182.01 | 360.32 | 0.667 |
Caqe-bloqqer-qdo | 937.34 | 156.22 | 332.7 | 6.47 | 5.76 | 0.833 |
Caqe-hqspre | 875.66 | 145.94 | 138.31 | 110.48 | 189.91 | 1 |
Cued_2_2018 | 937.6 | 156.27 | 332.65 | 6.65 | 5.9 | 0.833 |
Cued_3_2018 | 937.44 | 156.24 | 332.66 | 6.53 | 5.78 | 0.833 |
depqbf_prefix_opt_qdo | 5400.25 | 900.04 | 0.02 | 900.05 | 0.04 | 0 |
depqbf_pre_QxQBH | 583.24 | 97.21 | 80.94 | 86.31 | 135 | 1 |
GhostQ-PG_cegar | 5400.39 | 900.07 | 0.02 | 900.07 | 0.05 | 0 |
GhostQ-PG_plain | 5400.3 | 900.05 | 0.03 | 900.04 | 0.02 | 0 |
Heretiq-cube | 2814.4 | 469.07 | 431.83 | 495.74 | 894.95 | 0.5 |
Heretiq-simple | 2826.86 | 471.14 | 429.98 | 501.4 | 894.13 | 0.5 |
ijtihad | 3053.52 | 508.92 | 405.37 | 615.38 | 894.95 | 0.5 |
Iprover-HQSpre-Bloqqer | 790.25 | 131.71 | 130.85 | 79.03 | 124.36 | 1 |
PortfolioDepQBFGhostQRaReQSQute___pf | 4801.31 | 800.22 | 191.48 | 900.05 | 523.56 | 0.333 |
predyndep | 50.79 | 8.47 | 5.52 | 6.84 | 6.71 | 1 |
Qute_default | 1828.7 | 304.78 | 351.55 | 110.51 | 187.84 | 1 |
Qute_opt500 | 2066.77 | 344.46 | 399.28 | 122.63 | 209.98 | 0.667 |
Qute_random | 1536.13 | 256.02 | 318.76 | 109.64 | 184.34 | 0.833 |
Rareqs_2018 | 4131.2 | 688.53 | 322.11 | 900.01 | 841.54 | 0.333 |