- {maxwidth=3;maxdepth=3;timeout=Unix.gettimeofday() +.
- 3.0;use_paramod=true;use_only_paramod=false;dont_cache_failures=false}
+ {maxwidth=3;
+ maxdepth=3;
+ maxsize = 6;
+ maxgoalsizefactor = max_int;
+ timeout=Unix.gettimeofday() +.3.0;
+ use_library=false;
+ use_paramod=true;
+ use_only_paramod=false;
+ close_more=false;
+ dont_cache_failures=false;
+ do_types=false;
+}