maxwidth: int;
maxsize: int;
maxdepth: int;
+ maxgoalsizefactor : int;
timeout: float;
use_library: bool;
use_paramod: bool;
{maxwidth=3;
maxdepth=3;
maxsize = 6;
+ maxgoalsizefactor = max_int;
timeout=Unix.gettimeofday() +.3.0;
use_library=false;
use_paramod=true;