Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer | 4494.82 | 898.96 | 2.19 | 900.06 | 2.75 | 0.2 |
Caqe-bloqqer-qdo | 3958.47 | 791.69 | 216.73 | 900.02 | 270.93 | 0.2 |
Caqe-hqspre | 4500.21 | 900.04 | 0.03 | 900.04 | 0.05 | 0 |
Cued_2_2018 | 4500.13 | 900.03 | 0.02 | 900.02 | 0.01 | 0 |
Cued_3_2018 | 4500.16 | 900.03 | 0.02 | 900.05 | 0.04 | 0 |
depqbf_prefix_opt_qdo | 4500.22 | 900.04 | 0.02 | 900.04 | 0.02 | 0 |
depqbf_pre_QxQBH | 4500.33 | 900.07 | 0.02 | 900.05 | 0.02 | 0 |
GhostQ-PG_cegar | 3864.78 | 772.96 | 254.16 | 900.03 | 317.71 | 0.2 |
GhostQ-PG_plain | 3850.24 | 770.05 | 260 | 900.01 | 325.03 | 0.2 |
Heretiq-cube | 4500.34 | 900.07 | 0.02 | 900.07 | 0.03 | 0 |
Heretiq-simple | 4500.2 | 900.04 | 0.03 | 900.05 | 0.04 | 0 |
ijtihad | 4500.28 | 900.06 | 0.03 | 900.04 | 0.03 | 0 |
Iprover-HQSpre-Bloqqer | 4500.18 | 900.04 | 0.04 | 900.03 | 0.04 | 0 |
PortfolioDepQBFGhostQRaReQSQute___pf | 4500.26 | 900.05 | 0.03 | 900.07 | 0.06 | 0 |
predyndep | 3095.93 | 619.19 | 343.94 | 900 | 702.06 | 0.4 |
Qute_default | 4500.27 | 900.05 | 0.02 | 900.06 | 0.03 | 0 |
Qute_opt500 | 4500.24 | 900.05 | 0.03 | 900.04 | 0.01 | 0 |
Qute_random | 4500.33 | 900.07 | 0.03 | 900.07 | 0.05 | 0 |
Rareqs_2018 | 4500.25 | 900.05 | 0.02 | 900.06 | 0.03 | 0 |