Sourceval get_sat : unit -> int Sourceval get_unsat : unit -> int Sourceval get_err : unit -> int Sourceval get_time : unit -> float Sourceval incr_sat : unit -> unit Sourceval incr_unsat : unit -> unit Sourceval incr_err : unit -> unit Sourceval start_timer : unit -> unit Sourceval stop_timer : unit -> unit