We have just stated that we cannot know for certain that SDHC will always outperform DBHC for solving any MAX-SAT problem instance if given enough time. Select all of the instances where it is true that DBHC outperforms SDHC on average (median - the red line on the box plots) when given an unbounded computational budget when using the same experimental seeds and TRIALS_PER_TEST equal to the default 11.

Remember to inspect the progress plots to ensure your RUN_TIME is set high enough in Lab2ExercisesTestFrameConfig!