session min_max = NTP4Verif +
theories
  "min_max_Top_min_maxqtvc"
  "min_max_Top_a_better_min_maxqtvc"
  "min_max_Top_divide_and_conquerqtvc"
  "min_max_Top_a_similar_min_maxqtvc"
