competition mto =
  timeoutRelative mto 100 $ withProblem $ \p ->
    if Prob.isRCProblem p
      then runtime' Best mto
      else derivational
competition mto =
  timeoutRelative mto 100 $ withProblem $ \p ->
    if Prob.isRCProblem p
      then runtime' Best mto
      else derivational
competition mto =
  timeoutRelative mto 100 $ withProblem $ \p ->
    if Prob.isRCProblem p
      then runtime' Best mto
      else derivational