Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aspq2v3 | 41430.91 | 583.53 | 429.33 | 900.01 | 899.19 | 0.352 |
aspq3alt | 32695.75 | 460.5 | 446.18 | 900 | 898.36 | 0.493 |
ASPQ_2018 | 32694.93 | 460.49 | 446.2 | 900 | 898.37 | 0.493 |
CADET_2017 | 9768.37 | 137.58 | 307.18 | 0 | 6.6 | 0.887 |
Caqe-bloqqer | 40574.57 | 571.47 | 432.31 | 900.01 | 899.29 | 0.366 |
Caqe-bloqqer-qdo | 30819.12 | 434.07 | 446.78 | 19.28 | 898.53 | 0.521 |
Caqe-hqspre | 22852.06 | 321.86 | 414.42 | 18.04 | 898.19 | 0.676 |
Cued_2_2018 | 31772.42 | 447.5 | 439.3 | 361.13 | 897.55 | 0.521 |
Cued_3_2018 | 31713.86 | 446.67 | 439.36 | 357.59 | 897.54 | 0.521 |
depqbf_prefix_opt_qdo | 62102.56 | 874.68 | 148.92 | 900.03 | 0.03 | 0.028 |
depqbf_pre_QxQBH | 25710.52 | 362.12 | 408.22 | 55.5 | 897.3 | 0.648 |
GhostQ-PG_cegar | 14170.39 | 199.58 | 351.51 | 8.29 | 39.59 | 0.732 |
GhostQ-PG_plain | 14797.93 | 208.42 | 353.48 | 7.21 | 168.81 | 0.732 |
Heretiq-cube | 26478.02 | 372.93 | 303.71 | 464.43 | 523.79 | 0.366 |
Heretiq-simple | 40826.86 | 575.03 | 428.62 | 900.02 | 899.29 | 0.366 |
ijtihad | 41560.93 | 585.37 | 427.14 | 900.03 | 899.29 | 0.352 |
Iprover-HQSpre-Bloqqer | 27297.39 | 384.47 | 422.93 | 71.81 | 897.6 | 0.606 |
PortfolioDepQBFGhostQRaReQSQute___pf | 24445.43 | 344.3 | 414.81 | 20.01 | 891.12 | 0.648 |
predyndep | 20249.7 | 285.21 | 382.81 | 37.41 | 897.33 | 0.732 |
Qute_default | 21887.11 | 308.27 | 403.26 | 23.46 | 896.92 | 0.69 |
Qute_opt500 | 20798.52 | 292.94 | 390.78 | 23.24 | 896.91 | 0.718 |
Qute_random | 20607.81 | 290.25 | 387.09 | 23.41 | 896.92 | 0.732 |
Rareqs_2018 | 38138.06 | 537.16 | 437.48 | 900.02 | 899.27 | 0.408 |