#Set_sat_solver "minisat2";
subtermparams 0;
orderparams {("linear",{3;10});("rpo",{0;25;2});("simple",{2;15});("matrix",{1;50;3;1})};

let h = heuristic
"Then [Use DPM; Repeat Then [ Use SCC; Solve[Use ST;Use RMVx;Then [ DPSG; SolveOrd ]] ] ]";
set_heuristic "h";