The program minver contains 17 loops, none of them are context sensitive.

The number of iterations of the loops in the program is not input dependent.

When it is run as is, the result is

No. of iterations for main_L1 = 3
Maximum no. of iterations per invocation for main_L1_L1 is 3, sum is 9
No. of iterations for main_L2 = 3
Maximum no. of iterations per invocation for main_L2_L1 is 3, sum is 9
No. of iterations for main_minver_L1 = 3
Maximum no. of iterations per invocation for main_minver_L1_L1 is 3, sum is 5
Maximum no. of iterations per invocation for main_minver_L1_L1_L1 is 3, sum is 6
No. of iterations for main_minver_L2 = 3
Maximum no. of iterations per invocation for main_minver_L2_L1 is 9, sum is 9
Maximum no. of iterations per invocation for main_minver_L2_L1_L1 is 3, sum is 15
Maximum no. of iterations per invocation for main_minver_L2_L2 is 9, sum is 9
Maximum no. of iterations per invocation for main_minver_L2_L3 is 6, sum is 6
Maximum no. of iterations per invocation for main_minver_L2_L4 is 3, sum is 6
No. of iterations for main_minver_L3 = 3
No. of iterations for main_mmul_L1 = 3
Maximum no. of iterations per invocation for main_mmul_L1_L1 is 3, sum is 9
Maximum no. of iterations per invocation for main_mmul_L1_L1_L1 is 3, sum is 27