Ripping out LSIDS, it's trash in its current state

msoos · May 3, 2020 · 6c67cbf · 6c67cbf
1 parent 19070d3
commit 6c67cbf
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/searcher.h b/src/searcher.h
@@ -598,11 +598,6 @@ inline bool Searcher::pick_lsids_phase(const uint32_t var){
 
 inline bool Searcher::pick_polarity(const uint32_t var)
 {
-    if(conf.chronophase == 1 && last_backtrack_is_chrono){
-        stats.chrono_decisions++;
-        return pick_lsids_phase(var);
-    }
-
     switch(conf.polarity_mode) {
         case PolarityMode::polarmode_neg:
             return false;