session binary_search = NTP4Verif +
theories
  "binary_search_BinarySearch_binary_searchqtvc"
  "binary_search_BinarySearchAnyMidPoint_binary_searchqtvc"
  "binary_search_BinarySearchBranchless_binary_searchqtvc"
  "binary_search_BinarySearchInt32_binary_searchqtvc"
  "binary_search_BinarySearchBoolean_binary_searchqtvc"
  "binary_search_Complexity_log2qtvc"
  "binary_search_Complexity_log2_monotoneqtvc"
  "binary_search_Complexity_upper_boundqtvc"
  "binary_search_Complexity_binary_searchqtvc"
  "binary_search_TwoDimensional_searchqtvc"
