problem dependent heuristics
max8sat-ls
max8sat-ls and reordening
heuristic as transition function
heuristic trans enumerable