Why3 Proof Results for Project "dfs6"

Theory "dfs6.DfsWhitePathCopmleteness": fully verified in 0.00 s

ObligationsAlt-Ergo (2.1.0)
nbtw_path---
induction_pr
  nbtw_path.10.01
nbtw_path.20.01
2. VC for dfs---
split_goal_wp
  1. postcondition0.01
2. postcondition0.01
3. postcondition0.01
4. postcondition0.03
5. precondition0.01
6. precondition0.01
7. postcondition0.01
8. postcondition0.01
9. postcondition0.01
10. postcondition0.04
11. precondition0.01
12. precondition0.02
13. assertion0.09
14. precondition0.03
15. precondition0.01
16. assertion0.12
17. postcondition0.01
18. postcondition0.06
19. postcondition0.06
20. postcondition0.58