open AutoTypes;;
open AutoCache;;
-let debug_print s = () (*prerr_endline s;;*)
+let debug_print s = () (* prerr_endline s;; *)
(* {{{ *********** local given_clause wrapper ***********)
let bool = bool params in
let use_paramod = bool "use_paramod" true in
let use_only_paramod =
- if for_applyS then true else bool "paramodulation" true in
+ if for_applyS then true else bool "paramodulation" false in
let depth = int "depth" ((AutoTypes.default_flags()).AutoTypes.maxdepth) in
let width = int "width" ((AutoTypes.default_flags()).AutoTypes.maxwidth) in
let timeout = int "timeout" 0 in
if timeout = 0 then
if for_applyS then Unix.gettimeofday () +. 30.0
else
- 0.0
+ infinity
else
Unix.gettimeofday() +. (float_of_int timeout);
AutoTypes.use_paramod = use_paramod;