Why3 Proof Results for Project "binary-search"

Theory "WP Jessie_program": not fully verified

ObligationsAlt-Ergo (0.94)CVC3 (2.4.1)Simplify (1.5.4)Z3 (4.0)
Function bsearch, default behaviorTimeoutTimeoutTimeout0.18
Function bsearch, Behavior `failure'Timeout0.14------
Function bsearch, Behavior `success'0.09---------
Function bsearch, Safety4.66---------
Function main, default behavior0.04---------
Function main, SafetyTimeoutTimeoutTimeoutTimeout
split_goal
  precondition0.03---------
assertion0.02---------
precondition0.04---------
preconditionTimeoutTimeoutTimeoutTimeout
split_goal
  Function main, SafetyTimeoutTimeoutTimeoutTimeout
Function main, Safety0.04---------