Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aspq2v3 | 3600.2 | 211.78 | 381.79 | 0 | 0 | 0.765 |
aspq3alt | 4500.77 | 264.75 | 410.07 | 0 | 450.31 | 0.706 |
ASPQ_2018 | 4500.83 | 264.75 | 410.07 | 0 | 450.32 | 0.706 |
CADET_2017 | 5644.21 | 332.01 | 422.16 | 10.16 | 899.59 | 0.647 |
Caqe-bloqqer | 2702.1 | 158.95 | 343.06 | 0 | 0 | 0.824 |
Caqe-bloqqer-qdo | 4500.92 | 264.76 | 410.09 | 0 | 450.31 | 0.706 |
Caqe-hqspre | 8130.31 | 478.25 | 447.45 | 900.01 | 900.06 | 0.471 |
Cued_2_2018 | 2991.35 | 175.96 | 340.48 | 0 | 17.47 | 0.824 |
Cued_3_2018 | 2988.78 | 175.81 | 340.44 | 0 | 17.43 | 0.824 |
depqbf_prefix_opt_qdo | 9000.25 | 529.43 | 442.95 | 900 | 900.03 | 0.412 |
depqbf_pre_QxQBH | 3609.98 | 212.35 | 381.46 | 0.58 | 3.18 | 0.765 |
GhostQ-PG_cegar | 15300.78 | 900.05 | 0.02 | 900.04 | 0.02 | 0 |
GhostQ-PG_plain | 15300.99 | 900.06 | 0.03 | 900.06 | 0.04 | 0 |
Heretiq-cube | 1946.2 | 114.48 | 206.6 | 0 | 0 | 0.765 |
Heretiq-simple | 3600.09 | 211.77 | 381.77 | 0 | 0 | 0.765 |
ijtihad | 3600.18 | 211.78 | 381.78 | 0 | 0.01 | 0.765 |
Iprover-HQSpre-Bloqqer | 6301.5 | 370.68 | 442.89 | 0 | 900.02 | 0.588 |
PortfolioDepQBFGhostQRaReQSQute___pf | 9187.38 | 540.43 | 431.03 | 900.01 | 894.56 | 0.412 |
predyndep | 1864.5 | 109.68 | 288.83 | 0 | 1.46 | 0.882 |
Qute_default | 9005.56 | 529.74 | 442.58 | 900 | 900.03 | 0.412 |
Qute_opt500 | 8114.23 | 477.31 | 448.38 | 900.01 | 900.03 | 0.471 |
Qute_random | 8114.19 | 477.31 | 448.38 | 900.01 | 900.02 | 0.471 |
Rareqs_2018 | 2758.34 | 162.26 | 341.79 | 0 | 0 | 0.824 |