--delete-bad-limit=150000000 --presat-simplify --forward-demod-level=1 --destructive-er --destructive-er-aggressive --strong-destructive-er --simul-paramod -tKBO6 -Ginvfreq -winvfreqrank -c1 -WSelectMaxLComplexAvoidPosPred -H'(1*ConjectureGeneralSymbolWeight(SimulateSOS,488,104,105,32,173,0,327,3.63456933832,1.43436931217,1),1*FIFOWeight(PreferProcessed),2*ConjectureRelativeSymbolWeight(ConstPrio,0.0640406356983,67,160,111,25,3.13817216288,2.75641029012,1),3*Refinedweight(PreferGoals,2,4,7,4.94895515161,6.55154057122),8*Clauseweight(PreferUnitGroundGoals,1,1,0.492432663985))'
