Obligations | Alt-Ergo (1.01) | VC for sum_mult | 0.05 | VC for sum_add | 0.04 | VC for fubini | --- |
split_goal_wp | 1. assertion | 0.01 | |
2. postcondition | 0.01 | ||
3. variant decrease | 0.00 | ||
4. precondition | 0.01 | ||
5. assertion | --- | ||
split_goal_wp | 1. assertion | 0.01 | |
2. assertion | 0.02 | ||
6. postcondition | 0.01 | VC for sum_ext | 0.01 |