[fix] Improve BLS

Author: misonijnik

lib/Core/Searcher.cpp

@@ -656,7 +656,7 @@ class MaxCyclesMetric final : public IterativeDeepeningSearcher::Metric {
     return state.isCycled(maxCycles);
   }
   void increaseLimit() final {
-    maxCycles *= 2ULL;
+    maxCycles *= 4ULL;
     klee_message("increased max-cycles to %llu", maxCycles);
   }
 };

lib/Core/Searcher.h

@@ -405,7 +405,7 @@ class BlockLevelSearcher final : public Searcher {
   using kblocks_ty = std::set<KBlock *, KBlockCompare>;
 
   using ThirdLayer =
-      std::map<unsigned long long, states_ty, std::less<unsigned long long>>;
+      std::map<unsigned long long, states_ty, std::greater<unsigned long long>>;
   using SecondLayer =
       std::map<std::vector<unsigned>, ThirdLayer, VectorsCompare>;
   using FirstLayer = std::map<unsigned, SecondLayer, std::greater<unsigned>>;