74.12/61.71 WORST_CASE(Omega(n^2), O(n^3)) 74.12/61.74 proof of /export/starexec/sandbox2/benchmark/theBenchmark.koat 74.12/61.74 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 74.12/61.74 74.12/61.74 74.12/61.74 The runtime complexity of the given CpxIntTrs could be proven to be BOUNDS(n^2, max(6 * Arg_2 * max(6, 6 * Arg_1) + 6 * Arg_2 * max(min(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0, 0) + min(-2 * Arg_1, 0), min(-2 * Arg_1, 0) + min(-12 * Arg_0 * Arg_1, max(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0), 0), 0), min(6 * Arg_2 * max(min(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0, 0) + min(-2 * Arg_1, 0), min(-2 * Arg_1, 0) + min(max(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0), -12 * Arg_0 * Arg_1, 0), 0) + 6 * Arg_2 * max(6, 6 * Arg_1), 6 * Arg_2 * max(6, 6 * Arg_1) + 6 * Arg_2 * nat(min(min(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0, 0) + min(-2 * Arg_1, 0), min(-2 * Arg_1, 0) + min(max(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0), -12 * Arg_0 * Arg_1, 0)))), 6 * Arg_2 * max(6, 6 * Arg_1) + 6 * Arg_2 * nat(min(min(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0, 0) + min(-2 * Arg_1, 0), min(-2 * Arg_1, 0) + min(max(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0), -12 * Arg_0 * Arg_1, 0))), 0) + nat(5 * Arg_0) + max(2, 2 + 36 * Arg_0 * Arg_1, 2 + 36 * Arg_1 * Arg_0, min(2 + 36 * Arg_1 * Arg_0, 2 + 36 * Arg_0 * Arg_1)) + nat(6 * Arg_1) + nat(8 * Arg_1) + nat(6 * Arg_0 * nat(8 * Arg_1) + 6 * Arg_0^2) + nat(5 * Arg_2) + max(10, 10 + 6 * Arg_0) + nat(6 * Arg_2) + max(6 * Arg_1 * Arg_2, 6 * Arg_2 * Arg_1, 0) + max(2, 2 + 12 * Arg_0^2) + nat(8 * Arg_0) + max(min(12 * Arg_1 * Arg_0, 12 * Arg_0 * Arg_1), 0, 12 * Arg_1 * Arg_0, 12 * Arg_0 * Arg_1) + nat(12 * Arg_0) + max(18 * Arg_1 * Arg_0, 18 * Arg_0 * Arg_1, 0) + nat(nat(6 * Arg_0) + nat(4 * Arg_1)) + nat(6 * Arg_0 * max(6, 6 * Arg_0) + 6 * Arg_0 * nat(4 * Arg_1)) + max(1, 1 + 8 * Arg_0) + max(min(24 * Arg_1 * Arg_0, 24 * Arg_0 * Arg_1), 24 * Arg_0 * Arg_1, 24 * Arg_1 * Arg_0, 0) + nat(Arg_0 + nat(8 * Arg_1))). 74.12/61.74 74.12/61.74 (0) CpxIntTrs 74.12/61.74 (1) Koat2 Proof [FINISHED, 60.0 s] 74.12/61.74 (2) BOUNDS(1, max(6 * Arg_2 * max(6, 6 * Arg_1) + 6 * Arg_2 * max(min(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0, 0) + min(-2 * Arg_1, 0), min(-2 * Arg_1, 0) + min(-12 * Arg_0 * Arg_1, max(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0), 0), 0), min(6 * Arg_2 * max(min(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0, 0) + min(-2 * Arg_1, 0), min(-2 * Arg_1, 0) + min(max(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0), -12 * Arg_0 * Arg_1, 0), 0) + 6 * Arg_2 * max(6, 6 * Arg_1), 6 * Arg_2 * max(6, 6 * Arg_1) + 6 * Arg_2 * nat(min(min(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0, 0) + min(-2 * Arg_1, 0), min(-2 * Arg_1, 0) + min(max(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0), -12 * Arg_0 * Arg_1, 0)))), 6 * Arg_2 * max(6, 6 * Arg_1) + 6 * Arg_2 * nat(min(min(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0, 0) + min(-2 * Arg_1, 0), min(-2 * Arg_1, 0) + min(max(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0), -12 * Arg_0 * Arg_1, 0))), 0) + nat(5 * Arg_0) + max(2, 2 + 36 * Arg_0 * Arg_1, 2 + 36 * Arg_1 * Arg_0, min(2 + 36 * Arg_1 * Arg_0, 2 + 36 * Arg_0 * Arg_1)) + nat(6 * Arg_1) + nat(8 * Arg_1) + nat(6 * Arg_0 * nat(8 * Arg_1) + 6 * Arg_0^2) + nat(5 * Arg_2) + max(10, 10 + 6 * Arg_0) + nat(6 * Arg_2) + max(6 * Arg_1 * Arg_2, 6 * Arg_2 * Arg_1, 0) + max(2, 2 + 12 * Arg_0^2) + nat(8 * Arg_0) + max(min(12 * Arg_1 * Arg_0, 12 * Arg_0 * Arg_1), 0, 12 * Arg_1 * Arg_0, 12 * Arg_0 * Arg_1) + nat(12 * Arg_0) + max(18 * Arg_1 * Arg_0, 18 * Arg_0 * Arg_1, 0) + nat(nat(6 * Arg_0) + nat(4 * Arg_1)) + nat(6 * Arg_0 * max(6, 6 * Arg_0) + 6 * Arg_0 * nat(4 * Arg_1)) + max(1, 1 + 8 * Arg_0) + max(min(24 * Arg_1 * Arg_0, 24 * Arg_0 * Arg_1), 24 * Arg_0 * Arg_1, 24 * Arg_1 * Arg_0, 0) + nat(Arg_0 + nat(8 * Arg_1))) 74.12/61.74 (3) Loat Proof [FINISHED, 4241 ms] 74.12/61.74 (4) BOUNDS(n^2, INF) 74.12/61.74 74.12/61.74 74.12/61.74 ---------------------------------------- 74.12/61.74 74.12/61.74 (0) 74.12/61.74 Obligation: 74.12/61.74 Complexity Int TRS consisting of the following rules: 74.12/61.74 eval_nestedLoop_start(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb0_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_bb0_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_0(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_0(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_1(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_1(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_2(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_2(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_3(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_3(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb1_in(v_10, v_14, v_3, v_6, v_9, v_N, 0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: 0 <= v_n && 0 <= v_m && 0 <= v_N 74.12/61.74 eval_nestedLoop_3(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb7_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: 0 > v_n 74.12/61.74 eval_nestedLoop_3(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb7_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: 0 > v_m 74.12/61.74 eval_nestedLoop_3(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb7_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: 0 > v_N 74.12/61.74 eval_nestedLoop_bb1_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_4(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_4(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_5(v_10, v_14, nondef_0, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_5(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb2_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_0, 0, v_k_0, v_m, v_n)) :|: v_3 > 0 && v_i_0 < v_n 74.12/61.74 eval_nestedLoop_5(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb7_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: v_3 <= 0 74.12/61.74 eval_nestedLoop_5(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb7_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: v_i_0 >= v_n 74.12/61.74 eval_nestedLoop_bb2_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_6(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_6(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_7(v_10, v_14, v_3, nondef_1, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_7(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb3_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: v_6 > 0 && v_j_0 < v_m 74.12/61.74 eval_nestedLoop_7(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb6_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: v_6 <= 0 74.12/61.74 eval_nestedLoop_7(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb6_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: v_j_0 >= v_m 74.12/61.74 eval_nestedLoop_bb3_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb4_in(v_10, v_14, v_3, v_6, v_j_0 + 1, v_N, v_i_0, v_i_1, v_j_0, v_i_1, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_bb4_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_10(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_10(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_11(nondef_2, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_11(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb5_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: v_10 > 0 && v_k_0 < v_N 74.12/61.74 eval_nestedLoop_11(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb2_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_k_0, v_9, v_k_0, v_m, v_n)) :|: v_10 <= 0 74.12/61.74 eval_nestedLoop_11(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb2_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_k_0, v_9, v_k_0, v_m, v_n)) :|: v_k_0 >= v_N 74.12/61.74 eval_nestedLoop_bb5_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb4_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0 + 1, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_bb6_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_15(v_10, v_i_1 + 1, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_15(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_16(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_16(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_bb1_in(v_10, v_14, v_3, v_6, v_9, v_N, v_14, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 eval_nestedLoop_bb7_in(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n) -> Com_1(eval_nestedLoop_stop(v_10, v_14, v_3, v_6, v_9, v_N, v_i_0, v_i_1, v_j_0, v_k_0, v_m, v_n)) :|: TRUE 74.12/61.74 74.12/61.74 The start-symbols are:[eval_nestedLoop_start_12] 74.12/61.74 74.12/61.74 74.12/61.74 ---------------------------------------- 74.12/61.74 74.12/61.74 (1) Koat2 Proof (FINISHED) 74.12/61.74 YES( ?, 10+max([0, 6*Arg_0])+max([0, Arg_1])+max([0, 6*Arg_2])+max([0, max([6*-(Arg_2)*-(Arg_1), 6*Arg_1*Arg_2])])+max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])+max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_0+max([0, 8*Arg_1])])+max([0, 6*Arg_0*(Arg_0+max([0, 8*Arg_1]))])+max([0, 5*Arg_2])+max([1, 1+max([6*-(Arg_0)*-(Arg_0), 6*Arg_0*Arg_0])])+max([0, Arg_1])+max([0, 8*Arg_0])+max([0, max([2*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 2*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, 6*Arg_0])+max([0, Arg_1])+max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, max([0, 6*Arg_0])+max([0, 4*Arg_1])])+max([0, 6*Arg_0*(max([6, 6*Arg_0])+max([0, 4*Arg_1]))])+max([0, 4*Arg_1])+max([1, 1+8*Arg_0])+max([0, max([4*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 4*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([1, 1+max([6*-(Arg_0)*-(Arg_0), 6*Arg_0*Arg_0])])+max([0, max([6*min([-(-(Arg_2)*(max([6, 6*Arg_1])+max([0, min([-(2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1]))), -(2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1])))])]))), -(-(Arg_2)*(max([6, 6*Arg_1])+max([0, max([-2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1])), -2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1]))])])))]), 6*max([Arg_2*(max([6, 6*Arg_1])+max([0, min([-(2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1]))), -(2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1])))])])), Arg_2*(max([6, 6*Arg_1])+max([0, max([-2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1])), -2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1]))])]))])])])+max([0, 5*Arg_0])+max([2, 2+max([6*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, 6*Arg_0])+max([0, 6*Arg_1]) {O(n^3)}) 74.12/61.74 74.12/61.74 74.12/61.74 74.12/61.74 Initial Complexity Problem: 74.12/61.74 74.12/61.74 Start: evalnestedLoopstart 74.12/61.74 74.12/61.74 Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9, Arg_10, Arg_11 74.12/61.74 74.12/61.74 Temp_Vars: M 74.12/61.74 74.12/61.74 Locations: evalnestedLoop0, evalnestedLoop1, evalnestedLoop10, evalnestedLoop11, evalnestedLoop15, evalnestedLoop16, evalnestedLoop2, evalnestedLoop3, evalnestedLoop4, evalnestedLoop5, evalnestedLoop6, evalnestedLoop7, evalnestedLoopbb0in, evalnestedLoopbb1in, evalnestedLoopbb2in, evalnestedLoopbb3in, evalnestedLoopbb4in, evalnestedLoopbb5in, evalnestedLoopbb6in, evalnestedLoopbb7in, evalnestedLoopstart, evalnestedLoopstop 74.12/61.74 74.12/61.74 Transitions: 74.12/61.74 74.12/61.74 evalnestedLoop0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoop1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|: 74.12/61.74 74.12/61.74 evalnestedLoop1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoop2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|: 74.12/61.74 74.12/61.74 evalnestedLoop10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoop11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,M,Arg_11):|:0 <= Arg_9 && 1 <= Arg_8+Arg_9 && 1 <= Arg_7+Arg_9 && 0 <= Arg_6+Arg_9 && 0 <= Arg_5+Arg_9 && Arg_5 <= Arg_9 && 1 <= Arg_4+Arg_9 && 0 <= Arg_3+Arg_9 && Arg_3 <= Arg_9 && 0 <= Arg_2+Arg_9 && 1 <= Arg_1+Arg_9 && 1 <= Arg_0+Arg_9 && Arg_8 <= 1+Arg_6 && Arg_8 <= Arg_1 && 1 <= Arg_8 && 2 <= Arg_7+Arg_8 && 1 <= Arg_6+Arg_8 && 1+Arg_6 <= Arg_8 && 1 <= Arg_5+Arg_8 && 2 <= Arg_4+Arg_8 && 1 <= Arg_3+Arg_8 && 1 <= Arg_2+Arg_8 && 2 <= Arg_1+Arg_8 && 2 <= Arg_0+Arg_8 && 1 <= Arg_7 && 1 <= Arg_6+Arg_7 && 1 <= Arg_5+Arg_7 && 2 <= Arg_4+Arg_7 && 1 <= Arg_3+Arg_7 && 1 <= Arg_2+Arg_7 && 2 <= Arg_1+Arg_7 && 2 <= Arg_0+Arg_7 && 1+Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 1 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 1 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 2 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 1 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 1 <= Arg_1 && 2 <= Arg_0+Arg_1 && 1 <= Arg_0 74.12/61.74 74.12/61.74 evalnestedLoop11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb2in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_9,Arg_8,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:0 <= Arg_9 && 1 <= Arg_8+Arg_9 && 1 <= Arg_7+Arg_9 && 0 <= Arg_6+Arg_9 && 0 <= Arg_5+Arg_9 && Arg_5 <= Arg_9 && 1 <= Arg_4+Arg_9 && 0 <= Arg_3+Arg_9 && Arg_3 <= Arg_9 && 0 <= Arg_2+Arg_9 && 1 <= Arg_1+Arg_9 && 1 <= Arg_0+Arg_9 && Arg_8 <= 1+Arg_6 && Arg_8 <= Arg_1 && 1 <= Arg_8 && 2 <= Arg_7+Arg_8 && 1 <= Arg_6+Arg_8 && 1+Arg_6 <= Arg_8 && 1 <= Arg_5+Arg_8 && 2 <= Arg_4+Arg_8 && 1 <= Arg_3+Arg_8 && 1 <= Arg_2+Arg_8 && 2 <= Arg_1+Arg_8 && 2 <= Arg_0+Arg_8 && 1 <= Arg_7 && 1 <= Arg_6+Arg_7 && 1 <= Arg_5+Arg_7 && 2 <= Arg_4+Arg_7 && 1 <= Arg_3+Arg_7 && 1 <= Arg_2+Arg_7 && 2 <= Arg_1+Arg_7 && 2 <= Arg_0+Arg_7 && 1+Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 1 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 1 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 2 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 1 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 1 <= Arg_1 && 2 <= Arg_0+Arg_1 && 1 <= Arg_0 && Arg_10 <= 0 74.12/61.74 74.12/61.74 evalnestedLoop11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb2in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_9,Arg_8,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:0 <= Arg_9 && 1 <= Arg_8+Arg_9 && 1 <= Arg_7+Arg_9 && 0 <= Arg_6+Arg_9 && 0 <= Arg_5+Arg_9 && Arg_5 <= Arg_9 && 1 <= Arg_4+Arg_9 && 0 <= Arg_3+Arg_9 && Arg_3 <= Arg_9 && 0 <= Arg_2+Arg_9 && 1 <= Arg_1+Arg_9 && 1 <= Arg_0+Arg_9 && Arg_8 <= 1+Arg_6 && Arg_8 <= Arg_1 && 1 <= Arg_8 && 2 <= Arg_7+Arg_8 && 1 <= Arg_6+Arg_8 && 1+Arg_6 <= Arg_8 && 1 <= Arg_5+Arg_8 && 2 <= Arg_4+Arg_8 && 1 <= Arg_3+Arg_8 && 1 <= Arg_2+Arg_8 && 2 <= Arg_1+Arg_8 && 2 <= Arg_0+Arg_8 && 1 <= Arg_7 && 1 <= Arg_6+Arg_7 && 1 <= Arg_5+Arg_7 && 2 <= Arg_4+Arg_7 && 1 <= Arg_3+Arg_7 && 1 <= Arg_2+Arg_7 && 2 <= Arg_1+Arg_7 && 2 <= Arg_0+Arg_7 && 1+Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 1 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 1 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 2 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 1 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 1 <= Arg_1 && 2 <= Arg_0+Arg_1 && 1 <= Arg_0 && Arg_2 <= Arg_9 74.12/61.74 74.12/61.74 evalnestedLoop11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:0 <= Arg_9 && 1 <= Arg_8+Arg_9 && 1 <= Arg_7+Arg_9 && 0 <= Arg_6+Arg_9 && 0 <= Arg_5+Arg_9 && Arg_5 <= Arg_9 && 1 <= Arg_4+Arg_9 && 0 <= Arg_3+Arg_9 && Arg_3 <= Arg_9 && 0 <= Arg_2+Arg_9 && 1 <= Arg_1+Arg_9 && 1 <= Arg_0+Arg_9 && Arg_8 <= 1+Arg_6 && Arg_8 <= Arg_1 && 1 <= Arg_8 && 2 <= Arg_7+Arg_8 && 1 <= Arg_6+Arg_8 && 1+Arg_6 <= Arg_8 && 1 <= Arg_5+Arg_8 && 2 <= Arg_4+Arg_8 && 1 <= Arg_3+Arg_8 && 1 <= Arg_2+Arg_8 && 2 <= Arg_1+Arg_8 && 2 <= Arg_0+Arg_8 && 1 <= Arg_7 && 1 <= Arg_6+Arg_7 && 1 <= Arg_5+Arg_7 && 2 <= Arg_4+Arg_7 && 1 <= Arg_3+Arg_7 && 1 <= Arg_2+Arg_7 && 2 <= Arg_1+Arg_7 && 2 <= Arg_0+Arg_7 && 1+Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 1 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 1 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 2 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 1 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 1 <= Arg_1 && 2 <= Arg_0+Arg_1 && 1 <= Arg_0 && 1 <= Arg_10 && Arg_9+1 <= Arg_2 74.12/61.74 74.12/61.74 evalnestedLoop15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoop16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 1 <= Arg_11+Arg_6 && 0 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 1+Arg_5 <= Arg_11 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 1 <= Arg_11+Arg_5 && Arg_11 <= 1+Arg_5 && 0 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 2 <= Arg_11+Arg_4 && 1 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_11 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 1 <= Arg_11+Arg_3 && 0 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 1 <= Arg_11+Arg_2 && 0 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 1 <= Arg_11 && 1 <= Arg_1+Arg_11 && 2 <= Arg_0+Arg_11 && 0 <= Arg_1 && 1 <= Arg_0+Arg_1 && 1 <= Arg_0 74.12/61.74 74.12/61.74 evalnestedLoop16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb1in(Arg_0,Arg_1,Arg_2,Arg_11,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 1 <= Arg_11+Arg_6 && 0 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 1+Arg_5 <= Arg_11 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 1 <= Arg_11+Arg_5 && Arg_11 <= 1+Arg_5 && 0 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 2 <= Arg_11+Arg_4 && 1 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_11 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 1 <= Arg_11+Arg_3 && 0 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 1 <= Arg_11+Arg_2 && 0 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 1 <= Arg_11 && 1 <= Arg_1+Arg_11 && 2 <= Arg_0+Arg_11 && 0 <= Arg_1 && 1 <= Arg_0+Arg_1 && 1 <= Arg_0 74.12/61.74 74.12/61.74 evalnestedLoop2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoop3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|: 74.12/61.74 74.12/61.74 evalnestedLoop3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb1in(Arg_0,Arg_1,Arg_2,0,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:0 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_2 74.12/61.74 74.12/61.74 evalnestedLoop3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:Arg_0+1 <= 0 74.12/61.74 74.12/61.74 evalnestedLoop3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:Arg_1+1 <= 0 74.12/61.74 74.12/61.74 evalnestedLoop3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:Arg_2+1 <= 0 74.12/61.74 74.12/61.74 evalnestedLoop4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoop5(Arg_0,Arg_1,Arg_2,Arg_3,M,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 0 <= Arg_1+Arg_3 && 0 <= Arg_0+Arg_3 && 0 <= Arg_2 && 0 <= Arg_1+Arg_2 && 0 <= Arg_0+Arg_2 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0 74.12/61.74 74.12/61.74 evalnestedLoop5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb2in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_3,0,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 0 <= Arg_1+Arg_3 && 0 <= Arg_0+Arg_3 && 0 <= Arg_2 && 0 <= Arg_1+Arg_2 && 0 <= Arg_0+Arg_2 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0 && 1 <= Arg_4 && Arg_3+1 <= Arg_0 74.12/61.74 74.12/61.74 evalnestedLoop5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 0 <= Arg_1+Arg_3 && 0 <= Arg_0+Arg_3 && 0 <= Arg_2 && 0 <= Arg_1+Arg_2 && 0 <= Arg_0+Arg_2 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0 && Arg_4 <= 0 74.12/61.74 74.12/61.74 evalnestedLoop5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 0 <= Arg_1+Arg_3 && 0 <= Arg_0+Arg_3 && 0 <= Arg_2 && 0 <= Arg_1+Arg_2 && 0 <= Arg_0+Arg_2 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0 && Arg_0 <= Arg_3 74.12/61.74 74.12/61.74 evalnestedLoop6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoop7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,M,Arg_8,Arg_9,Arg_10,Arg_11):|:Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 0 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 0 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 1 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 0 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 0 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 0 <= Arg_1 && 1 <= Arg_0+Arg_1 && 1 <= Arg_0 74.12/61.74 74.12/61.74 evalnestedLoop7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 0 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 0 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 1 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 0 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 0 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 0 <= Arg_1 && 1 <= Arg_0+Arg_1 && 1 <= Arg_0 && 1 <= Arg_7 && Arg_6+1 <= Arg_1 74.12/61.74 74.12/61.74 evalnestedLoop7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 0 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 0 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 1 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 0 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 0 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 0 <= Arg_1 && 1 <= Arg_0+Arg_1 && 1 <= Arg_0 && Arg_7 <= 0 74.12/61.74 74.12/61.74 evalnestedLoop7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 0 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 0 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 1 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 0 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 0 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 0 <= Arg_1 && 1 <= Arg_0+Arg_1 && 1 <= Arg_0 && Arg_1 <= Arg_6 74.12/61.74 74.12/61.74 evalnestedLoopbb0in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoop0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|: 74.12/61.74 74.12/61.74 evalnestedLoopbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoop4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 0 <= Arg_1+Arg_3 && 0 <= Arg_0+Arg_3 && 0 <= Arg_2 && 0 <= Arg_1+Arg_2 && 0 <= Arg_0+Arg_2 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0 74.12/61.74 74.12/61.74 evalnestedLoopbb2in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoop6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 0 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 0 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 1 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 0 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 0 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 0 <= Arg_1 && 1 <= Arg_0+Arg_1 && 1 <= Arg_0 74.12/61.74 74.12/61.74 evalnestedLoopbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb4in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_6+1,Arg_5,Arg_10,Arg_11):|:1 <= Arg_7 && 1 <= Arg_6+Arg_7 && 1 <= Arg_5+Arg_7 && 2 <= Arg_4+Arg_7 && 1 <= Arg_3+Arg_7 && 1 <= Arg_2+Arg_7 && 2 <= Arg_1+Arg_7 && 2 <= Arg_0+Arg_7 && 1+Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 1 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 1 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 2 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 1 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 1 <= Arg_1 && 2 <= Arg_0+Arg_1 && 1 <= Arg_0 74.12/61.74 74.12/61.74 evalnestedLoopbb4in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoop10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|:0 <= Arg_9 && 1 <= Arg_8+Arg_9 && 1 <= Arg_7+Arg_9 && 0 <= Arg_6+Arg_9 && 0 <= Arg_5+Arg_9 && Arg_5 <= Arg_9 && 1 <= Arg_4+Arg_9 && 0 <= Arg_3+Arg_9 && Arg_3 <= Arg_9 && 0 <= Arg_2+Arg_9 && 1 <= Arg_1+Arg_9 && 1 <= Arg_0+Arg_9 && Arg_8 <= 1+Arg_6 && Arg_8 <= Arg_1 && 1 <= Arg_8 && 2 <= Arg_7+Arg_8 && 1 <= Arg_6+Arg_8 && 1+Arg_6 <= Arg_8 && 1 <= Arg_5+Arg_8 && 2 <= Arg_4+Arg_8 && 1 <= Arg_3+Arg_8 && 1 <= Arg_2+Arg_8 && 2 <= Arg_1+Arg_8 && 2 <= Arg_0+Arg_8 && 1 <= Arg_7 && 1 <= Arg_6+Arg_7 && 1 <= Arg_5+Arg_7 && 2 <= Arg_4+Arg_7 && 1 <= Arg_3+Arg_7 && 1 <= Arg_2+Arg_7 && 2 <= Arg_1+Arg_7 && 2 <= Arg_0+Arg_7 && 1+Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 1 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 1 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 2 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 1 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 1 <= Arg_1 && 2 <= Arg_0+Arg_1 && 1 <= Arg_0 74.12/61.74 74.12/61.74 evalnestedLoopbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb4in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9+1,Arg_10,Arg_11):|:1+Arg_9 <= Arg_2 && 0 <= Arg_9 && 1 <= Arg_8+Arg_9 && 1 <= Arg_7+Arg_9 && 0 <= Arg_6+Arg_9 && 0 <= Arg_5+Arg_9 && Arg_5 <= Arg_9 && 1 <= Arg_4+Arg_9 && 0 <= Arg_3+Arg_9 && Arg_3 <= Arg_9 && 1 <= Arg_2+Arg_9 && 1 <= Arg_10+Arg_9 && 1 <= Arg_1+Arg_9 && 1 <= Arg_0+Arg_9 && Arg_8 <= 1+Arg_6 && Arg_8 <= Arg_1 && 1 <= Arg_8 && 2 <= Arg_7+Arg_8 && 1 <= Arg_6+Arg_8 && 1+Arg_6 <= Arg_8 && 1 <= Arg_5+Arg_8 && 2 <= Arg_4+Arg_8 && 1 <= Arg_3+Arg_8 && 2 <= Arg_2+Arg_8 && 2 <= Arg_10+Arg_8 && 2 <= Arg_1+Arg_8 && 2 <= Arg_0+Arg_8 && 1 <= Arg_7 && 1 <= Arg_6+Arg_7 && 1 <= Arg_5+Arg_7 && 2 <= Arg_4+Arg_7 && 1 <= Arg_3+Arg_7 && 2 <= Arg_2+Arg_7 && 2 <= Arg_10+Arg_7 && 2 <= Arg_1+Arg_7 && 2 <= Arg_0+Arg_7 && 1+Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 1 <= Arg_2+Arg_6 && 1 <= Arg_10+Arg_6 && 1 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 1+Arg_5 <= Arg_2 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 1 <= Arg_2+Arg_5 && 1 <= Arg_10+Arg_5 && 1 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 2 <= Arg_2+Arg_4 && 2 <= Arg_10+Arg_4 && 2 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_2 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 1 <= Arg_2+Arg_3 && 1 <= Arg_10+Arg_3 && 1 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 1 <= Arg_2 && 2 <= Arg_10+Arg_2 && 2 <= Arg_1+Arg_2 && 2 <= Arg_0+Arg_2 && 1 <= Arg_10 && 2 <= Arg_1+Arg_10 && 2 <= Arg_0+Arg_10 && 1 <= Arg_1 && 2 <= Arg_0+Arg_1 && 1 <= Arg_0 74.12/61.74 74.12/61.74 evalnestedLoopbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoop15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_5+1):|:Arg_6 <= Arg_1 && 0 <= Arg_6 && 0 <= Arg_5+Arg_6 && 1 <= Arg_4+Arg_6 && 0 <= Arg_3+Arg_6 && 0 <= Arg_2+Arg_6 && 0 <= Arg_1+Arg_6 && 1 <= Arg_0+Arg_6 && 0 <= Arg_5 && 1 <= Arg_4+Arg_5 && 0 <= Arg_3+Arg_5 && Arg_3 <= Arg_5 && 0 <= Arg_2+Arg_5 && 0 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1 <= Arg_4 && 1 <= Arg_3+Arg_4 && 1 <= Arg_2+Arg_4 && 1 <= Arg_1+Arg_4 && 2 <= Arg_0+Arg_4 && 1+Arg_3 <= Arg_0 && 0 <= Arg_3 && 0 <= Arg_2+Arg_3 && 0 <= Arg_1+Arg_3 && 1 <= Arg_0+Arg_3 && 0 <= Arg_2 && 0 <= Arg_1+Arg_2 && 1 <= Arg_0+Arg_2 && 0 <= Arg_1 && 1 <= Arg_0+Arg_1 && 1 <= Arg_0 74.12/61.74 74.12/61.74 evalnestedLoopbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopstop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|: 74.12/61.74 74.12/61.74 evalnestedLoopstart(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11) -> evalnestedLoopbb0in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11):|: 74.12/61.74 74.12/61.74 74.12/61.74 74.12/61.74 Timebounds: 74.12/61.74 74.12/61.74 Overall timebound: 10+max([0, 6*Arg_0])+max([0, Arg_1])+max([0, 6*Arg_2])+max([0, max([6*-(Arg_2)*-(Arg_1), 6*Arg_1*Arg_2])])+max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])+max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_0+max([0, 8*Arg_1])])+max([0, 6*Arg_0*(Arg_0+max([0, 8*Arg_1]))])+max([0, 5*Arg_2])+max([1, 1+max([6*-(Arg_0)*-(Arg_0), 6*Arg_0*Arg_0])])+max([0, Arg_1])+max([0, 8*Arg_0])+max([0, max([2*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 2*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, 6*Arg_0])+max([0, Arg_1])+max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, max([0, 6*Arg_0])+max([0, 4*Arg_1])])+max([0, 6*Arg_0*(max([6, 6*Arg_0])+max([0, 4*Arg_1]))])+max([0, 4*Arg_1])+max([1, 1+8*Arg_0])+max([0, max([4*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 4*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([1, 1+max([6*-(Arg_0)*-(Arg_0), 6*Arg_0*Arg_0])])+max([0, max([6*min([-(-(Arg_2)*(max([6, 6*Arg_1])+max([0, min([-(2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1]))), -(2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1])))])]))), -(-(Arg_2)*(max([6, 6*Arg_1])+max([0, max([-2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1])), -2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1]))])])))]), 6*max([Arg_2*(max([6, 6*Arg_1])+max([0, min([-(2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1]))), -(2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1])))])])), Arg_2*(max([6, 6*Arg_1])+max([0, max([-2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1])), -2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1]))])]))])])])+max([0, 5*Arg_0])+max([2, 2+max([6*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, 6*Arg_0])+max([0, 6*Arg_1]) {O(n^3)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1: 1 {O(1)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2: 1 {O(1)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11: max([0, max([6*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, 6*Arg_1])+max([0, max([6*min([-(-(Arg_2)*(max([6, 6*Arg_1])+max([0, min([-(2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1]))), -(2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1])))])]))), -(-(Arg_2)*(max([6, 6*Arg_1])+max([0, max([-2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1])), -2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1]))])])))]), 6*max([Arg_2*(max([6, 6*Arg_1])+max([0, min([-(2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1]))), -(2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1])))])])), Arg_2*(max([6, 6*Arg_1])+max([0, max([-2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1])), -2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1]))])]))])])]) {O(n^3)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in: max([0, 5*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in: max([0, max([4*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 4*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, 4*Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in: max([0, max([2*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 2*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16: max([0, 6*Arg_0]) {O(n)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in: max([0, 5*Arg_0]) {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3: 1 {O(1)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in: 1 {O(1)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in: 1 {O(1)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in: 1 {O(1)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in: 1 {O(1)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5: max([1, 1+max([6*-(Arg_0)*-(Arg_0), 6*Arg_0*Arg_0])]) {O(n^2)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in: max([1, 1+8*Arg_0]) {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in: 1 {O(1)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in: 1 {O(1)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7: max([0, 6*Arg_0*(max([6, 6*Arg_0])+max([0, 4*Arg_1]))])+max([0, max([0, 6*Arg_0])+max([0, 4*Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 17: evalnestedLoop7->evalnestedLoopbb6in: max([0, 6*Arg_0]) {O(n)} 74.12/61.74 74.12/61.74 18: evalnestedLoop7->evalnestedLoopbb6in: max([0, 8*Arg_0]) {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0: 1 {O(1)} 74.12/61.74 74.12/61.74 9: evalnestedLoopbb1in->evalnestedLoop4: max([1, 1+max([6*-(Arg_0)*-(Arg_0), 6*Arg_0*Arg_0])]) {O(n^2)} 74.12/61.74 74.12/61.74 14: evalnestedLoopbb2in->evalnestedLoop6: max([0, 6*Arg_0*(Arg_0+max([0, 8*Arg_1]))])+max([0, Arg_0+max([0, 8*Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 19: evalnestedLoopbb3in->evalnestedLoopbb4in: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 20: evalnestedLoopbb4in->evalnestedLoop10: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])+max([0, max([6*-(Arg_2)*-(Arg_1), 6*Arg_1*Arg_2])]) {O(n^2)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in: max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 26: evalnestedLoopbb6in->evalnestedLoop15: max([0, 6*Arg_0]) {O(n)} 74.12/61.74 74.12/61.74 29: evalnestedLoopbb7in->evalnestedLoopstop: 1 {O(1)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in: 1 {O(1)} 74.12/61.74 74.12/61.74 74.12/61.74 74.12/61.74 Costbounds: 74.12/61.74 74.12/61.74 Overall costbound: 10+max([0, 6*Arg_0])+max([0, Arg_1])+max([0, 6*Arg_2])+max([0, max([6*-(Arg_2)*-(Arg_1), 6*Arg_1*Arg_2])])+max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])+max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_0+max([0, 8*Arg_1])])+max([0, 6*Arg_0*(Arg_0+max([0, 8*Arg_1]))])+max([0, 5*Arg_2])+max([1, 1+max([6*-(Arg_0)*-(Arg_0), 6*Arg_0*Arg_0])])+max([0, Arg_1])+max([0, 8*Arg_0])+max([0, max([2*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 2*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, 6*Arg_0])+max([0, Arg_1])+max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, max([0, 6*Arg_0])+max([0, 4*Arg_1])])+max([0, 6*Arg_0*(max([6, 6*Arg_0])+max([0, 4*Arg_1]))])+max([0, 4*Arg_1])+max([1, 1+8*Arg_0])+max([0, max([4*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 4*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([1, 1+max([6*-(Arg_0)*-(Arg_0), 6*Arg_0*Arg_0])])+max([0, max([6*min([-(-(Arg_2)*(max([6, 6*Arg_1])+max([0, min([-(2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1]))), -(2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1])))])]))), -(-(Arg_2)*(max([6, 6*Arg_1])+max([0, max([-2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1])), -2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1]))])])))]), 6*max([Arg_2*(max([6, 6*Arg_1])+max([0, min([-(2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1]))), -(2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1])))])])), Arg_2*(max([6, 6*Arg_1])+max([0, max([-2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1])), -2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1]))])]))])])])+max([0, 5*Arg_0])+max([2, 2+max([6*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, 6*Arg_0])+max([0, 6*Arg_1]) {O(n^3)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1: 1 {O(1)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2: 1 {O(1)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11: max([0, max([6*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, 6*Arg_1])+max([0, max([6*min([-(-(Arg_2)*(max([6, 6*Arg_1])+max([0, min([-(2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1]))), -(2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1])))])]))), -(-(Arg_2)*(max([6, 6*Arg_1])+max([0, max([-2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1])), -2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1]))])])))]), 6*max([Arg_2*(max([6, 6*Arg_1])+max([0, min([-(2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1]))), -(2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1])))])])), Arg_2*(max([6, 6*Arg_1])+max([0, max([-2*(max([0, max([min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 6*-(Arg_0)*-(Arg_1)])])+max([0, Arg_1])), -2*(max([0, max([6*-(Arg_0)*-(Arg_1), max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1]))])]))])])]) {O(n^3)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in: max([0, 5*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in: max([0, max([4*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 4*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, 4*Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in: max([0, max([2*min([-(-6*-(Arg_0)*-(Arg_1)), -(-6*Arg_1*Arg_0)]), 2*max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16: max([0, 6*Arg_0]) {O(n)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in: max([0, 5*Arg_0]) {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3: 1 {O(1)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in: 1 {O(1)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in: 1 {O(1)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in: 1 {O(1)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in: 1 {O(1)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5: max([1, 1+max([6*-(Arg_0)*-(Arg_0), 6*Arg_0*Arg_0])]) {O(n^2)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in: max([1, 1+8*Arg_0]) {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in: 1 {O(1)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in: 1 {O(1)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7: max([0, 6*Arg_0*(max([6, 6*Arg_0])+max([0, 4*Arg_1]))])+max([0, max([0, 6*Arg_0])+max([0, 4*Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 17: evalnestedLoop7->evalnestedLoopbb6in: max([0, 6*Arg_0]) {O(n)} 74.12/61.74 74.12/61.74 18: evalnestedLoop7->evalnestedLoopbb6in: max([0, 8*Arg_0]) {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0: 1 {O(1)} 74.12/61.74 74.12/61.74 9: evalnestedLoopbb1in->evalnestedLoop4: max([1, 1+max([6*-(Arg_0)*-(Arg_0), 6*Arg_0*Arg_0])]) {O(n^2)} 74.12/61.74 74.12/61.74 14: evalnestedLoopbb2in->evalnestedLoop6: max([0, 6*Arg_0*(Arg_0+max([0, 8*Arg_1]))])+max([0, Arg_0+max([0, 8*Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 19: evalnestedLoopbb3in->evalnestedLoopbb4in: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 20: evalnestedLoopbb4in->evalnestedLoop10: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])+max([0, max([6*-(Arg_2)*-(Arg_1), 6*Arg_1*Arg_2])]) {O(n^2)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in: max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 26: evalnestedLoopbb6in->evalnestedLoop15: max([0, 6*Arg_0]) {O(n)} 74.12/61.74 74.12/61.74 29: evalnestedLoopbb7in->evalnestedLoopstop: 1 {O(1)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in: 1 {O(1)} 74.12/61.74 74.12/61.74 74.12/61.74 74.12/61.74 Sizebounds: 74.12/61.74 74.12/61.74 `Lower: 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_1: 1 {O(1)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_7: 1 {O(1)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_8: 1 {O(1)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_9: 0 {O(1)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_1: 1 {O(1)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_2: 1 {O(1)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_7: 1 {O(1)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_8: 1 {O(1)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_9: 0 {O(1)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_10: 1 {O(1)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_1: 1 {O(1)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_6: 1 {O(1)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_7: 1 {O(1)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_8: 1 {O(1)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_9: 0 {O(1)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_1: 1 {O(1)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_6: 1 {O(1)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_7: 1 {O(1)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_8: 1 {O(1)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_9: 0 {O(1)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_1: 0 {O(1)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_11: 1 {O(1)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_1: 0 {O(1)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_3: 1 {O(1)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_11: 1 {O(1)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_0: 0 {O(1)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_1: 0 {O(1)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_0: 0 {O(1)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_1: 0 {O(1)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_5: min([0, Arg_5]) {O(n)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_6: min([0, Arg_6]) {O(n)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_1: 0 {O(1)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_0: 0 {O(1)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_1: 0 {O(1)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_5: min([0, Arg_5]) {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_6: min([0, Arg_6]) {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_0: 0 {O(1)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_1: 0 {O(1)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_5: min([0, Arg_5]) {O(n)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_6: min([0, Arg_6]) {O(n)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_1: 0 {O(1)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_1: 1 {O(1)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_7: 1 {O(1)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_1: 0 {O(1)} 74.12/61.74 74.12/61.74 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_1: 0 {O(1)} 74.12/61.74 74.12/61.74 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_0: 0 {O(1)} 74.12/61.74 74.12/61.74 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_1: 0 {O(1)} 74.12/61.74 74.12/61.74 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_4: min([1, Arg_4]) {O(n)} 74.12/61.74 74.12/61.74 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_5: min([0, Arg_5]) {O(n)} 74.12/61.74 74.12/61.74 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_6: min([0, Arg_6]) {O(n)} 74.12/61.74 74.12/61.74 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_1: 0 {O(1)} 74.12/61.74 74.12/61.74 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_1: 1 {O(1)} 74.12/61.74 74.12/61.74 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_7: 1 {O(1)} 74.12/61.74 74.12/61.74 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_8: 1 {O(1)} 74.12/61.74 74.12/61.74 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_9: 0 {O(1)} 74.12/61.74 74.12/61.74 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_1: 1 {O(1)} 74.12/61.74 74.12/61.74 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_7: 1 {O(1)} 74.12/61.74 74.12/61.74 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_8: 1 {O(1)} 74.12/61.74 74.12/61.74 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_9: 0 {O(1)} 74.12/61.74 74.12/61.74 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_1: 1 {O(1)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_2: 1 {O(1)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_7: 1 {O(1)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_8: 1 {O(1)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_9: 1 {O(1)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_10: 1 {O(1)} 74.12/61.74 74.12/61.74 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_0: 1 {O(1)} 74.12/61.74 74.12/61.74 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_1: 0 {O(1)} 74.12/61.74 74.12/61.74 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_2: 0 {O(1)} 74.12/61.74 74.12/61.74 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_4: 1 {O(1)} 74.12/61.74 74.12/61.74 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_5: 0 {O(1)} 74.12/61.74 74.12/61.74 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_11: 1 {O(1)} 74.12/61.74 74.12/61.74 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_0: min([0, Arg_0]) {O(n)} 74.12/61.74 74.12/61.74 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_1: min([0, Arg_1]) {O(n)} 74.12/61.74 74.12/61.74 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_2: min([0, Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_3: min([0, Arg_3]) {O(n)} 74.12/61.74 74.12/61.74 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_5: min([0, Arg_5]) {O(n)} 74.12/61.74 74.12/61.74 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_6: min([0, Arg_6]) {O(n)} 74.12/61.74 74.12/61.74 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_8: min([1, Arg_8]) {O(n)} 74.12/61.74 74.12/61.74 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_9: min([0, Arg_9]) {O(n)} 74.12/61.74 74.12/61.74 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_11: min([1, Arg_11]) {O(n)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 `Upper: 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 2: evalnestedLoop0->evalnestedLoop1, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 3: evalnestedLoop1->evalnestedLoop2, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_8: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_9: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 21: evalnestedLoop10->evalnestedLoop11, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_8: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_9: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 22: evalnestedLoop11->evalnestedLoopbb5in, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_8: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_9: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_10: 0 {O(1)} 74.12/61.74 74.12/61.74 23: evalnestedLoop11->evalnestedLoopbb2in, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_8: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_9: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 24: evalnestedLoop11->evalnestedLoopbb2in, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 27: evalnestedLoop15->evalnestedLoop16, Arg_11: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 28: evalnestedLoop16->evalnestedLoopbb1in, Arg_11: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 4: evalnestedLoop2->evalnestedLoop3, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_3: 0 {O(1)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 5: evalnestedLoop3->evalnestedLoopbb1in, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_0: -1 {O(1)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 6: evalnestedLoop3->evalnestedLoopbb7in, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_1: -1 {O(1)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 7: evalnestedLoop3->evalnestedLoopbb7in, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_2: -1 {O(1)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_3: Arg_3 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_4: Arg_4 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_5: Arg_5 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_6: Arg_6 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_7: Arg_7 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_8: Arg_8 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_9: Arg_9 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_10: Arg_10 {O(n)} 74.12/61.74 74.12/61.74 8: evalnestedLoop3->evalnestedLoopbb7in, Arg_11: Arg_11 {O(n)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_5: max([Arg_5, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_6: max([Arg_6, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 10: evalnestedLoop4->evalnestedLoop5, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_6: 0 {O(1)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 11: evalnestedLoop5->evalnestedLoopbb2in, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_4: 0 {O(1)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_5: max([Arg_5, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_6: max([Arg_6, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 12: evalnestedLoop5->evalnestedLoopbb7in, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_5: max([Arg_5, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_6: max([Arg_6, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 13: evalnestedLoop5->evalnestedLoopbb7in, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_2: Arg_2 {O(n)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 15: evalnestedLoop6->evalnestedLoop7, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_0: Arg_0 {O(n)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_1: Arg_1 {O(n)} 74.12/61.74 74.12/61.74 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_2: Arg_2 {O(n)} 74.12/61.75 74.12/61.75 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.75 74.12/61.75 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.75 74.12/61.75 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 16: evalnestedLoop7->evalnestedLoopbb3in, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_0: Arg_0 {O(n)} 74.12/61.75 74.12/61.75 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_1: Arg_1 {O(n)} 74.12/61.75 74.12/61.75 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_2: Arg_2 {O(n)} 74.12/61.75 74.12/61.75 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.75 74.12/61.75 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_7: 0 {O(1)} 74.12/61.75 74.12/61.75 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.75 74.12/61.75 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 17: evalnestedLoop7->evalnestedLoopbb6in, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_0: Arg_0 {O(n)} 74.12/61.75 74.12/61.75 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_1: Arg_1 {O(n)} 74.12/61.75 74.12/61.75 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_2: Arg_2 {O(n)} 74.12/61.75 74.12/61.75 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.75 74.12/61.75 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.75 74.12/61.75 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 18: evalnestedLoop7->evalnestedLoopbb6in, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_0: Arg_0 {O(n)} 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_1: Arg_1 {O(n)} 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_2: Arg_2 {O(n)} 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_3: Arg_3 {O(n)} 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_4: Arg_4 {O(n)} 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_5: Arg_5 {O(n)} 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_6: Arg_6 {O(n)} 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_7: Arg_7 {O(n)} 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_8: Arg_8 {O(n)} 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_9: Arg_9 {O(n)} 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_10: Arg_10 {O(n)} 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in->evalnestedLoop0, Arg_11: Arg_11 {O(n)} 74.12/61.75 74.12/61.75 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_0: Arg_0 {O(n)} 74.12/61.75 74.12/61.75 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_1: Arg_1 {O(n)} 74.12/61.75 74.12/61.75 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_2: Arg_2 {O(n)} 74.12/61.75 74.12/61.75 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_5: max([Arg_5, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_6: max([Arg_6, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.75 74.12/61.75 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.75 74.12/61.75 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 9: evalnestedLoopbb1in->evalnestedLoop4, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_0: Arg_0 {O(n)} 74.12/61.75 74.12/61.75 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_1: Arg_1 {O(n)} 74.12/61.75 74.12/61.75 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_2: Arg_2 {O(n)} 74.12/61.75 74.12/61.75 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.75 74.12/61.75 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.75 74.12/61.75 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 14: evalnestedLoopbb2in->evalnestedLoop6, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_0: Arg_0 {O(n)} 74.12/61.75 74.12/61.75 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_1: Arg_1 {O(n)} 74.12/61.75 74.12/61.75 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_2: Arg_2 {O(n)} 74.12/61.75 74.12/61.75 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.75 74.12/61.75 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_8: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.75 74.12/61.75 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_9: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 19: evalnestedLoopbb3in->evalnestedLoopbb4in, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_0: Arg_0 {O(n)} 74.12/61.75 74.12/61.75 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_1: Arg_1 {O(n)} 74.12/61.75 74.12/61.75 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_2: Arg_2 {O(n)} 74.12/61.75 74.12/61.75 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.75 74.12/61.75 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_8: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.75 74.12/61.75 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_9: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 20: evalnestedLoopbb4in->evalnestedLoop10, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_0: Arg_0 {O(n)} 74.12/61.75 74.12/61.75 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_1: Arg_1 {O(n)} 74.12/61.75 74.12/61.75 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_2: Arg_2 {O(n)} 74.12/61.75 74.12/61.75 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.75 74.12/61.75 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_8: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.75 74.12/61.75 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_9: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 25: evalnestedLoopbb5in->evalnestedLoopbb4in, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_0: Arg_0 {O(n)} 74.12/61.75 74.12/61.75 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_1: Arg_1 {O(n)} 74.12/61.75 74.12/61.75 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_2: Arg_2 {O(n)} 74.12/61.75 74.12/61.75 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_3: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_5: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_6: max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1]) {O(n^2)} 74.12/61.75 74.12/61.75 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.75 74.12/61.75 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 26: evalnestedLoopbb6in->evalnestedLoop15, Arg_11: max([0, 6*Arg_0])+max([0, 6*Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_0: max([-1, Arg_0]) {O(n)} 74.12/61.75 74.12/61.75 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_1: max([-1, Arg_1]) {O(n)} 74.12/61.75 74.12/61.75 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_2: max([-1, Arg_2]) {O(n)} 74.12/61.75 74.12/61.75 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_3: max([Arg_3, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_5: max([Arg_5, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_6: max([Arg_6, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.75 74.12/61.75 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_8: max([Arg_8, max([0, max([6*-(Arg_0)*-(Arg_1), 6*Arg_1*Arg_0])])+max([0, Arg_1])]) {O(n^2)} 74.12/61.75 74.12/61.75 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_9: max([Arg_9, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 29: evalnestedLoopbb7in->evalnestedLoopstop, Arg_11: max([Arg_11, max([0, 6*Arg_0])+max([0, 6*Arg_2])]) {O(n)} 74.12/61.75 74.12/61.75 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_0: Arg_0 {O(n)} 74.12/61.75 74.12/61.75 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_1: Arg_1 {O(n)} 74.12/61.75 74.12/61.75 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_2: Arg_2 {O(n)} 74.12/61.75 74.12/61.75 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_3: Arg_3 {O(n)} 74.12/61.75 74.12/61.75 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_4: Arg_4 {O(n)} 74.12/61.75 74.12/61.75 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_5: Arg_5 {O(n)} 74.12/61.75 74.12/61.75 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_6: Arg_6 {O(n)} 74.12/61.75 74.12/61.75 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_7: Arg_7 {O(n)} 74.12/61.75 74.12/61.75 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_8: Arg_8 {O(n)} 74.12/61.75 74.12/61.75 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_9: Arg_9 {O(n)} 74.12/61.75 74.12/61.75 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_10: Arg_10 {O(n)} 74.12/61.75 74.12/61.75 0: evalnestedLoopstart->evalnestedLoopbb0in, Arg_11: Arg_11 {O(n)} 74.12/61.75 74.12/61.75 74.12/61.75 ---------------------------------------- 74.12/61.75 74.12/61.75 (2) 74.12/61.75 BOUNDS(1, max(6 * Arg_2 * max(6, 6 * Arg_1) + 6 * Arg_2 * max(min(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0, 0) + min(-2 * Arg_1, 0), min(-2 * Arg_1, 0) + min(-12 * Arg_0 * Arg_1, max(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0), 0), 0), min(6 * Arg_2 * max(min(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0, 0) + min(-2 * Arg_1, 0), min(-2 * Arg_1, 0) + min(max(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0), -12 * Arg_0 * Arg_1, 0), 0) + 6 * Arg_2 * max(6, 6 * Arg_1), 6 * Arg_2 * max(6, 6 * Arg_1) + 6 * Arg_2 * nat(min(min(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0, 0) + min(-2 * Arg_1, 0), min(-2 * Arg_1, 0) + min(max(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0), -12 * Arg_0 * Arg_1, 0)))), 6 * Arg_2 * max(6, 6 * Arg_1) + 6 * Arg_2 * nat(min(min(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0, 0) + min(-2 * Arg_1, 0), min(-2 * Arg_1, 0) + min(max(-12 * Arg_0 * Arg_1, -12 * Arg_1 * Arg_0), -12 * Arg_0 * Arg_1, 0))), 0) + nat(5 * Arg_0) + max(2, 2 + 36 * Arg_0 * Arg_1, 2 + 36 * Arg_1 * Arg_0, min(2 + 36 * Arg_1 * Arg_0, 2 + 36 * Arg_0 * Arg_1)) + nat(6 * Arg_1) + nat(8 * Arg_1) + nat(6 * Arg_0 * nat(8 * Arg_1) + 6 * Arg_0^2) + nat(5 * Arg_2) + max(10, 10 + 6 * Arg_0) + nat(6 * Arg_2) + max(6 * Arg_1 * Arg_2, 6 * Arg_2 * Arg_1, 0) + max(2, 2 + 12 * Arg_0^2) + nat(8 * Arg_0) + max(min(12 * Arg_1 * Arg_0, 12 * Arg_0 * Arg_1), 0, 12 * Arg_1 * Arg_0, 12 * Arg_0 * Arg_1) + nat(12 * Arg_0) + max(18 * Arg_1 * Arg_0, 18 * Arg_0 * Arg_1, 0) + nat(nat(6 * Arg_0) + nat(4 * Arg_1)) + nat(6 * Arg_0 * max(6, 6 * Arg_0) + 6 * Arg_0 * nat(4 * Arg_1)) + max(1, 1 + 8 * Arg_0) + max(min(24 * Arg_1 * Arg_0, 24 * Arg_0 * Arg_1), 24 * Arg_0 * Arg_1, 24 * Arg_1 * Arg_0, 0) + nat(Arg_0 + nat(8 * Arg_1))) 74.12/61.75 74.12/61.75 ---------------------------------------- 74.12/61.75 74.12/61.75 (3) Loat Proof (FINISHED) 74.12/61.75 74.12/61.75 74.12/61.75 ### Pre-processing the ITS problem ### 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Initial linear ITS problem 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 0: evalnestedLoopstart -> evalnestedLoopbb0in : [], cost: 1 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in -> evalnestedLoop0 : [], cost: 1 74.12/61.75 74.12/61.75 2: evalnestedLoop0 -> evalnestedLoop1 : [], cost: 1 74.12/61.75 74.12/61.75 3: evalnestedLoop1 -> evalnestedLoop2 : [], cost: 1 74.12/61.75 74.12/61.75 4: evalnestedLoop2 -> evalnestedLoop3 : [], cost: 1 74.12/61.75 74.12/61.75 5: evalnestedLoop3 -> evalnestedLoopbb1in : D'=0, [ A>=0 && B>=0 && C>=0 ], cost: 1 74.12/61.75 74.12/61.75 6: evalnestedLoop3 -> evalnestedLoopbb7in : [ 0>=1+A ], cost: 1 74.12/61.75 74.12/61.75 7: evalnestedLoop3 -> evalnestedLoopbb7in : [ 0>=1+B ], cost: 1 74.12/61.75 74.12/61.75 8: evalnestedLoop3 -> evalnestedLoopbb7in : [ 0>=1+C ], cost: 1 74.12/61.75 74.12/61.75 9: evalnestedLoopbb1in -> evalnestedLoop4 : [], cost: 1 74.12/61.75 74.12/61.75 10: evalnestedLoop4 -> evalnestedLoop5 : E'=free, [], cost: 1 74.12/61.75 74.12/61.75 11: evalnestedLoop5 -> evalnestedLoopbb2in : F'=D, G'=0, [ E>=1 && A>=1+D ], cost: 1 74.12/61.75 74.12/61.75 12: evalnestedLoop5 -> evalnestedLoopbb7in : [ 0>=E ], cost: 1 74.12/61.75 74.12/61.75 13: evalnestedLoop5 -> evalnestedLoopbb7in : [ D>=A ], cost: 1 74.12/61.75 74.12/61.75 14: evalnestedLoopbb2in -> evalnestedLoop6 : [], cost: 1 74.12/61.75 74.12/61.75 15: evalnestedLoop6 -> evalnestedLoop7 : H'=free_1, [], cost: 1 74.12/61.75 74.12/61.75 16: evalnestedLoop7 -> evalnestedLoopbb3in : [ H>=1 && B>=1+G ], cost: 1 74.12/61.75 74.12/61.75 17: evalnestedLoop7 -> evalnestedLoopbb6in : [ 0>=H ], cost: 1 74.12/61.75 74.12/61.75 18: evalnestedLoop7 -> evalnestedLoopbb6in : [ G>=B ], cost: 1 74.12/61.75 74.12/61.75 19: evalnestedLoopbb3in -> evalnestedLoopbb4in : Q'=1+G, J'=F, [], cost: 1 74.12/61.75 74.12/61.75 20: evalnestedLoopbb4in -> evalnestedLoop10 : [], cost: 1 74.12/61.75 74.12/61.75 21: evalnestedLoop10 -> evalnestedLoop11 : K'=free_2, [], cost: 1 74.12/61.75 74.12/61.75 22: evalnestedLoop11 -> evalnestedLoopbb5in : [ K>=1 && C>=1+J ], cost: 1 74.12/61.75 74.12/61.75 23: evalnestedLoop11 -> evalnestedLoopbb2in : F'=J, G'=Q, [ 0>=K ], cost: 1 74.12/61.75 74.12/61.75 24: evalnestedLoop11 -> evalnestedLoopbb2in : F'=J, G'=Q, [ J>=C ], cost: 1 74.12/61.75 74.12/61.75 25: evalnestedLoopbb5in -> evalnestedLoopbb4in : J'=1+J, [], cost: 1 74.12/61.75 74.12/61.75 26: evalnestedLoopbb6in -> evalnestedLoop15 : L'=1+F, [], cost: 1 74.12/61.75 74.12/61.75 27: evalnestedLoop15 -> evalnestedLoop16 : [], cost: 1 74.12/61.75 74.12/61.75 28: evalnestedLoop16 -> evalnestedLoopbb1in : D'=L, [], cost: 1 74.12/61.75 74.12/61.75 29: evalnestedLoopbb7in -> evalnestedLoopstop : [], cost: 1 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Removed unreachable and leaf rules: 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 0: evalnestedLoopstart -> evalnestedLoopbb0in : [], cost: 1 74.12/61.75 74.12/61.75 1: evalnestedLoopbb0in -> evalnestedLoop0 : [], cost: 1 74.12/61.75 74.12/61.75 2: evalnestedLoop0 -> evalnestedLoop1 : [], cost: 1 74.12/61.75 74.12/61.75 3: evalnestedLoop1 -> evalnestedLoop2 : [], cost: 1 74.12/61.75 74.12/61.75 4: evalnestedLoop2 -> evalnestedLoop3 : [], cost: 1 74.12/61.75 74.12/61.75 5: evalnestedLoop3 -> evalnestedLoopbb1in : D'=0, [ A>=0 && B>=0 && C>=0 ], cost: 1 74.12/61.75 74.12/61.75 9: evalnestedLoopbb1in -> evalnestedLoop4 : [], cost: 1 74.12/61.75 74.12/61.75 10: evalnestedLoop4 -> evalnestedLoop5 : E'=free, [], cost: 1 74.12/61.75 74.12/61.75 11: evalnestedLoop5 -> evalnestedLoopbb2in : F'=D, G'=0, [ E>=1 && A>=1+D ], cost: 1 74.12/61.75 74.12/61.75 14: evalnestedLoopbb2in -> evalnestedLoop6 : [], cost: 1 74.12/61.75 74.12/61.75 15: evalnestedLoop6 -> evalnestedLoop7 : H'=free_1, [], cost: 1 74.12/61.75 74.12/61.75 16: evalnestedLoop7 -> evalnestedLoopbb3in : [ H>=1 && B>=1+G ], cost: 1 74.12/61.75 74.12/61.75 17: evalnestedLoop7 -> evalnestedLoopbb6in : [ 0>=H ], cost: 1 74.12/61.75 74.12/61.75 18: evalnestedLoop7 -> evalnestedLoopbb6in : [ G>=B ], cost: 1 74.12/61.75 74.12/61.75 19: evalnestedLoopbb3in -> evalnestedLoopbb4in : Q'=1+G, J'=F, [], cost: 1 74.12/61.75 74.12/61.75 20: evalnestedLoopbb4in -> evalnestedLoop10 : [], cost: 1 74.12/61.75 74.12/61.75 21: evalnestedLoop10 -> evalnestedLoop11 : K'=free_2, [], cost: 1 74.12/61.75 74.12/61.75 22: evalnestedLoop11 -> evalnestedLoopbb5in : [ K>=1 && C>=1+J ], cost: 1 74.12/61.75 74.12/61.75 23: evalnestedLoop11 -> evalnestedLoopbb2in : F'=J, G'=Q, [ 0>=K ], cost: 1 74.12/61.75 74.12/61.75 24: evalnestedLoop11 -> evalnestedLoopbb2in : F'=J, G'=Q, [ J>=C ], cost: 1 74.12/61.75 74.12/61.75 25: evalnestedLoopbb5in -> evalnestedLoopbb4in : J'=1+J, [], cost: 1 74.12/61.75 74.12/61.75 26: evalnestedLoopbb6in -> evalnestedLoop15 : L'=1+F, [], cost: 1 74.12/61.75 74.12/61.75 27: evalnestedLoop15 -> evalnestedLoop16 : [], cost: 1 74.12/61.75 74.12/61.75 28: evalnestedLoop16 -> evalnestedLoopbb1in : D'=L, [], cost: 1 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 ### Simplification by acceleration and chaining ### 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Eliminated locations (on linear paths): 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 34: evalnestedLoopstart -> evalnestedLoopbb1in : D'=0, [ A>=0 && B>=0 && C>=0 ], cost: 6 74.12/61.75 74.12/61.75 36: evalnestedLoopbb1in -> evalnestedLoopbb2in : E'=free, F'=D, G'=0, [ free>=1 && A>=1+D ], cost: 3 74.12/61.75 74.12/61.75 37: evalnestedLoopbb2in -> evalnestedLoop7 : H'=free_1, [], cost: 2 74.12/61.75 74.12/61.75 17: evalnestedLoop7 -> evalnestedLoopbb6in : [ 0>=H ], cost: 1 74.12/61.75 74.12/61.75 18: evalnestedLoop7 -> evalnestedLoopbb6in : [ G>=B ], cost: 1 74.12/61.75 74.12/61.75 38: evalnestedLoop7 -> evalnestedLoopbb4in : Q'=1+G, J'=F, [ H>=1 && B>=1+G ], cost: 2 74.12/61.75 74.12/61.75 39: evalnestedLoopbb4in -> evalnestedLoop11 : K'=free_2, [], cost: 2 74.12/61.75 74.12/61.75 23: evalnestedLoop11 -> evalnestedLoopbb2in : F'=J, G'=Q, [ 0>=K ], cost: 1 74.12/61.75 74.12/61.75 24: evalnestedLoop11 -> evalnestedLoopbb2in : F'=J, G'=Q, [ J>=C ], cost: 1 74.12/61.75 74.12/61.75 40: evalnestedLoop11 -> evalnestedLoopbb4in : J'=1+J, [ K>=1 && C>=1+J ], cost: 2 74.12/61.75 74.12/61.75 42: evalnestedLoopbb6in -> evalnestedLoopbb1in : D'=1+F, L'=1+F, [], cost: 3 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Eliminated locations (on tree-shaped paths): 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 34: evalnestedLoopstart -> evalnestedLoopbb1in : D'=0, [ A>=0 && B>=0 && C>=0 ], cost: 6 74.12/61.75 74.12/61.75 36: evalnestedLoopbb1in -> evalnestedLoopbb2in : E'=free, F'=D, G'=0, [ free>=1 && A>=1+D ], cost: 3 74.12/61.75 74.12/61.75 43: evalnestedLoopbb2in -> evalnestedLoopbb6in : H'=free_1, [ 0>=free_1 ], cost: 3 74.12/61.75 74.12/61.75 44: evalnestedLoopbb2in -> evalnestedLoopbb6in : H'=free_1, [ G>=B ], cost: 3 74.12/61.75 74.12/61.75 45: evalnestedLoopbb2in -> evalnestedLoopbb4in : H'=free_1, Q'=1+G, J'=F, [ free_1>=1 && B>=1+G ], cost: 4 74.12/61.75 74.12/61.75 46: evalnestedLoopbb4in -> evalnestedLoopbb2in : F'=J, G'=Q, K'=free_2, [ 0>=free_2 ], cost: 3 74.12/61.75 74.12/61.75 47: evalnestedLoopbb4in -> evalnestedLoopbb2in : F'=J, G'=Q, K'=free_2, [ J>=C ], cost: 3 74.12/61.75 74.12/61.75 48: evalnestedLoopbb4in -> evalnestedLoopbb4in : J'=1+J, K'=free_2, [ free_2>=1 && C>=1+J ], cost: 4 74.12/61.75 74.12/61.75 42: evalnestedLoopbb6in -> evalnestedLoopbb1in : D'=1+F, L'=1+F, [], cost: 3 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Accelerating simple loops of location 13. 74.12/61.75 74.12/61.75 Accelerating the following rules: 74.12/61.75 74.12/61.75 48: evalnestedLoopbb4in -> evalnestedLoopbb4in : J'=1+J, K'=free_2, [ free_2>=1 && C>=1+J ], cost: 4 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Accelerated rule 48 with metering function C-J, yielding the new rule 49. 74.12/61.75 74.12/61.75 Removing the simple loops: 48. 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Accelerated all simple loops using metering functions (where possible): 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 34: evalnestedLoopstart -> evalnestedLoopbb1in : D'=0, [ A>=0 && B>=0 && C>=0 ], cost: 6 74.12/61.75 74.12/61.75 36: evalnestedLoopbb1in -> evalnestedLoopbb2in : E'=free, F'=D, G'=0, [ free>=1 && A>=1+D ], cost: 3 74.12/61.75 74.12/61.75 43: evalnestedLoopbb2in -> evalnestedLoopbb6in : H'=free_1, [ 0>=free_1 ], cost: 3 74.12/61.75 74.12/61.75 44: evalnestedLoopbb2in -> evalnestedLoopbb6in : H'=free_1, [ G>=B ], cost: 3 74.12/61.75 74.12/61.75 45: evalnestedLoopbb2in -> evalnestedLoopbb4in : H'=free_1, Q'=1+G, J'=F, [ free_1>=1 && B>=1+G ], cost: 4 74.12/61.75 74.12/61.75 46: evalnestedLoopbb4in -> evalnestedLoopbb2in : F'=J, G'=Q, K'=free_2, [ 0>=free_2 ], cost: 3 74.12/61.75 74.12/61.75 47: evalnestedLoopbb4in -> evalnestedLoopbb2in : F'=J, G'=Q, K'=free_2, [ J>=C ], cost: 3 74.12/61.75 74.12/61.75 49: evalnestedLoopbb4in -> evalnestedLoopbb4in : J'=C, K'=free_2, [ free_2>=1 && C>=1+J ], cost: 4*C-4*J 74.12/61.75 74.12/61.75 42: evalnestedLoopbb6in -> evalnestedLoopbb1in : D'=1+F, L'=1+F, [], cost: 3 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Chained accelerated rules (with incoming rules): 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 34: evalnestedLoopstart -> evalnestedLoopbb1in : D'=0, [ A>=0 && B>=0 && C>=0 ], cost: 6 74.12/61.75 74.12/61.75 36: evalnestedLoopbb1in -> evalnestedLoopbb2in : E'=free, F'=D, G'=0, [ free>=1 && A>=1+D ], cost: 3 74.12/61.75 74.12/61.75 43: evalnestedLoopbb2in -> evalnestedLoopbb6in : H'=free_1, [ 0>=free_1 ], cost: 3 74.12/61.75 74.12/61.75 44: evalnestedLoopbb2in -> evalnestedLoopbb6in : H'=free_1, [ G>=B ], cost: 3 74.12/61.75 74.12/61.75 45: evalnestedLoopbb2in -> evalnestedLoopbb4in : H'=free_1, Q'=1+G, J'=F, [ free_1>=1 && B>=1+G ], cost: 4 74.12/61.75 74.12/61.75 50: evalnestedLoopbb2in -> evalnestedLoopbb4in : H'=free_1, Q'=1+G, J'=C, K'=free_2, [ free_1>=1 && B>=1+G && free_2>=1 && C>=1+F ], cost: 4-4*F+4*C 74.12/61.75 74.12/61.75 46: evalnestedLoopbb4in -> evalnestedLoopbb2in : F'=J, G'=Q, K'=free_2, [ 0>=free_2 ], cost: 3 74.12/61.75 74.12/61.75 47: evalnestedLoopbb4in -> evalnestedLoopbb2in : F'=J, G'=Q, K'=free_2, [ J>=C ], cost: 3 74.12/61.75 74.12/61.75 42: evalnestedLoopbb6in -> evalnestedLoopbb1in : D'=1+F, L'=1+F, [], cost: 3 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Eliminated locations (on tree-shaped paths): 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 34: evalnestedLoopstart -> evalnestedLoopbb1in : D'=0, [ A>=0 && B>=0 && C>=0 ], cost: 6 74.12/61.75 74.12/61.75 36: evalnestedLoopbb1in -> evalnestedLoopbb2in : E'=free, F'=D, G'=0, [ free>=1 && A>=1+D ], cost: 3 74.12/61.75 74.12/61.75 51: evalnestedLoopbb2in -> evalnestedLoopbb2in : F'=F, G'=1+G, H'=free_1, Q'=1+G, J'=F, K'=free_2, [ free_1>=1 && B>=1+G && 0>=free_2 ], cost: 7 74.12/61.75 74.12/61.75 52: evalnestedLoopbb2in -> evalnestedLoopbb2in : F'=F, G'=1+G, H'=free_1, Q'=1+G, J'=F, K'=free_2, [ free_1>=1 && B>=1+G && F>=C ], cost: 7 74.12/61.75 74.12/61.75 53: evalnestedLoopbb2in -> evalnestedLoopbb2in : F'=C, G'=1+G, H'=free_1, Q'=1+G, J'=C, K'=free_2, [ free_1>=1 && B>=1+G && free_2>=1 && C>=1+F ], cost: 7-4*F+4*C 74.12/61.75 74.12/61.75 54: evalnestedLoopbb2in -> [23] : [ free_1>=1 && B>=1+G && free_2>=1 && C>=1+F ], cost: 4-4*F+4*C 74.12/61.75 74.12/61.75 55: evalnestedLoopbb2in -> evalnestedLoopbb1in : D'=1+F, H'=free_1, L'=1+F, [ 0>=free_1 ], cost: 6 74.12/61.75 74.12/61.75 56: evalnestedLoopbb2in -> evalnestedLoopbb1in : D'=1+F, H'=free_1, L'=1+F, [ G>=B ], cost: 6 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Accelerating simple loops of location 9. 74.12/61.75 74.12/61.75 Simplified some of the simple loops (and removed duplicate rules). 74.12/61.75 74.12/61.75 Accelerating the following rules: 74.12/61.75 74.12/61.75 51: evalnestedLoopbb2in -> evalnestedLoopbb2in : G'=1+G, H'=free_1, Q'=1+G, J'=F, K'=free_2, [ free_1>=1 && B>=1+G && 0>=free_2 ], cost: 7 74.12/61.75 74.12/61.75 52: evalnestedLoopbb2in -> evalnestedLoopbb2in : G'=1+G, H'=free_1, Q'=1+G, J'=F, K'=free_2, [ free_1>=1 && B>=1+G && F>=C ], cost: 7 74.12/61.75 74.12/61.75 53: evalnestedLoopbb2in -> evalnestedLoopbb2in : F'=C, G'=1+G, H'=free_1, Q'=1+G, J'=C, K'=free_2, [ free_1>=1 && B>=1+G && free_2>=1 && C>=1+F ], cost: 7-4*F+4*C 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Accelerated rule 51 with metering function -G+B, yielding the new rule 57. 74.12/61.75 74.12/61.75 Accelerated rule 52 with metering function -G+B, yielding the new rule 58. 74.12/61.75 74.12/61.75 Found no metering function for rule 53. 74.12/61.75 74.12/61.75 Removing the simple loops: 51 52. 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Accelerated all simple loops using metering functions (where possible): 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 34: evalnestedLoopstart -> evalnestedLoopbb1in : D'=0, [ A>=0 && B>=0 && C>=0 ], cost: 6 74.12/61.75 74.12/61.75 36: evalnestedLoopbb1in -> evalnestedLoopbb2in : E'=free, F'=D, G'=0, [ free>=1 && A>=1+D ], cost: 3 74.12/61.75 74.12/61.75 53: evalnestedLoopbb2in -> evalnestedLoopbb2in : F'=C, G'=1+G, H'=free_1, Q'=1+G, J'=C, K'=free_2, [ free_1>=1 && B>=1+G && free_2>=1 && C>=1+F ], cost: 7-4*F+4*C 74.12/61.75 74.12/61.75 54: evalnestedLoopbb2in -> [23] : [ free_1>=1 && B>=1+G && free_2>=1 && C>=1+F ], cost: 4-4*F+4*C 74.12/61.75 74.12/61.75 55: evalnestedLoopbb2in -> evalnestedLoopbb1in : D'=1+F, H'=free_1, L'=1+F, [ 0>=free_1 ], cost: 6 74.12/61.75 74.12/61.75 56: evalnestedLoopbb2in -> evalnestedLoopbb1in : D'=1+F, H'=free_1, L'=1+F, [ G>=B ], cost: 6 74.12/61.75 74.12/61.75 57: evalnestedLoopbb2in -> evalnestedLoopbb2in : G'=B, H'=free_1, Q'=B, J'=F, K'=free_2, [ free_1>=1 && B>=1+G && 0>=free_2 ], cost: -7*G+7*B 74.12/61.75 74.12/61.75 58: evalnestedLoopbb2in -> evalnestedLoopbb2in : G'=B, H'=free_1, Q'=B, J'=F, K'=free_2, [ free_1>=1 && B>=1+G && F>=C ], cost: -7*G+7*B 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Chained accelerated rules (with incoming rules): 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 34: evalnestedLoopstart -> evalnestedLoopbb1in : D'=0, [ A>=0 && B>=0 && C>=0 ], cost: 6 74.12/61.75 74.12/61.75 36: evalnestedLoopbb1in -> evalnestedLoopbb2in : E'=free, F'=D, G'=0, [ free>=1 && A>=1+D ], cost: 3 74.12/61.75 74.12/61.75 59: evalnestedLoopbb1in -> evalnestedLoopbb2in : E'=free, F'=C, G'=1, H'=free_1, Q'=1, J'=C, K'=free_2, [ free>=1 && A>=1+D && free_1>=1 && B>=1 && free_2>=1 && C>=1+D ], cost: 10+4*C-4*D 74.12/61.75 74.12/61.75 60: evalnestedLoopbb1in -> evalnestedLoopbb2in : E'=free, F'=D, G'=B, H'=free_1, Q'=B, J'=D, K'=free_2, [ free>=1 && A>=1+D && free_1>=1 && B>=1 && 0>=free_2 ], cost: 3+7*B 74.12/61.75 74.12/61.75 61: evalnestedLoopbb1in -> evalnestedLoopbb2in : E'=free, F'=D, G'=B, H'=free_1, Q'=B, J'=D, K'=free_2, [ free>=1 && A>=1+D && free_1>=1 && B>=1 && D>=C ], cost: 3+7*B 74.12/61.75 74.12/61.75 54: evalnestedLoopbb2in -> [23] : [ free_1>=1 && B>=1+G && free_2>=1 && C>=1+F ], cost: 4-4*F+4*C 74.12/61.75 74.12/61.75 55: evalnestedLoopbb2in -> evalnestedLoopbb1in : D'=1+F, H'=free_1, L'=1+F, [ 0>=free_1 ], cost: 6 74.12/61.75 74.12/61.75 56: evalnestedLoopbb2in -> evalnestedLoopbb1in : D'=1+F, H'=free_1, L'=1+F, [ G>=B ], cost: 6 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Eliminated locations (on tree-shaped paths): 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 34: evalnestedLoopstart -> evalnestedLoopbb1in : D'=0, [ A>=0 && B>=0 && C>=0 ], cost: 6 74.12/61.75 74.12/61.75 62: evalnestedLoopbb1in -> [23] : E'=free, F'=D, G'=0, [ free>=1 && A>=1+D && free_1>=1 && B>=1 && free_2>=1 && C>=1+D ], cost: 7+4*C-4*D 74.12/61.75 74.12/61.75 63: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=1+D, E'=free, F'=D, G'=0, H'=free_1, L'=1+D, [ free>=1 && A>=1+D && 0>=free_1 ], cost: 9 74.12/61.75 74.12/61.75 64: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=1+D, E'=free, F'=D, G'=0, H'=free_1, L'=1+D, [ free>=1 && A>=1+D && 0>=B ], cost: 9 74.12/61.75 74.12/61.75 65: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=1+C, E'=free, F'=C, G'=1, H'=free_1, Q'=1, J'=C, K'=free_2, L'=1+C, [ free>=1 && A>=1+D && free_1>=1 && B>=1 && free_2>=1 && C>=1+D && 1>=B ], cost: 16+4*C-4*D 74.12/61.75 74.12/61.75 66: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=1+D, E'=free, F'=D, G'=B, H'=free_1, Q'=B, J'=D, K'=free_2, L'=1+D, [ free>=1 && A>=1+D && free_1>=1 && B>=1 && 0>=free_2 ], cost: 9+7*B 74.12/61.75 74.12/61.75 67: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=1+D, E'=free, F'=D, G'=B, H'=free_1, Q'=B, J'=D, K'=free_2, L'=1+D, [ free>=1 && A>=1+D && free_1>=1 && B>=1 && D>=C ], cost: 9+7*B 74.12/61.75 74.12/61.75 68: evalnestedLoopbb1in -> [25] : [ free>=1 && A>=1+D && free_1>=1 && B>=1 && free_2>=1 && C>=1+D ], cost: 10+4*C-4*D 74.12/61.75 74.12/61.75 69: evalnestedLoopbb1in -> [25] : [ free>=1 && A>=1+D && free_1>=1 && B>=1 && 0>=free_2 ], cost: 3+7*B 74.12/61.75 74.12/61.75 70: evalnestedLoopbb1in -> [25] : [ free>=1 && A>=1+D && free_1>=1 && B>=1 && D>=C ], cost: 3+7*B 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Accelerating simple loops of location 6. 74.12/61.75 74.12/61.75 Simplified some of the simple loops (and removed duplicate rules). 74.12/61.75 74.12/61.75 Accelerating the following rules: 74.12/61.75 74.12/61.75 63: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=1+D, E'=free, F'=D, G'=0, H'=free_1, L'=1+D, [ free>=1 && A>=1+D && 0>=free_1 ], cost: 9 74.12/61.75 74.12/61.75 64: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=1+D, E'=free, F'=D, G'=0, H'=free_1, L'=1+D, [ free>=1 && A>=1+D && 0>=B ], cost: 9 74.12/61.75 74.12/61.75 65: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=1+C, E'=free, F'=C, G'=1, H'=free_1, Q'=1, J'=C, K'=free_2, L'=1+C, [ free>=1 && A>=1+D && free_1>=1 && 1-B==0 && free_2>=1 && C>=1+D ], cost: 16+4*C-4*D 74.12/61.75 74.12/61.75 66: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=1+D, E'=free, F'=D, G'=B, H'=free_1, Q'=B, J'=D, K'=free_2, L'=1+D, [ free>=1 && A>=1+D && free_1>=1 && B>=1 && 0>=free_2 ], cost: 9+7*B 74.12/61.75 74.12/61.75 67: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=1+D, E'=free, F'=D, G'=B, H'=free_1, Q'=B, J'=D, K'=free_2, L'=1+D, [ free>=1 && A>=1+D && free_1>=1 && B>=1 && D>=C ], cost: 9+7*B 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Accelerated rule 63 with metering function -D+A, yielding the new rule 71. 74.12/61.75 74.12/61.75 Accelerated rule 64 with metering function -D+A, yielding the new rule 72. 74.12/61.75 74.12/61.75 Found no metering function for rule 65. 74.12/61.75 74.12/61.75 Accelerated rule 66 with metering function -D+A, yielding the new rule 73. 74.12/61.75 74.12/61.75 Accelerated rule 67 with metering function -D+A, yielding the new rule 74. 74.12/61.75 74.12/61.75 Removing the simple loops: 63 64 66 67. 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Accelerated all simple loops using metering functions (where possible): 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 34: evalnestedLoopstart -> evalnestedLoopbb1in : D'=0, [ A>=0 && B>=0 && C>=0 ], cost: 6 74.12/61.75 74.12/61.75 62: evalnestedLoopbb1in -> [23] : E'=free, F'=D, G'=0, [ free>=1 && A>=1+D && free_1>=1 && B>=1 && free_2>=1 && C>=1+D ], cost: 7+4*C-4*D 74.12/61.75 74.12/61.75 65: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=1+C, E'=free, F'=C, G'=1, H'=free_1, Q'=1, J'=C, K'=free_2, L'=1+C, [ free>=1 && A>=1+D && free_1>=1 && 1-B==0 && free_2>=1 && C>=1+D ], cost: 16+4*C-4*D 74.12/61.75 74.12/61.75 68: evalnestedLoopbb1in -> [25] : [ free>=1 && A>=1+D && free_1>=1 && B>=1 && free_2>=1 && C>=1+D ], cost: 10+4*C-4*D 74.12/61.75 74.12/61.75 69: evalnestedLoopbb1in -> [25] : [ free>=1 && A>=1+D && free_1>=1 && B>=1 && 0>=free_2 ], cost: 3+7*B 74.12/61.75 74.12/61.75 70: evalnestedLoopbb1in -> [25] : [ free>=1 && A>=1+D && free_1>=1 && B>=1 && D>=C ], cost: 3+7*B 74.12/61.75 74.12/61.75 71: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=A, E'=free, F'=-1+A, G'=0, H'=free_1, L'=A, [ free>=1 && A>=1+D && 0>=free_1 ], cost: -9*D+9*A 74.12/61.75 74.12/61.75 72: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=A, E'=free, F'=-1+A, G'=0, H'=free_1, L'=A, [ free>=1 && A>=1+D && 0>=B ], cost: -9*D+9*A 74.12/61.75 74.12/61.75 73: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=A, E'=free, F'=-1+A, G'=B, H'=free_1, Q'=B, J'=-1+A, K'=free_2, L'=A, [ free>=1 && A>=1+D && free_1>=1 && B>=1 && 0>=free_2 ], cost: -7*(D-A)*B-9*D+9*A 74.12/61.75 74.12/61.75 74: evalnestedLoopbb1in -> evalnestedLoopbb1in : D'=A, E'=free, F'=-1+A, G'=B, H'=free_1, Q'=B, J'=-1+A, K'=free_2, L'=A, [ free>=1 && A>=1+D && free_1>=1 && B>=1 && D>=C ], cost: -7*(D-A)*B-9*D+9*A 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Chained accelerated rules (with incoming rules): 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 34: evalnestedLoopstart -> evalnestedLoopbb1in : D'=0, [ A>=0 && B>=0 && C>=0 ], cost: 6 74.12/61.75 74.12/61.75 75: evalnestedLoopstart -> evalnestedLoopbb1in : D'=1+C, E'=free, F'=C, G'=1, H'=free_1, Q'=1, J'=C, K'=free_2, L'=1+C, [ free>=1 && A>=1 && free_1>=1 && 1-B==0 && free_2>=1 && C>=1 ], cost: 22+4*C 74.12/61.75 74.12/61.75 76: evalnestedLoopstart -> evalnestedLoopbb1in : D'=A, E'=free, F'=-1+A, G'=0, H'=free_1, L'=A, [ B>=0 && C>=0 && free>=1 && A>=1 && 0>=free_1 ], cost: 6+9*A 74.12/61.75 74.12/61.75 77: evalnestedLoopstart -> evalnestedLoopbb1in : D'=A, E'=free, F'=-1+A, G'=0, H'=free_1, L'=A, [ -B==0 && C>=0 && free>=1 && A>=1 ], cost: 6+9*A 74.12/61.75 74.12/61.75 78: evalnestedLoopstart -> evalnestedLoopbb1in : D'=A, E'=free, F'=-1+A, G'=B, H'=free_1, Q'=B, J'=-1+A, K'=free_2, L'=A, [ C>=0 && free>=1 && A>=1 && free_1>=1 && B>=1 && 0>=free_2 ], cost: 6+9*A+7*A*B 74.12/61.75 74.12/61.75 79: evalnestedLoopstart -> evalnestedLoopbb1in : D'=A, E'=free, F'=-1+A, G'=B, H'=free_1, Q'=B, J'=-1+A, K'=free_2, L'=A, [ -C==0 && free>=1 && A>=1 && free_1>=1 && B>=1 ], cost: 6+9*A+7*A*B 74.12/61.75 74.12/61.75 62: evalnestedLoopbb1in -> [23] : E'=free, F'=D, G'=0, [ free>=1 && A>=1+D && free_1>=1 && B>=1 && free_2>=1 && C>=1+D ], cost: 7+4*C-4*D 74.12/61.75 74.12/61.75 68: evalnestedLoopbb1in -> [25] : [ free>=1 && A>=1+D && free_1>=1 && B>=1 && free_2>=1 && C>=1+D ], cost: 10+4*C-4*D 74.12/61.75 74.12/61.75 69: evalnestedLoopbb1in -> [25] : [ free>=1 && A>=1+D && free_1>=1 && B>=1 && 0>=free_2 ], cost: 3+7*B 74.12/61.75 74.12/61.75 70: evalnestedLoopbb1in -> [25] : [ free>=1 && A>=1+D && free_1>=1 && B>=1 && D>=C ], cost: 3+7*B 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Eliminated locations (on tree-shaped paths): 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 80: evalnestedLoopstart -> [23] : D'=0, E'=free, F'=0, G'=0, [ free>=1 && A>=1 && free_1>=1 && B>=1 && free_2>=1 && C>=1 ], cost: 13+4*C 74.12/61.75 74.12/61.75 81: evalnestedLoopstart -> [25] : D'=0, [ free>=1 && A>=1 && free_1>=1 && B>=1 && free_2>=1 && C>=1 ], cost: 16+4*C 74.12/61.75 74.12/61.75 82: evalnestedLoopstart -> [25] : D'=0, [ C>=0 && free>=1 && A>=1 && free_1>=1 && B>=1 && 0>=free_2 ], cost: 9+7*B 74.12/61.75 74.12/61.75 83: evalnestedLoopstart -> [25] : D'=0, [ C>=0 && free>=1 && A>=1 && free_1>=1 && B>=1 && 0>=C ], cost: 9+7*B 74.12/61.75 74.12/61.75 84: evalnestedLoopstart -> [25] : D'=1+C, E'=free, F'=C, G'=1, H'=free_1, Q'=1, J'=C, K'=free_2, L'=1+C, [ free>=1 && A>=1 && free_1>=1 && 1-B==0 && free_2>=1 && C>=1 && A>=2+C ], cost: 25+4*C+7*B 74.12/61.75 74.12/61.75 85: evalnestedLoopstart -> [27] : [ free>=1 && A>=1 && free_1>=1 && 1-B==0 && free_2>=1 && C>=1 ], cost: 22+4*C 74.12/61.75 74.12/61.75 86: evalnestedLoopstart -> [27] : [ B>=0 && C>=0 && free>=1 && A>=1 && 0>=free_1 ], cost: 6+9*A 74.12/61.75 74.12/61.75 87: evalnestedLoopstart -> [27] : [ -B==0 && C>=0 && free>=1 && A>=1 ], cost: 6+9*A 74.12/61.75 74.12/61.75 88: evalnestedLoopstart -> [27] : [ C>=0 && free>=1 && A>=1 && free_1>=1 && B>=1 && 0>=free_2 ], cost: 6+9*A+7*A*B 74.12/61.75 74.12/61.75 89: evalnestedLoopstart -> [27] : [ -C==0 && free>=1 && A>=1 && free_1>=1 && B>=1 ], cost: 6+9*A+7*A*B 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 ### Computing asymptotic complexity ### 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Fully simplified ITS problem 74.12/61.75 74.12/61.75 Start location: evalnestedLoopstart 74.12/61.75 74.12/61.75 81: evalnestedLoopstart -> [25] : D'=0, [ free>=1 && A>=1 && free_1>=1 && B>=1 && free_2>=1 && C>=1 ], cost: 16+4*C 74.12/61.75 74.12/61.75 82: evalnestedLoopstart -> [25] : D'=0, [ C>=0 && free>=1 && A>=1 && free_1>=1 && B>=1 && 0>=free_2 ], cost: 9+7*B 74.12/61.75 74.12/61.75 83: evalnestedLoopstart -> [25] : D'=0, [ C>=0 && free>=1 && A>=1 && free_1>=1 && B>=1 && 0>=C ], cost: 9+7*B 74.12/61.75 74.12/61.75 84: evalnestedLoopstart -> [25] : D'=1+C, E'=free, F'=C, G'=1, H'=free_1, Q'=1, J'=C, K'=free_2, L'=1+C, [ free>=1 && A>=1 && free_1>=1 && 1-B==0 && free_2>=1 && C>=1 && A>=2+C ], cost: 25+4*C+7*B 74.12/61.75 74.12/61.75 85: evalnestedLoopstart -> [27] : [ free>=1 && A>=1 && free_1>=1 && 1-B==0 && free_2>=1 && C>=1 ], cost: 22+4*C 74.12/61.75 74.12/61.75 86: evalnestedLoopstart -> [27] : [ B>=0 && C>=0 && free>=1 && A>=1 && 0>=free_1 ], cost: 6+9*A 74.12/61.75 74.12/61.75 87: evalnestedLoopstart -> [27] : [ -B==0 && C>=0 && free>=1 && A>=1 ], cost: 6+9*A 74.12/61.75 74.12/61.75 88: evalnestedLoopstart -> [27] : [ C>=0 && free>=1 && A>=1 && free_1>=1 && B>=1 && 0>=free_2 ], cost: 6+9*A+7*A*B 74.12/61.75 74.12/61.75 89: evalnestedLoopstart -> [27] : [ -C==0 && free>=1 && A>=1 && free_1>=1 && B>=1 ], cost: 6+9*A+7*A*B 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Computing asymptotic complexity for rule 81 74.12/61.75 74.12/61.75 Solved the limit problem by the following transformations: 74.12/61.75 74.12/61.75 Created initial limit problem: 74.12/61.75 74.12/61.75 C (+/+!), free_2 (+/+!), A (+/+!), free (+/+!), 16+4*C (+), B (+/+!), free_1 (+/+!) [not solved] 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 removing all constraints (solved by SMT) 74.12/61.75 74.12/61.75 resulting limit problem: [solved] 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 applying transformation rule (C) using substitution {C==n,free_2==n,A==n,free==n,B==n,free_1==n} 74.12/61.75 74.12/61.75 resulting limit problem: 74.12/61.75 74.12/61.75 [solved] 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Solution: 74.12/61.75 74.12/61.75 C / n 74.12/61.75 74.12/61.75 free_2 / n 74.12/61.75 74.12/61.75 A / n 74.12/61.75 74.12/61.75 free / n 74.12/61.75 74.12/61.75 B / n 74.12/61.75 74.12/61.75 free_1 / n 74.12/61.75 74.12/61.75 Resulting cost 16+4*n has complexity: Poly(n^1) 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Found new complexity Poly(n^1). 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Computing asymptotic complexity for rule 88 74.12/61.75 74.12/61.75 Solved the limit problem by the following transformations: 74.12/61.75 74.12/61.75 Created initial limit problem: 74.12/61.75 74.12/61.75 1+C (+/+!), A (+/+!), free (+/+!), 6+9*A+7*A*B (+), 1-free_2 (+/+!), B (+/+!), free_1 (+/+!) [not solved] 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 removing all constraints (solved by SMT) 74.12/61.75 74.12/61.75 resulting limit problem: [solved] 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 applying transformation rule (C) using substitution {C==n,free_2==-n,A==n,free==1,B==n,free_1==1} 74.12/61.75 74.12/61.75 resulting limit problem: 74.12/61.75 74.12/61.75 [solved] 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Solution: 74.12/61.75 74.12/61.75 C / n 74.12/61.75 74.12/61.75 free_2 / -n 74.12/61.75 74.12/61.75 A / n 74.12/61.75 74.12/61.75 free / 1 74.12/61.75 74.12/61.75 B / n 74.12/61.75 74.12/61.75 free_1 / 1 74.12/61.75 74.12/61.75 Resulting cost 6+7*n^2+9*n has complexity: Poly(n^2) 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Found new complexity Poly(n^2). 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 Obtained the following overall complexity (w.r.t. the length of the input n): 74.12/61.75 74.12/61.75 Complexity: Poly(n^2) 74.12/61.75 74.12/61.75 Cpx degree: 2 74.12/61.75 74.12/61.75 Solved cost: 6+7*n^2+9*n 74.12/61.75 74.12/61.75 Rule cost: 6+9*A+7*A*B 74.12/61.75 74.12/61.75 Rule guard: [ C>=0 && free>=1 && A>=1 && free_1>=1 && B>=1 && 0>=free_2 ] 74.12/61.75 74.12/61.75 74.12/61.75 74.12/61.75 WORST_CASE(Omega(n^2),?) 74.12/61.75 74.12/61.75 74.12/61.75 ---------------------------------------- 74.12/61.75 74.12/61.75 (4) 74.12/61.75 BOUNDS(n^2, INF) 74.12/61.77 EOF