Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer | 6371.42 | 637.14 | 353.82 | 900 | 881.22 | 0.4 |
Caqe-bloqqer-qdo | 5854.65 | 585.47 | 389.8 | 900.01 | 864.94 | 0.4 |
Caqe-hqspre | 4737.32 | 473.73 | 428.04 | 524.93 | 895.51 | 0.5 |
Cued_2_2018 | 9000.52 | 900.05 | 0.03 | 900.05 | 0.06 | 0 |
Cued_3_2018 | 9000.43 | 900.04 | 0.03 | 900.05 | 0.05 | 0 |
depqbf_prefix_opt_qdo | 9000.4 | 900.04 | 0.03 | 900.05 | 0.06 | 0 |
depqbf_pre_QxQBH | 9000.37 | 900.04 | 0.02 | 900.04 | 0.04 | 0 |
GhostQ-PG_cegar | 9000.28 | 900.03 | 0.02 | 900.03 | 0.03 | 0 |
GhostQ-PG_plain | 9000.22 | 900.02 | 0.02 | 900.02 | 0.02 | 0 |
Heretiq-cube | 7110.41 | 711.04 | 356.12 | 900.05 | 898.3 | 0.2 |
Heretiq-simple | 7118.2 | 711.82 | 356.37 | 900.04 | 898.44 | 0.2 |
ijtihad | 7202.52 | 720.25 | 359.6 | 900.03 | 898.28 | 0.2 |
Iprover-HQSpre-Bloqqer | 6946.39 | 694.64 | 336.5 | 900.04 | 841.36 | 0.3 |
PortfolioDepQBFGhostQRaReQSQute___pf | 7250.69 | 725.07 | 350.03 | 900.02 | 855.71 | 0.2 |
predyndep | 6063.88 | 606.39 | 364.02 | 900.01 | 733.6 | 0.4 |
Qute_default | 3807.77 | 380.78 | 427.4 | 98.37 | 898.3 | 0.6 |
Qute_opt500 | 226.37 | 22.64 | 54.6 | 4.52 | 4.73 | 1 |
Qute_random | 229.87 | 22.99 | 55.64 | 4.44 | 4.87 | 1 |
Rareqs_2018 | 6667.15 | 666.72 | 368.63 | 900.04 | 898.37 | 0.3 |