--delete-bad-limit=150000000 --presat-simplify --forward-demod-level=1 --destructive-er --destructive-er-aggressive --strong-destructive-er --simul-paramod -tKBO6 -Ginvfreq -winvfreqrank -c1 -WSelectCQIPrecWNTNp -H'(1*ConjectureRelativeSymbolWeight(SimulateSOS,0.5,100,100,100,100,1.5,1.5,1),1*FIFOWeight(PreferProcessed),1*ConjectureRelativeSymbolWeight(PreferNonGoals,0.5,100,100,100,100,1.5,1.5,1),4*ConjectureRelativeSymbolWeight(ConstPrio,0.1,100,100,100,100,1.5,1.5,1.5),4*Refinedweight(SimulateSOS,3,2,2,1.5,2))'
