

algorithms:
 - fixsearch: old algorithm implementation by Patrik
 - stackelberg: Patriks' algorithm after refactoring
 - stackelberg_bounded: New algorithm

config_baseline_lmcut:

   --heuristic "h1=deadpdbs(max_time=120)" --heuristic "h2=lmcut" --search "fixsearch(search_engine=astar(max([h1,h2]), pruning=null), attack_heuristic=h2, initial_attack_budget=2147483647, initial_fix_budget=2147483647, attack_op_dom_pruning=false, sort_fix_ops=true, greedy=false, upper_bound_pruning=true)"



new_config_symbolic:
--search "stackelberg_bounded(optimal_engine=symbolic)"