Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer | 2.41 | 0.24 | 0.72 | 0 | 0 | 1 |
Caqe-bloqqer-qdo | 907.01 | 90.7 | 269.79 | 0 | 0.55 | 0.9 |
Caqe-hqspre | 3606.85 | 360.69 | 440.41 | 3.3 | 900.05 | 0.6 |
Cued_2_2018 | 12.42 | 1.24 | 3.15 | 0 | 0.53 | 1 |
Cued_3_2018 | 11.86 | 1.19 | 3.17 | 0 | 0 | 1 |
depqbf_prefix_opt_qdo | 9000.3 | 900.03 | 0.02 | 900.03 | 0.02 | 0 |
depqbf_pre_QxQBH | 194.64 | 19.46 | 57.64 | 0 | 0.73 | 1 |
GhostQ-PG_cegar | 9.05 | 0.91 | 1.69 | 0.31 | 0.66 | 1 |
GhostQ-PG_plain | 6447.82 | 644.78 | 390.28 | 900.01 | 833.02 | 0.3 |
Heretiq-cube | 5.58 | 0.56 | 1.67 | 0 | 0 | 1 |
Heretiq-simple | 5.58 | 0.56 | 1.67 | 0 | 0 | 1 |
ijtihad | 5.57 | 0.56 | 1.67 | 0 | 0 | 1 |
Iprover-HQSpre-Bloqqer | 901.22 | 90.12 | 269.97 | 0 | 0 | 0.9 |
PortfolioDepQBFGhostQRaReQSQute___pf | 241.47 | 24.15 | 18.48 | 9.79 | 33.73 | 1 |
predyndep | 10.44 | 1.04 | 2.42 | 0 | 0.69 | 1 |
Qute_default | 3600.16 | 360.02 | 440.93 | 0 | 900.01 | 0.6 |
Qute_opt500 | 3600.14 | 360.01 | 440.93 | 0 | 900.01 | 0.6 |
Qute_random | 3600.15 | 360.02 | 440.93 | 0 | 900.02 | 0.6 |
Rareqs_2018 | 1.69 | 0.17 | 0.51 | 0 | 0 | 1 |