%% Straightforward goal-driven operation, like SETHEO, leanCoP, CM
%% Deepening on tree size

cdex_options([gen=inc_tsize1,
	      once=true,
	      goal=Goal,
	      proof=D,
	      pre_add_max=100000,
	      post_min=2]).