debug_print (lazy "USO PARAMODULATION...");
(* try *)
try
- Saturation.saturate dbd ~depth ~width ~full (proof, goal)
+ let rc = Saturation.saturate dbd ~depth ~width ~full (proof, goal) in
+ prerr_endline (Saturation.get_stats ());
+ rc
with exn ->
prerr_endline (Saturation.get_stats ());
raise exn