44.76/35.66	WORST_CASE(Omega(n^1), O(n^1))
44.76/35.67	proof of /export/starexec/sandbox/benchmark/theBenchmark.koat
44.76/35.67	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
44.76/35.67	
44.76/35.67	
44.76/35.67	The runtime complexity of the given CpxIntTrs could be proven to be BOUNDS(n^1, max(15 + 7 * Arg_2, 15) + nat(1 + 7 * Arg_2) + nat(3 * Arg_2) + nat(30 * Arg_2) + max(9, 9 + Arg_2) + nat(2 + 2 * Arg_2) + nat(10 * Arg_2) + nat(18 * Arg_2) + nat(2 * Arg_2)).
44.76/35.67	
44.76/35.67	(0) CpxIntTrs
44.76/35.67	(1) Koat2 Proof [FINISHED, 33.8 s]
44.76/35.67	(2) BOUNDS(1, max(15 + 7 * Arg_2, 15) + nat(1 + 7 * Arg_2) + nat(3 * Arg_2) + nat(30 * Arg_2) + max(9, 9 + Arg_2) + nat(2 + 2 * Arg_2) + nat(10 * Arg_2) + nat(18 * Arg_2) + nat(2 * Arg_2))
44.76/35.67	(3) Loat Proof [FINISHED, 3096 ms]
44.76/35.67	(4) BOUNDS(n^1, INF)
44.76/35.67	
44.76/35.67	
44.76/35.67	----------------------------------------
44.76/35.67	
44.76/35.67	(0)
44.76/35.67	Obligation:
44.76/35.67	Complexity Int TRS consisting of the following rules:
44.76/35.67	eval_srch_start(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb0_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_bb0_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_0(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_0(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_1(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_1(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_2(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_2(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_3(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_3(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_4(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_4(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_5(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_5(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_6(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_6(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_7(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_7(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_8(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_8(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_9(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_9(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_10(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_10(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb1_in(v_11, v_22, v_23, v_3, 0, 0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_bb1_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb2_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: v_i_0 < v_n
44.76/35.67	eval_srch_bb1_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb10_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: v_i_0 >= v_n
44.76/35.67	eval_srch_bb2_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb3_in(v_11, v_22, v_23, nondef_0, v_i_0, v_j_0, v_j_0, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_bb3_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb4_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: v_j_1 >= 0
44.76/35.67	eval_srch_bb3_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch__critedge_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: v_j_1 < 0
44.76/35.67	eval_srch_bb4_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb5_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: v_3 < nondef_1
44.76/35.67	eval_srch_bb4_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb5_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: v_3 > nondef_1
44.76/35.67	eval_srch_bb4_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch__critedge_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: v_3 >= nondef_1 && v_3 <= nondef_1
44.76/35.67	eval_srch_bb5_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb6_in(nondef_2, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: nondef_2 > 0
44.76/35.67	eval_srch_bb5_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb9_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: nondef_2 <= 0
44.76/35.67	eval_srch_bb6_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb7_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: v_11 <= v_j_1 + 1
44.76/35.67	eval_srch_bb6_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb8_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: v_11 > v_j_1 + 1
44.76/35.67	eval_srch_bb7_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb3_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1 - v_11, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_bb8_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_24(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_24(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_25(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_25(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_stop(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_bb9_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_26(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_26(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_27(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_27(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_stop(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch__critedge_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_29(v_11, v_i_0 + 1, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_29(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_30(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_30(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_31(v_11, v_22, v_j_1 + 1, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_31(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_32(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	eval_srch_32(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb10_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: v_23 >= v_m && v_23 <= v_m
44.76/35.67	eval_srch_32(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb1_in(v_11, v_22, v_23, v_3, v_22, v_23, v_j_1, v_m, v_n)) :|: v_23 < v_m
44.76/35.67	eval_srch_32(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_bb1_in(v_11, v_22, v_23, v_3, v_22, v_23, v_j_1, v_m, v_n)) :|: v_23 > v_m
44.76/35.67	eval_srch_bb10_in(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n) -> Com_1(eval_srch_stop(v_11, v_22, v_23, v_3, v_i_0, v_j_0, v_j_1, v_m, v_n)) :|: TRUE
44.76/35.67	
44.76/35.67	The start-symbols are:[eval_srch_start_9]
44.76/35.67	
44.76/35.67	
44.76/35.67	----------------------------------------
44.76/35.67	
44.76/35.67	(1) Koat2 Proof (FINISHED)
44.76/35.67	YES( ?, 15+max([0, 7*Arg_2])+max([0, 1+7*Arg_2])+max([0, Arg_2])+max([0, 10*Arg_2])+max([0, Arg_2])+max([0, 1+Arg_2])+max([0, 10*Arg_2])+max([0, 5*Arg_2])+max([0, 9*Arg_2])+max([0, 1+Arg_2])+max([0, 9*Arg_2])+max([0, 2*Arg_2])+max([0, 10*Arg_2])+max([0, Arg_2])+max([0, 5*Arg_2])+max([9, 9+Arg_2]) {O(n)})
44.76/35.67	
44.76/35.67	
44.76/35.67	
44.76/35.67	Initial Complexity Problem:
44.76/35.67	
44.76/35.67	  Start:  evalsrchstart  
44.76/35.67	
44.76/35.67	  Program_Vars:  Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8  
44.76/35.67	
44.76/35.67	  Temp_Vars:  J  
44.76/35.67	
44.76/35.67	  Locations:  evalsrch0, evalsrch1, evalsrch10, evalsrch2, evalsrch24, evalsrch25, evalsrch26, evalsrch27, evalsrch29, evalsrch3, evalsrch30, evalsrch31, evalsrch32, evalsrch4, evalsrch5, evalsrch6, evalsrch7, evalsrch8, evalsrch9, evalsrchbb0in, evalsrchbb10in, evalsrchbb1in, evalsrchbb2in, evalsrchbb3in, evalsrchbb4in, evalsrchbb5in, evalsrchbb6in, evalsrchbb7in, evalsrchbb8in, evalsrchbb9in, evalsrchcritedgein, evalsrchstart, evalsrchstop  
44.76/35.67	
44.76/35.67	  Transitions:
44.76/35.67	
44.76/35.67	  evalsrch0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:
44.76/35.67	
44.76/35.67	  evalsrch1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:
44.76/35.67	
44.76/35.67	  evalsrch10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb1in(0,0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:
44.76/35.67	
44.76/35.67	  evalsrch2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:
44.76/35.67	
44.76/35.67	  evalsrch24(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch25(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:2 <= Arg_5 && 2 <= Arg_4+Arg_5 && 2+Arg_4 <= Arg_5 && 3 <= Arg_2+Arg_5 && 2 <= Arg_1+Arg_5 && 2 <= Arg_0+Arg_5 && 1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrch25(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchstop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:2 <= Arg_5 && 2 <= Arg_4+Arg_5 && 2+Arg_4 <= Arg_5 && 3 <= Arg_2+Arg_5 && 2 <= Arg_1+Arg_5 && 2 <= Arg_0+Arg_5 && 1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrch26(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch27(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrch27(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchstop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrch29(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch30(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_6 <= Arg_2 && Arg_6 <= 1+Arg_0 && 1 <= Arg_6 && 1+Arg_4 <= Arg_6 && 2 <= Arg_2+Arg_6 && 1+Arg_1 <= Arg_6 && 1 <= Arg_0+Arg_6 && 1+Arg_0 <= Arg_6 && 1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 1 <= Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrch3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:
44.76/35.67	
44.76/35.67	  evalsrch30(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch31(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_4+1,Arg_8):|:Arg_6 <= Arg_2 && Arg_6 <= 1+Arg_0 && 1 <= Arg_6 && 1+Arg_4 <= Arg_6 && 2 <= Arg_2+Arg_6 && 1+Arg_1 <= Arg_6 && 1 <= Arg_0+Arg_6 && 1+Arg_0 <= Arg_6 && 1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 1 <= Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrch31(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch32(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_7 <= Arg_6 && Arg_7 <= 1+Arg_4 && Arg_7 <= Arg_2 && Arg_7 <= 1+Arg_1 && Arg_7 <= 1+Arg_0 && 1+Arg_4 <= Arg_7 && Arg_6 <= Arg_2 && Arg_6 <= 1+Arg_0 && 1 <= Arg_6 && 1+Arg_4 <= Arg_6 && 2 <= Arg_2+Arg_6 && 1+Arg_1 <= Arg_6 && 1 <= Arg_0+Arg_6 && 1+Arg_0 <= Arg_6 && 1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 1 <= Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrch32(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb10in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_7 <= Arg_6 && Arg_7 <= 1+Arg_4 && Arg_7 <= Arg_2 && Arg_7 <= 1+Arg_1 && Arg_7 <= 1+Arg_0 && 1+Arg_4 <= Arg_7 && Arg_6 <= Arg_2 && Arg_6 <= 1+Arg_0 && 1 <= Arg_6 && 1+Arg_4 <= Arg_6 && 2 <= Arg_2+Arg_6 && 1+Arg_1 <= Arg_6 && 1 <= Arg_0+Arg_6 && 1+Arg_0 <= Arg_6 && 1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 1 <= Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_0 && Arg_7 <= Arg_8 && Arg_8 <= Arg_7
44.76/35.67	
44.76/35.67	  evalsrch32(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb1in(Arg_6,Arg_7,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_7 <= Arg_6 && Arg_7 <= 1+Arg_4 && Arg_7 <= Arg_2 && Arg_7 <= 1+Arg_1 && Arg_7 <= 1+Arg_0 && 1+Arg_4 <= Arg_7 && Arg_6 <= Arg_2 && Arg_6 <= 1+Arg_0 && 1 <= Arg_6 && 1+Arg_4 <= Arg_6 && 2 <= Arg_2+Arg_6 && 1+Arg_1 <= Arg_6 && 1 <= Arg_0+Arg_6 && 1+Arg_0 <= Arg_6 && 1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 1 <= Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_0 && Arg_7+1 <= Arg_8
44.76/35.67	
44.76/35.67	  evalsrch32(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb1in(Arg_6,Arg_7,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_7 <= Arg_6 && Arg_7 <= 1+Arg_4 && Arg_7 <= Arg_2 && Arg_7 <= 1+Arg_1 && Arg_7 <= 1+Arg_0 && 1+Arg_4 <= Arg_7 && Arg_6 <= Arg_2 && Arg_6 <= 1+Arg_0 && 1 <= Arg_6 && 1+Arg_4 <= Arg_6 && 2 <= Arg_2+Arg_6 && 1+Arg_1 <= Arg_6 && 1 <= Arg_0+Arg_6 && 1+Arg_0 <= Arg_6 && 1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 1 <= Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_0 && Arg_8+1 <= Arg_7
44.76/35.67	
44.76/35.67	  evalsrch4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:
44.76/35.67	
44.76/35.67	  evalsrch5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:
44.76/35.67	
44.76/35.67	  evalsrch6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:
44.76/35.67	
44.76/35.67	  evalsrch7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:
44.76/35.67	
44.76/35.67	  evalsrch8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:
44.76/35.67	
44.76/35.67	  evalsrch9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:
44.76/35.67	
44.76/35.67	  evalsrchbb0in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:
44.76/35.67	
44.76/35.67	  evalsrchbb10in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchstop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_1 <= Arg_0 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrchbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb10in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_1 <= Arg_0 && 0 <= Arg_0 && Arg_2 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrchbb1in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb2in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_1 <= Arg_0 && 0 <= Arg_0 && Arg_0+1 <= Arg_2
44.76/35.67	
44.76/35.67	  evalsrchbb2in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb3in(Arg_0,Arg_1,Arg_2,J,Arg_1,Arg_5,Arg_6,Arg_7,Arg_8):|:1 <= Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrchbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb4in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 1 <= Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_0 && 0 <= Arg_4
44.76/35.67	
44.76/35.67	  evalsrchbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchcritedgein(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 1 <= Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_0 && Arg_4+1 <= 0
44.76/35.67	
44.76/35.67	  evalsrchbb4in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0 && Arg_3+1 <= J
44.76/35.67	
44.76/35.67	  evalsrchbb4in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0 && J+1 <= Arg_3
44.76/35.67	
44.76/35.67	  evalsrchbb4in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchcritedgein(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrchbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,J,Arg_6,Arg_7,Arg_8):|:1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0 && 1 <= J
44.76/35.67	
44.76/35.67	  evalsrchbb5in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb9in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0 && J <= 0
44.76/35.67	
44.76/35.67	  evalsrchbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:1 <= Arg_5 && 1 <= Arg_4+Arg_5 && 2 <= Arg_2+Arg_5 && 1 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0 && Arg_5 <= Arg_4+1
44.76/35.67	
44.76/35.67	  evalsrchbb6in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb8in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:1 <= Arg_5 && 1 <= Arg_4+Arg_5 && 2 <= Arg_2+Arg_5 && 1 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0 && Arg_4+2 <= Arg_5
44.76/35.67	
44.76/35.67	  evalsrchbb7in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb3in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4-Arg_5,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_5 <= 1+Arg_4 && Arg_5 <= Arg_2 && Arg_5 <= 1+Arg_1 && Arg_5 <= 1+Arg_0 && 1 <= Arg_5 && 1 <= Arg_4+Arg_5 && 2 <= Arg_2+Arg_5 && 1 <= Arg_1+Arg_5 && 1 <= Arg_0+Arg_5 && 1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrchbb8in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch24(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:2 <= Arg_5 && 2 <= Arg_4+Arg_5 && 2+Arg_4 <= Arg_5 && 3 <= Arg_2+Arg_5 && 2 <= Arg_1+Arg_5 && 2 <= Arg_0+Arg_5 && 1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrchbb9in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch26(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 0 <= Arg_4 && 1 <= Arg_2+Arg_4 && 0 <= Arg_1+Arg_4 && 0 <= Arg_0+Arg_4 && 1 <= Arg_2 && 1 <= Arg_1+Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_1 && 0 <= Arg_0+Arg_1 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrchcritedgein(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrch29(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_0+1,Arg_7,Arg_8):|:1+Arg_4 <= Arg_2 && Arg_4 <= Arg_1 && Arg_4 <= Arg_0 && 1 <= Arg_2 && 1+Arg_1 <= Arg_2 && 1 <= Arg_0+Arg_2 && 1+Arg_0 <= Arg_2 && Arg_1 <= Arg_0 && 0 <= Arg_0
44.76/35.67	
44.76/35.67	  evalsrchstart(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> evalsrchbb0in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:  
44.76/35.67	
44.76/35.67	
44.76/35.67	
44.76/35.67	Timebounds: 
44.76/35.67	
44.76/35.67	  Overall timebound: 15+max([0, 7*Arg_2])+max([0, 1+7*Arg_2])+max([0, Arg_2])+max([0, 10*Arg_2])+max([0, Arg_2])+max([0, 1+Arg_2])+max([0, 10*Arg_2])+max([0, 5*Arg_2])+max([0, 9*Arg_2])+max([0, 1+Arg_2])+max([0, 9*Arg_2])+max([0, 2*Arg_2])+max([0, 10*Arg_2])+max([0, Arg_2])+max([0, 5*Arg_2])+max([9, 9+Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  2: evalsrch0->evalsrch1: 1 {O(1)}
44.76/35.67	
44.76/35.67	  3: evalsrch1->evalsrch2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  12: evalsrch10->evalsrchbb1in: 1 {O(1)}
44.76/35.67	
44.76/35.67	  4: evalsrch2->evalsrch3: 1 {O(1)}
44.76/35.67	
44.76/35.67	  27: evalsrch24->evalsrch25: 1 {O(1)}
44.76/35.67	
44.76/35.67	  28: evalsrch25->evalsrchstop: 1 {O(1)}
44.76/35.67	
44.76/35.67	  30: evalsrch26->evalsrch27: 1 {O(1)}
44.76/35.67	
44.76/35.67	  31: evalsrch27->evalsrchstop: 1 {O(1)}
44.76/35.67	
44.76/35.67	  33: evalsrch29->evalsrch30: max([0, Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  5: evalsrch3->evalsrch4: 1 {O(1)}
44.76/35.67	
44.76/35.67	  34: evalsrch30->evalsrch31: max([0, 2*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  35: evalsrch31->evalsrch32: max([0, 5*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  36: evalsrch32->evalsrchbb10in: 1 {O(1)}
44.76/35.67	
44.76/35.67	  37: evalsrch32->evalsrchbb1in: max([0, 10*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  38: evalsrch32->evalsrchbb1in: max([0, Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  6: evalsrch4->evalsrch5: 1 {O(1)}
44.76/35.67	
44.76/35.67	  7: evalsrch5->evalsrch6: 1 {O(1)}
44.76/35.67	
44.76/35.67	  8: evalsrch6->evalsrch7: 1 {O(1)}
44.76/35.67	
44.76/35.67	  9: evalsrch7->evalsrch8: 1 {O(1)}
44.76/35.67	
44.76/35.67	  10: evalsrch8->evalsrch9: 1 {O(1)}
44.76/35.67	
44.76/35.67	  11: evalsrch9->evalsrch10: 1 {O(1)}
44.76/35.67	
44.76/35.67	  1: evalsrchbb0in->evalsrch0: 1 {O(1)}
44.76/35.67	
44.76/35.67	  39: evalsrchbb10in->evalsrchstop: 1 {O(1)}
44.76/35.67	
44.76/35.67	  13: evalsrchbb1in->evalsrchbb2in: max([0, 1+Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  14: evalsrchbb1in->evalsrchbb10in: 1 {O(1)}
44.76/35.67	
44.76/35.67	  15: evalsrchbb2in->evalsrchbb3in: max([0, 1+Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  16: evalsrchbb3in->evalsrchbb4in: max([0, 1+7*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  17: evalsrchbb3in->evalsrchcritedgein: max([0, 5*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  18: evalsrchbb4in->evalsrchbb5in: max([0, 10*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  19: evalsrchbb4in->evalsrchbb5in: max([0, 9*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  20: evalsrchbb4in->evalsrchcritedgein: max([0, 9*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  21: evalsrchbb5in->evalsrchbb6in: max([0, 10*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  22: evalsrchbb5in->evalsrchbb9in: 1 {O(1)}
44.76/35.67	
44.76/35.67	  23: evalsrchbb6in->evalsrchbb7in: max([0, Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  24: evalsrchbb6in->evalsrchbb8in: 1 {O(1)}
44.76/35.67	
44.76/35.67	  25: evalsrchbb7in->evalsrchbb3in: max([0, Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  26: evalsrchbb8in->evalsrch24: 1 {O(1)}
44.76/35.67	
44.76/35.67	  29: evalsrchbb9in->evalsrch26: 1 {O(1)}
44.76/35.67	
44.76/35.67	  32: evalsrchcritedgein->evalsrch29: max([0, 7*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  0: evalsrchstart->evalsrchbb0in: 1 {O(1)}
44.76/35.67	
44.76/35.67	
44.76/35.67	
44.76/35.67	Costbounds:
44.76/35.67	
44.76/35.67	  Overall costbound: 15+max([0, 7*Arg_2])+max([0, 1+7*Arg_2])+max([0, Arg_2])+max([0, 10*Arg_2])+max([0, Arg_2])+max([0, 1+Arg_2])+max([0, 10*Arg_2])+max([0, 5*Arg_2])+max([0, 9*Arg_2])+max([0, 1+Arg_2])+max([0, 9*Arg_2])+max([0, 2*Arg_2])+max([0, 10*Arg_2])+max([0, Arg_2])+max([0, 5*Arg_2])+max([9, 9+Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  2: evalsrch0->evalsrch1: 1 {O(1)}
44.76/35.67	
44.76/35.67	  3: evalsrch1->evalsrch2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  12: evalsrch10->evalsrchbb1in: 1 {O(1)}
44.76/35.67	
44.76/35.67	  4: evalsrch2->evalsrch3: 1 {O(1)}
44.76/35.67	
44.76/35.67	  27: evalsrch24->evalsrch25: 1 {O(1)}
44.76/35.67	
44.76/35.67	  28: evalsrch25->evalsrchstop: 1 {O(1)}
44.76/35.67	
44.76/35.67	  30: evalsrch26->evalsrch27: 1 {O(1)}
44.76/35.67	
44.76/35.67	  31: evalsrch27->evalsrchstop: 1 {O(1)}
44.76/35.67	
44.76/35.67	  33: evalsrch29->evalsrch30: max([0, Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  5: evalsrch3->evalsrch4: 1 {O(1)}
44.76/35.67	
44.76/35.67	  34: evalsrch30->evalsrch31: max([0, 2*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  35: evalsrch31->evalsrch32: max([0, 5*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  36: evalsrch32->evalsrchbb10in: 1 {O(1)}
44.76/35.67	
44.76/35.67	  37: evalsrch32->evalsrchbb1in: max([0, 10*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  38: evalsrch32->evalsrchbb1in: max([0, Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  6: evalsrch4->evalsrch5: 1 {O(1)}
44.76/35.67	
44.76/35.67	  7: evalsrch5->evalsrch6: 1 {O(1)}
44.76/35.67	
44.76/35.67	  8: evalsrch6->evalsrch7: 1 {O(1)}
44.76/35.67	
44.76/35.67	  9: evalsrch7->evalsrch8: 1 {O(1)}
44.76/35.67	
44.76/35.67	  10: evalsrch8->evalsrch9: 1 {O(1)}
44.76/35.67	
44.76/35.67	  11: evalsrch9->evalsrch10: 1 {O(1)}
44.76/35.67	
44.76/35.67	  1: evalsrchbb0in->evalsrch0: 1 {O(1)}
44.76/35.67	
44.76/35.67	  39: evalsrchbb10in->evalsrchstop: 1 {O(1)}
44.76/35.67	
44.76/35.67	  13: evalsrchbb1in->evalsrchbb2in: max([0, 1+Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  14: evalsrchbb1in->evalsrchbb10in: 1 {O(1)}
44.76/35.67	
44.76/35.67	  15: evalsrchbb2in->evalsrchbb3in: max([0, 1+Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  16: evalsrchbb3in->evalsrchbb4in: max([0, 1+7*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  17: evalsrchbb3in->evalsrchcritedgein: max([0, 5*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  18: evalsrchbb4in->evalsrchbb5in: max([0, 10*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  19: evalsrchbb4in->evalsrchbb5in: max([0, 9*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  20: evalsrchbb4in->evalsrchcritedgein: max([0, 9*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  21: evalsrchbb5in->evalsrchbb6in: max([0, 10*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  22: evalsrchbb5in->evalsrchbb9in: 1 {O(1)}
44.76/35.67	
44.76/35.67	  23: evalsrchbb6in->evalsrchbb7in: max([0, Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  24: evalsrchbb6in->evalsrchbb8in: 1 {O(1)}
44.76/35.67	
44.76/35.67	  25: evalsrchbb7in->evalsrchbb3in: max([0, Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  26: evalsrchbb8in->evalsrch24: 1 {O(1)}
44.76/35.67	
44.76/35.67	  29: evalsrchbb9in->evalsrch26: 1 {O(1)}
44.76/35.67	
44.76/35.67	  32: evalsrchcritedgein->evalsrch29: max([0, 7*Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  0: evalsrchstart->evalsrchbb0in: 1 {O(1)}
44.76/35.67	
44.76/35.67	
44.76/35.67	
44.76/35.67	Sizebounds:
44.76/35.67	
44.76/35.67	`Lower:
44.76/35.67	
44.76/35.67	  2: evalsrch0->evalsrch1, Arg_0: Arg_0 {O(n)}
44.76/35.67	
44.76/35.67	  2: evalsrch0->evalsrch1, Arg_1: Arg_1 {O(n)}
44.76/35.67	
44.76/35.67	  2: evalsrch0->evalsrch1, Arg_2: Arg_2 {O(n)}
44.76/35.67	
44.76/35.67	  2: evalsrch0->evalsrch1, Arg_3: Arg_3 {O(n)}
44.76/35.67	
44.76/35.67	  2: evalsrch0->evalsrch1, Arg_4: Arg_4 {O(n)}
44.76/35.67	
44.76/35.67	  2: evalsrch0->evalsrch1, Arg_5: Arg_5 {O(n)}
44.76/35.67	
44.76/35.67	  2: evalsrch0->evalsrch1, Arg_6: Arg_6 {O(n)}
44.76/35.67	
44.76/35.67	  2: evalsrch0->evalsrch1, Arg_7: Arg_7 {O(n)}
44.76/35.67	
44.76/35.67	  2: evalsrch0->evalsrch1, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  3: evalsrch1->evalsrch2, Arg_0: Arg_0 {O(n)}
44.76/35.67	
44.76/35.67	  3: evalsrch1->evalsrch2, Arg_1: Arg_1 {O(n)}
44.76/35.67	
44.76/35.67	  3: evalsrch1->evalsrch2, Arg_2: Arg_2 {O(n)}
44.76/35.67	
44.76/35.67	  3: evalsrch1->evalsrch2, Arg_3: Arg_3 {O(n)}
44.76/35.67	
44.76/35.67	  3: evalsrch1->evalsrch2, Arg_4: Arg_4 {O(n)}
44.76/35.67	
44.76/35.67	  3: evalsrch1->evalsrch2, Arg_5: Arg_5 {O(n)}
44.76/35.67	
44.76/35.67	  3: evalsrch1->evalsrch2, Arg_6: Arg_6 {O(n)}
44.76/35.67	
44.76/35.67	  3: evalsrch1->evalsrch2, Arg_7: Arg_7 {O(n)}
44.76/35.67	
44.76/35.67	  3: evalsrch1->evalsrch2, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  12: evalsrch10->evalsrchbb1in, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  12: evalsrch10->evalsrchbb1in, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  12: evalsrch10->evalsrchbb1in, Arg_2: Arg_2 {O(n)}
44.76/35.67	
44.76/35.67	  12: evalsrch10->evalsrchbb1in, Arg_3: Arg_3 {O(n)}
44.76/35.67	
44.76/35.67	  12: evalsrch10->evalsrchbb1in, Arg_4: Arg_4 {O(n)}
44.76/35.67	
44.76/35.67	  12: evalsrch10->evalsrchbb1in, Arg_5: Arg_5 {O(n)}
44.76/35.67	
44.76/35.67	  12: evalsrch10->evalsrchbb1in, Arg_6: Arg_6 {O(n)}
44.76/35.67	
44.76/35.67	  12: evalsrch10->evalsrchbb1in, Arg_7: Arg_7 {O(n)}
44.76/35.67	
44.76/35.67	  12: evalsrch10->evalsrchbb1in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  4: evalsrch2->evalsrch3, Arg_0: Arg_0 {O(n)}
44.76/35.67	
44.76/35.67	  4: evalsrch2->evalsrch3, Arg_1: Arg_1 {O(n)}
44.76/35.67	
44.76/35.67	  4: evalsrch2->evalsrch3, Arg_2: Arg_2 {O(n)}
44.76/35.67	
44.76/35.67	  4: evalsrch2->evalsrch3, Arg_3: Arg_3 {O(n)}
44.76/35.67	
44.76/35.67	  4: evalsrch2->evalsrch3, Arg_4: Arg_4 {O(n)}
44.76/35.67	
44.76/35.67	  4: evalsrch2->evalsrch3, Arg_5: Arg_5 {O(n)}
44.76/35.67	
44.76/35.67	  4: evalsrch2->evalsrch3, Arg_6: Arg_6 {O(n)}
44.76/35.67	
44.76/35.67	  4: evalsrch2->evalsrch3, Arg_7: Arg_7 {O(n)}
44.76/35.67	
44.76/35.67	  4: evalsrch2->evalsrch3, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  27: evalsrch24->evalsrch25, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  27: evalsrch24->evalsrch25, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  27: evalsrch24->evalsrch25, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  27: evalsrch24->evalsrch25, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  27: evalsrch24->evalsrch25, Arg_5: 2 {O(1)}
44.76/35.67	
44.76/35.67	  27: evalsrch24->evalsrch25, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  27: evalsrch24->evalsrch25, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  27: evalsrch24->evalsrch25, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  28: evalsrch25->evalsrchstop, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  28: evalsrch25->evalsrchstop, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  28: evalsrch25->evalsrchstop, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  28: evalsrch25->evalsrchstop, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  28: evalsrch25->evalsrchstop, Arg_5: 2 {O(1)}
44.76/35.67	
44.76/35.67	  28: evalsrch25->evalsrchstop, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  28: evalsrch25->evalsrchstop, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  28: evalsrch25->evalsrchstop, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  30: evalsrch26->evalsrch27, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  30: evalsrch26->evalsrch27, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  30: evalsrch26->evalsrch27, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  30: evalsrch26->evalsrch27, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  30: evalsrch26->evalsrch27, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  30: evalsrch26->evalsrch27, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  30: evalsrch26->evalsrch27, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  30: evalsrch26->evalsrch27, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  31: evalsrch27->evalsrchstop, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  31: evalsrch27->evalsrchstop, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  31: evalsrch27->evalsrchstop, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  31: evalsrch27->evalsrchstop, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  31: evalsrch27->evalsrchstop, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  31: evalsrch27->evalsrchstop, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  31: evalsrch27->evalsrchstop, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  31: evalsrch27->evalsrchstop, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  33: evalsrch29->evalsrch30, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  33: evalsrch29->evalsrch30, Arg_1: -1 {O(1)}
44.76/35.67	
44.76/35.67	  33: evalsrch29->evalsrch30, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  33: evalsrch29->evalsrch30, Arg_4: -1 {O(1)}
44.76/35.67	
44.76/35.67	  33: evalsrch29->evalsrch30, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  33: evalsrch29->evalsrch30, Arg_6: 1 {O(1)}
44.76/35.67	
44.76/35.67	  33: evalsrch29->evalsrch30, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  33: evalsrch29->evalsrch30, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  5: evalsrch3->evalsrch4, Arg_0: Arg_0 {O(n)}
44.76/35.67	
44.76/35.67	  5: evalsrch3->evalsrch4, Arg_1: Arg_1 {O(n)}
44.76/35.67	
44.76/35.67	  5: evalsrch3->evalsrch4, Arg_2: Arg_2 {O(n)}
44.76/35.67	
44.76/35.67	  5: evalsrch3->evalsrch4, Arg_3: Arg_3 {O(n)}
44.76/35.67	
44.76/35.67	  5: evalsrch3->evalsrch4, Arg_4: Arg_4 {O(n)}
44.76/35.67	
44.76/35.67	  5: evalsrch3->evalsrch4, Arg_5: Arg_5 {O(n)}
44.76/35.67	
44.76/35.67	  5: evalsrch3->evalsrch4, Arg_6: Arg_6 {O(n)}
44.76/35.67	
44.76/35.67	  5: evalsrch3->evalsrch4, Arg_7: Arg_7 {O(n)}
44.76/35.67	
44.76/35.67	  5: evalsrch3->evalsrch4, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  34: evalsrch30->evalsrch31, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  34: evalsrch30->evalsrch31, Arg_1: -1 {O(1)}
44.76/35.67	
44.76/35.67	  34: evalsrch30->evalsrch31, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  34: evalsrch30->evalsrch31, Arg_4: -1 {O(1)}
44.76/35.67	
44.76/35.67	  34: evalsrch30->evalsrch31, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  34: evalsrch30->evalsrch31, Arg_6: 1 {O(1)}
44.76/35.67	
44.76/35.67	  34: evalsrch30->evalsrch31, Arg_7: -1 {O(1)}
44.76/35.67	
44.76/35.67	  34: evalsrch30->evalsrch31, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  35: evalsrch31->evalsrch32, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  35: evalsrch31->evalsrch32, Arg_1: -1 {O(1)}
44.76/35.67	
44.76/35.67	  35: evalsrch31->evalsrch32, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  35: evalsrch31->evalsrch32, Arg_4: -1 {O(1)}
44.76/35.67	
44.76/35.67	  35: evalsrch31->evalsrch32, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  35: evalsrch31->evalsrch32, Arg_6: 1 {O(1)}
44.76/35.67	
44.76/35.67	  35: evalsrch31->evalsrch32, Arg_7: -1 {O(1)}
44.76/35.67	
44.76/35.67	  35: evalsrch31->evalsrch32, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  36: evalsrch32->evalsrchbb10in, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  36: evalsrch32->evalsrchbb10in, Arg_1: -1 {O(1)}
44.76/35.67	
44.76/35.67	  36: evalsrch32->evalsrchbb10in, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  36: evalsrch32->evalsrchbb10in, Arg_4: -1 {O(1)}
44.76/35.67	
44.76/35.67	  36: evalsrch32->evalsrchbb10in, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  36: evalsrch32->evalsrchbb10in, Arg_6: 1 {O(1)}
44.76/35.67	
44.76/35.67	  36: evalsrch32->evalsrchbb10in, Arg_7: -1 {O(1)}
44.76/35.67	
44.76/35.67	  36: evalsrch32->evalsrchbb10in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  37: evalsrch32->evalsrchbb1in, Arg_0: 1 {O(1)}
44.76/35.67	
44.76/35.67	  37: evalsrch32->evalsrchbb1in, Arg_1: -1 {O(1)}
44.76/35.67	
44.76/35.67	  37: evalsrch32->evalsrchbb1in, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  37: evalsrch32->evalsrchbb1in, Arg_4: -1 {O(1)}
44.76/35.67	
44.76/35.67	  37: evalsrch32->evalsrchbb1in, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  37: evalsrch32->evalsrchbb1in, Arg_6: 1 {O(1)}
44.76/35.67	
44.76/35.67	  37: evalsrch32->evalsrchbb1in, Arg_7: -1 {O(1)}
44.76/35.67	
44.76/35.67	  37: evalsrch32->evalsrchbb1in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  38: evalsrch32->evalsrchbb1in, Arg_0: 1 {O(1)}
44.76/35.67	
44.76/35.67	  38: evalsrch32->evalsrchbb1in, Arg_1: -1 {O(1)}
44.76/35.67	
44.76/35.67	  38: evalsrch32->evalsrchbb1in, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  38: evalsrch32->evalsrchbb1in, Arg_4: -1 {O(1)}
44.76/35.67	
44.76/35.67	  38: evalsrch32->evalsrchbb1in, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  38: evalsrch32->evalsrchbb1in, Arg_6: 1 {O(1)}
44.76/35.67	
44.76/35.67	  38: evalsrch32->evalsrchbb1in, Arg_7: -1 {O(1)}
44.76/35.67	
44.76/35.67	  38: evalsrch32->evalsrchbb1in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  6: evalsrch4->evalsrch5, Arg_0: Arg_0 {O(n)}
44.76/35.67	
44.76/35.67	  6: evalsrch4->evalsrch5, Arg_1: Arg_1 {O(n)}
44.76/35.67	
44.76/35.67	  6: evalsrch4->evalsrch5, Arg_2: Arg_2 {O(n)}
44.76/35.67	
44.76/35.67	  6: evalsrch4->evalsrch5, Arg_3: Arg_3 {O(n)}
44.76/35.67	
44.76/35.67	  6: evalsrch4->evalsrch5, Arg_4: Arg_4 {O(n)}
44.76/35.67	
44.76/35.67	  6: evalsrch4->evalsrch5, Arg_5: Arg_5 {O(n)}
44.76/35.67	
44.76/35.67	  6: evalsrch4->evalsrch5, Arg_6: Arg_6 {O(n)}
44.76/35.67	
44.76/35.67	  6: evalsrch4->evalsrch5, Arg_7: Arg_7 {O(n)}
44.76/35.67	
44.76/35.67	  6: evalsrch4->evalsrch5, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  7: evalsrch5->evalsrch6, Arg_0: Arg_0 {O(n)}
44.76/35.67	
44.76/35.67	  7: evalsrch5->evalsrch6, Arg_1: Arg_1 {O(n)}
44.76/35.67	
44.76/35.67	  7: evalsrch5->evalsrch6, Arg_2: Arg_2 {O(n)}
44.76/35.67	
44.76/35.67	  7: evalsrch5->evalsrch6, Arg_3: Arg_3 {O(n)}
44.76/35.67	
44.76/35.67	  7: evalsrch5->evalsrch6, Arg_4: Arg_4 {O(n)}
44.76/35.67	
44.76/35.67	  7: evalsrch5->evalsrch6, Arg_5: Arg_5 {O(n)}
44.76/35.67	
44.76/35.67	  7: evalsrch5->evalsrch6, Arg_6: Arg_6 {O(n)}
44.76/35.67	
44.76/35.67	  7: evalsrch5->evalsrch6, Arg_7: Arg_7 {O(n)}
44.76/35.67	
44.76/35.67	  7: evalsrch5->evalsrch6, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  8: evalsrch6->evalsrch7, Arg_0: Arg_0 {O(n)}
44.76/35.67	
44.76/35.67	  8: evalsrch6->evalsrch7, Arg_1: Arg_1 {O(n)}
44.76/35.67	
44.76/35.67	  8: evalsrch6->evalsrch7, Arg_2: Arg_2 {O(n)}
44.76/35.67	
44.76/35.67	  8: evalsrch6->evalsrch7, Arg_3: Arg_3 {O(n)}
44.76/35.67	
44.76/35.67	  8: evalsrch6->evalsrch7, Arg_4: Arg_4 {O(n)}
44.76/35.67	
44.76/35.67	  8: evalsrch6->evalsrch7, Arg_5: Arg_5 {O(n)}
44.76/35.67	
44.76/35.67	  8: evalsrch6->evalsrch7, Arg_6: Arg_6 {O(n)}
44.76/35.67	
44.76/35.67	  8: evalsrch6->evalsrch7, Arg_7: Arg_7 {O(n)}
44.76/35.67	
44.76/35.67	  8: evalsrch6->evalsrch7, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  9: evalsrch7->evalsrch8, Arg_0: Arg_0 {O(n)}
44.76/35.67	
44.76/35.67	  9: evalsrch7->evalsrch8, Arg_1: Arg_1 {O(n)}
44.76/35.67	
44.76/35.67	  9: evalsrch7->evalsrch8, Arg_2: Arg_2 {O(n)}
44.76/35.67	
44.76/35.67	  9: evalsrch7->evalsrch8, Arg_3: Arg_3 {O(n)}
44.76/35.67	
44.76/35.67	  9: evalsrch7->evalsrch8, Arg_4: Arg_4 {O(n)}
44.76/35.67	
44.76/35.67	  9: evalsrch7->evalsrch8, Arg_5: Arg_5 {O(n)}
44.76/35.67	
44.76/35.67	  9: evalsrch7->evalsrch8, Arg_6: Arg_6 {O(n)}
44.76/35.67	
44.76/35.67	  9: evalsrch7->evalsrch8, Arg_7: Arg_7 {O(n)}
44.76/35.67	
44.76/35.67	  9: evalsrch7->evalsrch8, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  10: evalsrch8->evalsrch9, Arg_0: Arg_0 {O(n)}
44.76/35.67	
44.76/35.67	  10: evalsrch8->evalsrch9, Arg_1: Arg_1 {O(n)}
44.76/35.67	
44.76/35.67	  10: evalsrch8->evalsrch9, Arg_2: Arg_2 {O(n)}
44.76/35.67	
44.76/35.67	  10: evalsrch8->evalsrch9, Arg_3: Arg_3 {O(n)}
44.76/35.67	
44.76/35.67	  10: evalsrch8->evalsrch9, Arg_4: Arg_4 {O(n)}
44.76/35.67	
44.76/35.67	  10: evalsrch8->evalsrch9, Arg_5: Arg_5 {O(n)}
44.76/35.67	
44.76/35.67	  10: evalsrch8->evalsrch9, Arg_6: Arg_6 {O(n)}
44.76/35.67	
44.76/35.67	  10: evalsrch8->evalsrch9, Arg_7: Arg_7 {O(n)}
44.76/35.67	
44.76/35.67	  10: evalsrch8->evalsrch9, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  11: evalsrch9->evalsrch10, Arg_0: Arg_0 {O(n)}
44.76/35.67	
44.76/35.67	  11: evalsrch9->evalsrch10, Arg_1: Arg_1 {O(n)}
44.76/35.67	
44.76/35.67	  11: evalsrch9->evalsrch10, Arg_2: Arg_2 {O(n)}
44.76/35.67	
44.76/35.67	  11: evalsrch9->evalsrch10, Arg_3: Arg_3 {O(n)}
44.76/35.67	
44.76/35.67	  11: evalsrch9->evalsrch10, Arg_4: Arg_4 {O(n)}
44.76/35.67	
44.76/35.67	  11: evalsrch9->evalsrch10, Arg_5: Arg_5 {O(n)}
44.76/35.67	
44.76/35.67	  11: evalsrch9->evalsrch10, Arg_6: Arg_6 {O(n)}
44.76/35.67	
44.76/35.67	  11: evalsrch9->evalsrch10, Arg_7: Arg_7 {O(n)}
44.76/35.67	
44.76/35.67	  11: evalsrch9->evalsrch10, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  1: evalsrchbb0in->evalsrch0, Arg_0: Arg_0 {O(n)}
44.76/35.67	
44.76/35.67	  1: evalsrchbb0in->evalsrch0, Arg_1: Arg_1 {O(n)}
44.76/35.67	
44.76/35.67	  1: evalsrchbb0in->evalsrch0, Arg_2: Arg_2 {O(n)}
44.76/35.67	
44.76/35.67	  1: evalsrchbb0in->evalsrch0, Arg_3: Arg_3 {O(n)}
44.76/35.67	
44.76/35.67	  1: evalsrchbb0in->evalsrch0, Arg_4: Arg_4 {O(n)}
44.76/35.67	
44.76/35.67	  1: evalsrchbb0in->evalsrch0, Arg_5: Arg_5 {O(n)}
44.76/35.67	
44.76/35.67	  1: evalsrchbb0in->evalsrch0, Arg_6: Arg_6 {O(n)}
44.76/35.67	
44.76/35.67	  1: evalsrchbb0in->evalsrch0, Arg_7: Arg_7 {O(n)}
44.76/35.67	
44.76/35.67	  1: evalsrchbb0in->evalsrch0, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  39: evalsrchbb10in->evalsrchstop, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  39: evalsrchbb10in->evalsrchstop, Arg_1: -1 {O(1)}
44.76/35.67	
44.76/35.67	  39: evalsrchbb10in->evalsrchstop, Arg_2: min([1, Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  39: evalsrchbb10in->evalsrchstop, Arg_4: min([-1, Arg_4]) {O(n)}
44.76/35.67	
44.76/35.67	  39: evalsrchbb10in->evalsrchstop, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  39: evalsrchbb10in->evalsrchstop, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  39: evalsrchbb10in->evalsrchstop, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  39: evalsrchbb10in->evalsrchstop, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  13: evalsrchbb1in->evalsrchbb2in, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  13: evalsrchbb1in->evalsrchbb2in, Arg_1: -1 {O(1)}
44.76/35.67	
44.76/35.67	  13: evalsrchbb1in->evalsrchbb2in, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  13: evalsrchbb1in->evalsrchbb2in, Arg_4: min([-1, Arg_4]) {O(n)}
44.76/35.67	
44.76/35.67	  13: evalsrchbb1in->evalsrchbb2in, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  13: evalsrchbb1in->evalsrchbb2in, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  13: evalsrchbb1in->evalsrchbb2in, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  13: evalsrchbb1in->evalsrchbb2in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  14: evalsrchbb1in->evalsrchbb10in, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  14: evalsrchbb1in->evalsrchbb10in, Arg_1: -1 {O(1)}
44.76/35.67	
44.76/35.67	  14: evalsrchbb1in->evalsrchbb10in, Arg_2: min([1, Arg_2]) {O(n)}
44.76/35.67	
44.76/35.67	  14: evalsrchbb1in->evalsrchbb10in, Arg_4: min([-1, Arg_4]) {O(n)}
44.76/35.67	
44.76/35.67	  14: evalsrchbb1in->evalsrchbb10in, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  14: evalsrchbb1in->evalsrchbb10in, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  14: evalsrchbb1in->evalsrchbb10in, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  14: evalsrchbb1in->evalsrchbb10in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  15: evalsrchbb2in->evalsrchbb3in, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  15: evalsrchbb2in->evalsrchbb3in, Arg_1: -1 {O(1)}
44.76/35.67	
44.76/35.67	  15: evalsrchbb2in->evalsrchbb3in, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  15: evalsrchbb2in->evalsrchbb3in, Arg_4: -1 {O(1)}
44.76/35.67	
44.76/35.67	  15: evalsrchbb2in->evalsrchbb3in, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  15: evalsrchbb2in->evalsrchbb3in, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  15: evalsrchbb2in->evalsrchbb3in, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  15: evalsrchbb2in->evalsrchbb3in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  16: evalsrchbb3in->evalsrchbb4in, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  16: evalsrchbb3in->evalsrchbb4in, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  16: evalsrchbb3in->evalsrchbb4in, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  16: evalsrchbb3in->evalsrchbb4in, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  16: evalsrchbb3in->evalsrchbb4in, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  16: evalsrchbb3in->evalsrchbb4in, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  16: evalsrchbb3in->evalsrchbb4in, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  16: evalsrchbb3in->evalsrchbb4in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  17: evalsrchbb3in->evalsrchcritedgein, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  17: evalsrchbb3in->evalsrchcritedgein, Arg_1: -1 {O(1)}
44.76/35.67	
44.76/35.67	  17: evalsrchbb3in->evalsrchcritedgein, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  17: evalsrchbb3in->evalsrchcritedgein, Arg_4: -1 {O(1)}
44.76/35.67	
44.76/35.67	  17: evalsrchbb3in->evalsrchcritedgein, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  17: evalsrchbb3in->evalsrchcritedgein, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  17: evalsrchbb3in->evalsrchcritedgein, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  17: evalsrchbb3in->evalsrchcritedgein, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  18: evalsrchbb4in->evalsrchbb5in, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  18: evalsrchbb4in->evalsrchbb5in, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  18: evalsrchbb4in->evalsrchbb5in, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  18: evalsrchbb4in->evalsrchbb5in, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  18: evalsrchbb4in->evalsrchbb5in, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  18: evalsrchbb4in->evalsrchbb5in, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  18: evalsrchbb4in->evalsrchbb5in, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  18: evalsrchbb4in->evalsrchbb5in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  19: evalsrchbb4in->evalsrchbb5in, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  19: evalsrchbb4in->evalsrchbb5in, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  19: evalsrchbb4in->evalsrchbb5in, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  19: evalsrchbb4in->evalsrchbb5in, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  19: evalsrchbb4in->evalsrchbb5in, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  19: evalsrchbb4in->evalsrchbb5in, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  19: evalsrchbb4in->evalsrchbb5in, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  19: evalsrchbb4in->evalsrchbb5in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  20: evalsrchbb4in->evalsrchcritedgein, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  20: evalsrchbb4in->evalsrchcritedgein, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  20: evalsrchbb4in->evalsrchcritedgein, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  20: evalsrchbb4in->evalsrchcritedgein, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  20: evalsrchbb4in->evalsrchcritedgein, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  20: evalsrchbb4in->evalsrchcritedgein, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  20: evalsrchbb4in->evalsrchcritedgein, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  20: evalsrchbb4in->evalsrchcritedgein, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  21: evalsrchbb5in->evalsrchbb6in, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  21: evalsrchbb5in->evalsrchbb6in, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  21: evalsrchbb5in->evalsrchbb6in, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  21: evalsrchbb5in->evalsrchbb6in, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  21: evalsrchbb5in->evalsrchbb6in, Arg_5: 1 {O(1)}
44.76/35.67	
44.76/35.67	  21: evalsrchbb5in->evalsrchbb6in, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  21: evalsrchbb5in->evalsrchbb6in, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  21: evalsrchbb5in->evalsrchbb6in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  22: evalsrchbb5in->evalsrchbb9in, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  22: evalsrchbb5in->evalsrchbb9in, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  22: evalsrchbb5in->evalsrchbb9in, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  22: evalsrchbb5in->evalsrchbb9in, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  22: evalsrchbb5in->evalsrchbb9in, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  22: evalsrchbb5in->evalsrchbb9in, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  22: evalsrchbb5in->evalsrchbb9in, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  22: evalsrchbb5in->evalsrchbb9in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  23: evalsrchbb6in->evalsrchbb7in, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  23: evalsrchbb6in->evalsrchbb7in, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  23: evalsrchbb6in->evalsrchbb7in, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  23: evalsrchbb6in->evalsrchbb7in, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  23: evalsrchbb6in->evalsrchbb7in, Arg_5: 1 {O(1)}
44.76/35.67	
44.76/35.67	  23: evalsrchbb6in->evalsrchbb7in, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  23: evalsrchbb6in->evalsrchbb7in, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  23: evalsrchbb6in->evalsrchbb7in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  24: evalsrchbb6in->evalsrchbb8in, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  24: evalsrchbb6in->evalsrchbb8in, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  24: evalsrchbb6in->evalsrchbb8in, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  24: evalsrchbb6in->evalsrchbb8in, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  24: evalsrchbb6in->evalsrchbb8in, Arg_5: 2 {O(1)}
44.76/35.67	
44.76/35.67	  24: evalsrchbb6in->evalsrchbb8in, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  24: evalsrchbb6in->evalsrchbb8in, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  24: evalsrchbb6in->evalsrchbb8in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  25: evalsrchbb7in->evalsrchbb3in, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  25: evalsrchbb7in->evalsrchbb3in, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  25: evalsrchbb7in->evalsrchbb3in, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  25: evalsrchbb7in->evalsrchbb3in, Arg_4: -1 {O(1)}
44.76/35.67	
44.76/35.67	  25: evalsrchbb7in->evalsrchbb3in, Arg_5: 1 {O(1)}
44.76/35.67	
44.76/35.67	  25: evalsrchbb7in->evalsrchbb3in, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  25: evalsrchbb7in->evalsrchbb3in, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  25: evalsrchbb7in->evalsrchbb3in, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  26: evalsrchbb8in->evalsrch24, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  26: evalsrchbb8in->evalsrch24, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  26: evalsrchbb8in->evalsrch24, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  26: evalsrchbb8in->evalsrch24, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  26: evalsrchbb8in->evalsrch24, Arg_5: 2 {O(1)}
44.76/35.67	
44.76/35.67	  26: evalsrchbb8in->evalsrch24, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  26: evalsrchbb8in->evalsrch24, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  26: evalsrchbb8in->evalsrch24, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  29: evalsrchbb9in->evalsrch26, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  29: evalsrchbb9in->evalsrch26, Arg_1: 0 {O(1)}
44.76/35.67	
44.76/35.67	  29: evalsrchbb9in->evalsrch26, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  29: evalsrchbb9in->evalsrch26, Arg_4: 0 {O(1)}
44.76/35.67	
44.76/35.67	  29: evalsrchbb9in->evalsrch26, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  29: evalsrchbb9in->evalsrch26, Arg_6: min([1, Arg_6]) {O(n)}
44.76/35.67	
44.76/35.67	  29: evalsrchbb9in->evalsrch26, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.67	
44.76/35.67	  29: evalsrchbb9in->evalsrch26, Arg_8: Arg_8 {O(n)}
44.76/35.67	
44.76/35.67	  32: evalsrchcritedgein->evalsrch29, Arg_0: 0 {O(1)}
44.76/35.67	
44.76/35.67	  32: evalsrchcritedgein->evalsrch29, Arg_1: -1 {O(1)}
44.76/35.67	
44.76/35.67	  32: evalsrchcritedgein->evalsrch29, Arg_2: 1 {O(1)}
44.76/35.67	
44.76/35.67	  32: evalsrchcritedgein->evalsrch29, Arg_4: -1 {O(1)}
44.76/35.67	
44.76/35.67	  32: evalsrchcritedgein->evalsrch29, Arg_5: min([1, Arg_5]) {O(n)}
44.76/35.67	
44.76/35.67	  32: evalsrchcritedgein->evalsrch29, Arg_6: 1 {O(1)}
44.76/35.67	
44.76/35.67	  32: evalsrchcritedgein->evalsrch29, Arg_7: min([-1, Arg_7]) {O(n)}
44.76/35.68	
44.76/35.68	  32: evalsrchcritedgein->evalsrch29, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_0: Arg_0 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_1: Arg_1 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	`Upper:
44.76/35.68	
44.76/35.68	  2: evalsrch0->evalsrch1, Arg_0: Arg_0 {O(n)}
44.76/35.68	
44.76/35.68	  2: evalsrch0->evalsrch1, Arg_1: Arg_1 {O(n)}
44.76/35.68	
44.76/35.68	  2: evalsrch0->evalsrch1, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  2: evalsrch0->evalsrch1, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  2: evalsrch0->evalsrch1, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  2: evalsrch0->evalsrch1, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  2: evalsrch0->evalsrch1, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  2: evalsrch0->evalsrch1, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  2: evalsrch0->evalsrch1, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  3: evalsrch1->evalsrch2, Arg_0: Arg_0 {O(n)}
44.76/35.68	
44.76/35.68	  3: evalsrch1->evalsrch2, Arg_1: Arg_1 {O(n)}
44.76/35.68	
44.76/35.68	  3: evalsrch1->evalsrch2, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  3: evalsrch1->evalsrch2, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  3: evalsrch1->evalsrch2, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  3: evalsrch1->evalsrch2, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  3: evalsrch1->evalsrch2, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  3: evalsrch1->evalsrch2, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  3: evalsrch1->evalsrch2, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  12: evalsrch10->evalsrchbb1in, Arg_0: 0 {O(1)}
44.76/35.68	
44.76/35.68	  12: evalsrch10->evalsrchbb1in, Arg_1: 0 {O(1)}
44.76/35.68	
44.76/35.68	  12: evalsrch10->evalsrchbb1in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  12: evalsrch10->evalsrchbb1in, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  12: evalsrch10->evalsrchbb1in, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  12: evalsrch10->evalsrchbb1in, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  12: evalsrch10->evalsrchbb1in, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  12: evalsrch10->evalsrchbb1in, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  12: evalsrch10->evalsrchbb1in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  4: evalsrch2->evalsrch3, Arg_0: Arg_0 {O(n)}
44.76/35.68	
44.76/35.68	  4: evalsrch2->evalsrch3, Arg_1: Arg_1 {O(n)}
44.76/35.68	
44.76/35.68	  4: evalsrch2->evalsrch3, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  4: evalsrch2->evalsrch3, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  4: evalsrch2->evalsrch3, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  4: evalsrch2->evalsrch3, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  4: evalsrch2->evalsrch3, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  4: evalsrch2->evalsrch3, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  4: evalsrch2->evalsrch3, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  27: evalsrch24->evalsrch25, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  27: evalsrch24->evalsrch25, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  27: evalsrch24->evalsrch25, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  27: evalsrch24->evalsrch25, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  27: evalsrch24->evalsrch25, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  27: evalsrch24->evalsrch25, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  27: evalsrch24->evalsrch25, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  28: evalsrch25->evalsrchstop, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  28: evalsrch25->evalsrchstop, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  28: evalsrch25->evalsrchstop, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  28: evalsrch25->evalsrchstop, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  28: evalsrch25->evalsrchstop, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  28: evalsrch25->evalsrchstop, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  28: evalsrch25->evalsrchstop, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  30: evalsrch26->evalsrch27, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  30: evalsrch26->evalsrch27, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  30: evalsrch26->evalsrch27, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  30: evalsrch26->evalsrch27, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  30: evalsrch26->evalsrch27, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  30: evalsrch26->evalsrch27, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  30: evalsrch26->evalsrch27, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  31: evalsrch27->evalsrchstop, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  31: evalsrch27->evalsrchstop, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  31: evalsrch27->evalsrchstop, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  31: evalsrch27->evalsrchstop, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  31: evalsrch27->evalsrchstop, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  31: evalsrch27->evalsrchstop, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  31: evalsrch27->evalsrchstop, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  33: evalsrch29->evalsrch30, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  33: evalsrch29->evalsrch30, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  33: evalsrch29->evalsrch30, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  33: evalsrch29->evalsrch30, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  33: evalsrch29->evalsrch30, Arg_6: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  33: evalsrch29->evalsrch30, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  33: evalsrch29->evalsrch30, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  5: evalsrch3->evalsrch4, Arg_0: Arg_0 {O(n)}
44.76/35.68	
44.76/35.68	  5: evalsrch3->evalsrch4, Arg_1: Arg_1 {O(n)}
44.76/35.68	
44.76/35.68	  5: evalsrch3->evalsrch4, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  5: evalsrch3->evalsrch4, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  5: evalsrch3->evalsrch4, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  5: evalsrch3->evalsrch4, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  5: evalsrch3->evalsrch4, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  5: evalsrch3->evalsrch4, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  5: evalsrch3->evalsrch4, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  34: evalsrch30->evalsrch31, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  34: evalsrch30->evalsrch31, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  34: evalsrch30->evalsrch31, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  34: evalsrch30->evalsrch31, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  34: evalsrch30->evalsrch31, Arg_6: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  34: evalsrch30->evalsrch31, Arg_7: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  34: evalsrch30->evalsrch31, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  35: evalsrch31->evalsrch32, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  35: evalsrch31->evalsrch32, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  35: evalsrch31->evalsrch32, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  35: evalsrch31->evalsrch32, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  35: evalsrch31->evalsrch32, Arg_6: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  35: evalsrch31->evalsrch32, Arg_7: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  35: evalsrch31->evalsrch32, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  36: evalsrch32->evalsrchbb10in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  36: evalsrch32->evalsrchbb10in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  36: evalsrch32->evalsrchbb10in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  36: evalsrch32->evalsrchbb10in, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  36: evalsrch32->evalsrchbb10in, Arg_6: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  36: evalsrch32->evalsrchbb10in, Arg_7: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  36: evalsrch32->evalsrchbb10in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  37: evalsrch32->evalsrchbb1in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  37: evalsrch32->evalsrchbb1in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  37: evalsrch32->evalsrchbb1in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  37: evalsrch32->evalsrchbb1in, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  37: evalsrch32->evalsrchbb1in, Arg_6: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  37: evalsrch32->evalsrchbb1in, Arg_7: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  37: evalsrch32->evalsrchbb1in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  38: evalsrch32->evalsrchbb1in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  38: evalsrch32->evalsrchbb1in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  38: evalsrch32->evalsrchbb1in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  38: evalsrch32->evalsrchbb1in, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  38: evalsrch32->evalsrchbb1in, Arg_6: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  38: evalsrch32->evalsrchbb1in, Arg_7: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  38: evalsrch32->evalsrchbb1in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  6: evalsrch4->evalsrch5, Arg_0: Arg_0 {O(n)}
44.76/35.68	
44.76/35.68	  6: evalsrch4->evalsrch5, Arg_1: Arg_1 {O(n)}
44.76/35.68	
44.76/35.68	  6: evalsrch4->evalsrch5, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  6: evalsrch4->evalsrch5, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  6: evalsrch4->evalsrch5, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  6: evalsrch4->evalsrch5, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  6: evalsrch4->evalsrch5, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  6: evalsrch4->evalsrch5, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  6: evalsrch4->evalsrch5, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  7: evalsrch5->evalsrch6, Arg_0: Arg_0 {O(n)}
44.76/35.68	
44.76/35.68	  7: evalsrch5->evalsrch6, Arg_1: Arg_1 {O(n)}
44.76/35.68	
44.76/35.68	  7: evalsrch5->evalsrch6, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  7: evalsrch5->evalsrch6, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  7: evalsrch5->evalsrch6, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  7: evalsrch5->evalsrch6, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  7: evalsrch5->evalsrch6, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  7: evalsrch5->evalsrch6, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  7: evalsrch5->evalsrch6, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  8: evalsrch6->evalsrch7, Arg_0: Arg_0 {O(n)}
44.76/35.68	
44.76/35.68	  8: evalsrch6->evalsrch7, Arg_1: Arg_1 {O(n)}
44.76/35.68	
44.76/35.68	  8: evalsrch6->evalsrch7, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  8: evalsrch6->evalsrch7, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  8: evalsrch6->evalsrch7, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  8: evalsrch6->evalsrch7, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  8: evalsrch6->evalsrch7, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  8: evalsrch6->evalsrch7, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  8: evalsrch6->evalsrch7, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  9: evalsrch7->evalsrch8, Arg_0: Arg_0 {O(n)}
44.76/35.68	
44.76/35.68	  9: evalsrch7->evalsrch8, Arg_1: Arg_1 {O(n)}
44.76/35.68	
44.76/35.68	  9: evalsrch7->evalsrch8, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  9: evalsrch7->evalsrch8, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  9: evalsrch7->evalsrch8, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  9: evalsrch7->evalsrch8, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  9: evalsrch7->evalsrch8, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  9: evalsrch7->evalsrch8, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  9: evalsrch7->evalsrch8, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  10: evalsrch8->evalsrch9, Arg_0: Arg_0 {O(n)}
44.76/35.68	
44.76/35.68	  10: evalsrch8->evalsrch9, Arg_1: Arg_1 {O(n)}
44.76/35.68	
44.76/35.68	  10: evalsrch8->evalsrch9, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  10: evalsrch8->evalsrch9, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  10: evalsrch8->evalsrch9, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  10: evalsrch8->evalsrch9, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  10: evalsrch8->evalsrch9, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  10: evalsrch8->evalsrch9, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  10: evalsrch8->evalsrch9, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  11: evalsrch9->evalsrch10, Arg_0: Arg_0 {O(n)}
44.76/35.68	
44.76/35.68	  11: evalsrch9->evalsrch10, Arg_1: Arg_1 {O(n)}
44.76/35.68	
44.76/35.68	  11: evalsrch9->evalsrch10, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  11: evalsrch9->evalsrch10, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  11: evalsrch9->evalsrch10, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  11: evalsrch9->evalsrch10, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  11: evalsrch9->evalsrch10, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  11: evalsrch9->evalsrch10, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  11: evalsrch9->evalsrch10, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  1: evalsrchbb0in->evalsrch0, Arg_0: Arg_0 {O(n)}
44.76/35.68	
44.76/35.68	  1: evalsrchbb0in->evalsrch0, Arg_1: Arg_1 {O(n)}
44.76/35.68	
44.76/35.68	  1: evalsrchbb0in->evalsrch0, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  1: evalsrchbb0in->evalsrch0, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  1: evalsrchbb0in->evalsrch0, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  1: evalsrchbb0in->evalsrch0, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  1: evalsrchbb0in->evalsrch0, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  1: evalsrchbb0in->evalsrch0, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  1: evalsrchbb0in->evalsrch0, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  39: evalsrchbb10in->evalsrchstop, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  39: evalsrchbb10in->evalsrchstop, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  39: evalsrchbb10in->evalsrchstop, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  39: evalsrchbb10in->evalsrchstop, Arg_4: max([0, max([Arg_4, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  39: evalsrchbb10in->evalsrchstop, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  39: evalsrchbb10in->evalsrchstop, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  39: evalsrchbb10in->evalsrchstop, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  13: evalsrchbb1in->evalsrchbb2in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  13: evalsrchbb1in->evalsrchbb2in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  13: evalsrchbb1in->evalsrchbb2in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  13: evalsrchbb1in->evalsrchbb2in, Arg_4: max([0, max([Arg_4, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  13: evalsrchbb1in->evalsrchbb2in, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  13: evalsrchbb1in->evalsrchbb2in, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  13: evalsrchbb1in->evalsrchbb2in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  14: evalsrchbb1in->evalsrchbb10in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  14: evalsrchbb1in->evalsrchbb10in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  14: evalsrchbb1in->evalsrchbb10in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  14: evalsrchbb1in->evalsrchbb10in, Arg_4: max([0, max([Arg_4, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  14: evalsrchbb1in->evalsrchbb10in, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  14: evalsrchbb1in->evalsrchbb10in, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  14: evalsrchbb1in->evalsrchbb10in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  15: evalsrchbb2in->evalsrchbb3in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  15: evalsrchbb2in->evalsrchbb3in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  15: evalsrchbb2in->evalsrchbb3in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  15: evalsrchbb2in->evalsrchbb3in, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  15: evalsrchbb2in->evalsrchbb3in, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  15: evalsrchbb2in->evalsrchbb3in, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  15: evalsrchbb2in->evalsrchbb3in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  16: evalsrchbb3in->evalsrchbb4in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  16: evalsrchbb3in->evalsrchbb4in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  16: evalsrchbb3in->evalsrchbb4in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  16: evalsrchbb3in->evalsrchbb4in, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  16: evalsrchbb3in->evalsrchbb4in, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  16: evalsrchbb3in->evalsrchbb4in, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  16: evalsrchbb3in->evalsrchbb4in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  17: evalsrchbb3in->evalsrchcritedgein, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  17: evalsrchbb3in->evalsrchcritedgein, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  17: evalsrchbb3in->evalsrchcritedgein, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  17: evalsrchbb3in->evalsrchcritedgein, Arg_4: -1 {O(1)}
44.76/35.68	
44.76/35.68	  17: evalsrchbb3in->evalsrchcritedgein, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  17: evalsrchbb3in->evalsrchcritedgein, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  17: evalsrchbb3in->evalsrchcritedgein, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  18: evalsrchbb4in->evalsrchbb5in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  18: evalsrchbb4in->evalsrchbb5in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  18: evalsrchbb4in->evalsrchbb5in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  18: evalsrchbb4in->evalsrchbb5in, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  18: evalsrchbb4in->evalsrchbb5in, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  18: evalsrchbb4in->evalsrchbb5in, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  18: evalsrchbb4in->evalsrchbb5in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  19: evalsrchbb4in->evalsrchbb5in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  19: evalsrchbb4in->evalsrchbb5in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  19: evalsrchbb4in->evalsrchbb5in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  19: evalsrchbb4in->evalsrchbb5in, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  19: evalsrchbb4in->evalsrchbb5in, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  19: evalsrchbb4in->evalsrchbb5in, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  19: evalsrchbb4in->evalsrchbb5in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  20: evalsrchbb4in->evalsrchcritedgein, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  20: evalsrchbb4in->evalsrchcritedgein, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  20: evalsrchbb4in->evalsrchcritedgein, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  20: evalsrchbb4in->evalsrchcritedgein, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  20: evalsrchbb4in->evalsrchcritedgein, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  20: evalsrchbb4in->evalsrchcritedgein, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  20: evalsrchbb4in->evalsrchcritedgein, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  21: evalsrchbb5in->evalsrchbb6in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  21: evalsrchbb5in->evalsrchbb6in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  21: evalsrchbb5in->evalsrchbb6in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  21: evalsrchbb5in->evalsrchbb6in, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  21: evalsrchbb5in->evalsrchbb6in, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  21: evalsrchbb5in->evalsrchbb6in, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  21: evalsrchbb5in->evalsrchbb6in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  22: evalsrchbb5in->evalsrchbb9in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  22: evalsrchbb5in->evalsrchbb9in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  22: evalsrchbb5in->evalsrchbb9in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  22: evalsrchbb5in->evalsrchbb9in, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  22: evalsrchbb5in->evalsrchbb9in, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  22: evalsrchbb5in->evalsrchbb9in, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  22: evalsrchbb5in->evalsrchbb9in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  23: evalsrchbb6in->evalsrchbb7in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  23: evalsrchbb6in->evalsrchbb7in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  23: evalsrchbb6in->evalsrchbb7in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  23: evalsrchbb6in->evalsrchbb7in, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  23: evalsrchbb6in->evalsrchbb7in, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  23: evalsrchbb6in->evalsrchbb7in, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  23: evalsrchbb6in->evalsrchbb7in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  24: evalsrchbb6in->evalsrchbb8in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  24: evalsrchbb6in->evalsrchbb8in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  24: evalsrchbb6in->evalsrchbb8in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  24: evalsrchbb6in->evalsrchbb8in, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  24: evalsrchbb6in->evalsrchbb8in, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  24: evalsrchbb6in->evalsrchbb8in, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  24: evalsrchbb6in->evalsrchbb8in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  25: evalsrchbb7in->evalsrchbb3in, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  25: evalsrchbb7in->evalsrchbb3in, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  25: evalsrchbb7in->evalsrchbb3in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  25: evalsrchbb7in->evalsrchbb3in, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  25: evalsrchbb7in->evalsrchbb3in, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  25: evalsrchbb7in->evalsrchbb3in, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  25: evalsrchbb7in->evalsrchbb3in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  26: evalsrchbb8in->evalsrch24, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  26: evalsrchbb8in->evalsrch24, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  26: evalsrchbb8in->evalsrch24, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  26: evalsrchbb8in->evalsrch24, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  26: evalsrchbb8in->evalsrch24, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  26: evalsrchbb8in->evalsrch24, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  26: evalsrchbb8in->evalsrch24, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  29: evalsrchbb9in->evalsrch26, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  29: evalsrchbb9in->evalsrch26, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  29: evalsrchbb9in->evalsrch26, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  29: evalsrchbb9in->evalsrch26, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  29: evalsrchbb9in->evalsrch26, Arg_6: max([0, max([Arg_6, 7*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  29: evalsrchbb9in->evalsrch26, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  29: evalsrchbb9in->evalsrch26, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  32: evalsrchcritedgein->evalsrch29, Arg_0: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  32: evalsrchcritedgein->evalsrch29, Arg_1: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  32: evalsrchcritedgein->evalsrch29, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  32: evalsrchcritedgein->evalsrch29, Arg_4: max([0, 2*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  32: evalsrchcritedgein->evalsrch29, Arg_6: max([0, 7*Arg_2]) {O(n)}
44.76/35.68	
44.76/35.68	  32: evalsrchcritedgein->evalsrch29, Arg_7: max([0, max([Arg_7, 2*Arg_2])]) {O(n)}
44.76/35.68	
44.76/35.68	  32: evalsrchcritedgein->evalsrch29, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_0: Arg_0 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_1: Arg_1 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_2: Arg_2 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_3: Arg_3 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_4: Arg_4 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_5: Arg_5 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_6: Arg_6 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_7: Arg_7 {O(n)}
44.76/35.68	
44.76/35.68	  0: evalsrchstart->evalsrchbb0in, Arg_8: Arg_8 {O(n)}
44.76/35.68	
44.76/35.68	
44.76/35.68	----------------------------------------
44.76/35.68	
44.76/35.68	(2)
44.76/35.68	BOUNDS(1, max(15 + 7 * Arg_2, 15) + nat(1 + 7 * Arg_2) + nat(3 * Arg_2) + nat(30 * Arg_2) + max(9, 9 + Arg_2) + nat(2 + 2 * Arg_2) + nat(10 * Arg_2) + nat(18 * Arg_2) + nat(2 * Arg_2))
44.76/35.68	
44.76/35.68	----------------------------------------
44.76/35.68	
44.76/35.68	(3) Loat Proof (FINISHED)
44.76/35.68	
44.76/35.68	
44.76/35.68	### Pre-processing the ITS problem ###
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Initial linear ITS problem
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	      0: evalsrchstart -> evalsrchbb0in : [], cost: 1
44.76/35.68	
44.76/35.68	      1: evalsrchbb0in -> evalsrch0 : [], cost: 1
44.76/35.68	
44.76/35.68	      2: evalsrch0 -> evalsrch1 : [], cost: 1
44.76/35.68	
44.76/35.68	      3: evalsrch1 -> evalsrch2 : [], cost: 1
44.76/35.68	
44.76/35.68	      4: evalsrch2 -> evalsrch3 : [], cost: 1
44.76/35.68	
44.76/35.68	      5: evalsrch3 -> evalsrch4 : [], cost: 1
44.76/35.68	
44.76/35.68	      6: evalsrch4 -> evalsrch5 : [], cost: 1
44.76/35.68	
44.76/35.68	      7: evalsrch5 -> evalsrch6 : [], cost: 1
44.76/35.68	
44.76/35.68	      8: evalsrch6 -> evalsrch7 : [], cost: 1
44.76/35.68	
44.76/35.68	      9: evalsrch7 -> evalsrch8 : [], cost: 1
44.76/35.68	
44.76/35.68	     10: evalsrch8 -> evalsrch9 : [], cost: 1
44.76/35.68	
44.76/35.68	     11: evalsrch9 -> evalsrch10 : [], cost: 1
44.76/35.68	
44.76/35.68	     12: evalsrch10 -> evalsrchbb1in : A'=0, B'=0, [], cost: 1
44.76/35.68	
44.76/35.68	     13: evalsrchbb1in -> evalsrchbb2in : [ C>=1+A ], cost: 1
44.76/35.68	
44.76/35.68	     14: evalsrchbb1in -> evalsrchbb10in : [ A>=C ], cost: 1
44.76/35.68	
44.76/35.68	     15: evalsrchbb2in -> evalsrchbb3in : D'=free, E'=B, [], cost: 1
44.76/35.68	
44.76/35.68	     16: evalsrchbb3in -> evalsrchbb4in : [ E>=0 ], cost: 1
44.76/35.68	
44.76/35.68	     17: evalsrchbb3in -> evalsrchcritedgein : [ 0>=1+E ], cost: 1
44.76/35.68	
44.76/35.68	     18: evalsrchbb4in -> evalsrchbb5in : [ free_1>=1+D ], cost: 1
44.76/35.68	
44.76/35.68	     19: evalsrchbb4in -> evalsrchbb5in : [ D>=1+free_2 ], cost: 1
44.76/35.68	
44.76/35.68	     20: evalsrchbb4in -> evalsrchcritedgein : [], cost: 1
44.76/35.68	
44.76/35.68	     21: evalsrchbb5in -> evalsrchbb6in : F'=free_3, [ free_3>=1 ], cost: 1
44.76/35.68	
44.76/35.68	     22: evalsrchbb5in -> evalsrchbb9in : [ 0>=free_4 ], cost: 1
44.76/35.68	
44.76/35.68	     23: evalsrchbb6in -> evalsrchbb7in : [ 1+E>=F ], cost: 1
44.76/35.68	
44.76/35.68	     24: evalsrchbb6in -> evalsrchbb8in : [ F>=2+E ], cost: 1
44.76/35.68	
44.76/35.68	     25: evalsrchbb7in -> evalsrchbb3in : E'=-F+E, [], cost: 1
44.76/35.68	
44.76/35.68	     26: evalsrchbb8in -> evalsrch24 : [], cost: 1
44.76/35.68	
44.76/35.68	     27: evalsrch24 -> evalsrch25 : [], cost: 1
44.76/35.68	
44.76/35.68	     28: evalsrch25 -> evalsrchstop : [], cost: 1
44.76/35.68	
44.76/35.68	     29: evalsrchbb9in -> evalsrch26 : [], cost: 1
44.76/35.68	
44.76/35.68	     30: evalsrch26 -> evalsrch27 : [], cost: 1
44.76/35.68	
44.76/35.68	     31: evalsrch27 -> evalsrchstop : [], cost: 1
44.76/35.68	
44.76/35.68	     32: evalsrchcritedgein -> evalsrch29 : G'=1+A, [], cost: 1
44.76/35.68	
44.76/35.68	     33: evalsrch29 -> evalsrch30 : [], cost: 1
44.76/35.68	
44.76/35.68	     34: evalsrch30 -> evalsrch31 : H'=1+E, [], cost: 1
44.76/35.68	
44.76/35.68	     35: evalsrch31 -> evalsrch32 : [], cost: 1
44.76/35.68	
44.76/35.68	     36: evalsrch32 -> evalsrchbb10in : [ H==Q ], cost: 1
44.76/35.68	
44.76/35.68	     37: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ Q>=1+H ], cost: 1
44.76/35.68	
44.76/35.68	     38: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ H>=1+Q ], cost: 1
44.76/35.68	
44.76/35.68	     39: evalsrchbb10in -> evalsrchstop : [], cost: 1
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Removed unreachable and leaf rules:
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	      0: evalsrchstart -> evalsrchbb0in : [], cost: 1
44.76/35.68	
44.76/35.68	      1: evalsrchbb0in -> evalsrch0 : [], cost: 1
44.76/35.68	
44.76/35.68	      2: evalsrch0 -> evalsrch1 : [], cost: 1
44.76/35.68	
44.76/35.68	      3: evalsrch1 -> evalsrch2 : [], cost: 1
44.76/35.68	
44.76/35.68	      4: evalsrch2 -> evalsrch3 : [], cost: 1
44.76/35.68	
44.76/35.68	      5: evalsrch3 -> evalsrch4 : [], cost: 1
44.76/35.68	
44.76/35.68	      6: evalsrch4 -> evalsrch5 : [], cost: 1
44.76/35.68	
44.76/35.68	      7: evalsrch5 -> evalsrch6 : [], cost: 1
44.76/35.68	
44.76/35.68	      8: evalsrch6 -> evalsrch7 : [], cost: 1
44.76/35.68	
44.76/35.68	      9: evalsrch7 -> evalsrch8 : [], cost: 1
44.76/35.68	
44.76/35.68	     10: evalsrch8 -> evalsrch9 : [], cost: 1
44.76/35.68	
44.76/35.68	     11: evalsrch9 -> evalsrch10 : [], cost: 1
44.76/35.68	
44.76/35.68	     12: evalsrch10 -> evalsrchbb1in : A'=0, B'=0, [], cost: 1
44.76/35.68	
44.76/35.68	     13: evalsrchbb1in -> evalsrchbb2in : [ C>=1+A ], cost: 1
44.76/35.68	
44.76/35.68	     15: evalsrchbb2in -> evalsrchbb3in : D'=free, E'=B, [], cost: 1
44.76/35.68	
44.76/35.68	     16: evalsrchbb3in -> evalsrchbb4in : [ E>=0 ], cost: 1
44.76/35.68	
44.76/35.68	     17: evalsrchbb3in -> evalsrchcritedgein : [ 0>=1+E ], cost: 1
44.76/35.68	
44.76/35.68	     18: evalsrchbb4in -> evalsrchbb5in : [ free_1>=1+D ], cost: 1
44.76/35.68	
44.76/35.68	     19: evalsrchbb4in -> evalsrchbb5in : [ D>=1+free_2 ], cost: 1
44.76/35.68	
44.76/35.68	     20: evalsrchbb4in -> evalsrchcritedgein : [], cost: 1
44.76/35.68	
44.76/35.68	     21: evalsrchbb5in -> evalsrchbb6in : F'=free_3, [ free_3>=1 ], cost: 1
44.76/35.68	
44.76/35.68	     23: evalsrchbb6in -> evalsrchbb7in : [ 1+E>=F ], cost: 1
44.76/35.68	
44.76/35.68	     25: evalsrchbb7in -> evalsrchbb3in : E'=-F+E, [], cost: 1
44.76/35.68	
44.76/35.68	     32: evalsrchcritedgein -> evalsrch29 : G'=1+A, [], cost: 1
44.76/35.68	
44.76/35.68	     33: evalsrch29 -> evalsrch30 : [], cost: 1
44.76/35.68	
44.76/35.68	     34: evalsrch30 -> evalsrch31 : H'=1+E, [], cost: 1
44.76/35.68	
44.76/35.68	     35: evalsrch31 -> evalsrch32 : [], cost: 1
44.76/35.68	
44.76/35.68	     37: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ Q>=1+H ], cost: 1
44.76/35.68	
44.76/35.68	     38: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ H>=1+Q ], cost: 1
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Simplified all rules, resulting in:
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	      0: evalsrchstart -> evalsrchbb0in : [], cost: 1
44.76/35.68	
44.76/35.68	      1: evalsrchbb0in -> evalsrch0 : [], cost: 1
44.76/35.68	
44.76/35.68	      2: evalsrch0 -> evalsrch1 : [], cost: 1
44.76/35.68	
44.76/35.68	      3: evalsrch1 -> evalsrch2 : [], cost: 1
44.76/35.68	
44.76/35.68	      4: evalsrch2 -> evalsrch3 : [], cost: 1
44.76/35.68	
44.76/35.68	      5: evalsrch3 -> evalsrch4 : [], cost: 1
44.76/35.68	
44.76/35.68	      6: evalsrch4 -> evalsrch5 : [], cost: 1
44.76/35.68	
44.76/35.68	      7: evalsrch5 -> evalsrch6 : [], cost: 1
44.76/35.68	
44.76/35.68	      8: evalsrch6 -> evalsrch7 : [], cost: 1
44.76/35.68	
44.76/35.68	      9: evalsrch7 -> evalsrch8 : [], cost: 1
44.76/35.68	
44.76/35.68	     10: evalsrch8 -> evalsrch9 : [], cost: 1
44.76/35.68	
44.76/35.68	     11: evalsrch9 -> evalsrch10 : [], cost: 1
44.76/35.68	
44.76/35.68	     12: evalsrch10 -> evalsrchbb1in : A'=0, B'=0, [], cost: 1
44.76/35.68	
44.76/35.68	     13: evalsrchbb1in -> evalsrchbb2in : [ C>=1+A ], cost: 1
44.76/35.68	
44.76/35.68	     15: evalsrchbb2in -> evalsrchbb3in : D'=free, E'=B, [], cost: 1
44.76/35.68	
44.76/35.68	     16: evalsrchbb3in -> evalsrchbb4in : [ E>=0 ], cost: 1
44.76/35.68	
44.76/35.68	     17: evalsrchbb3in -> evalsrchcritedgein : [ 0>=1+E ], cost: 1
44.76/35.68	
44.76/35.68	     19: evalsrchbb4in -> evalsrchbb5in : [], cost: 1
44.76/35.68	
44.76/35.68	     20: evalsrchbb4in -> evalsrchcritedgein : [], cost: 1
44.76/35.68	
44.76/35.68	     21: evalsrchbb5in -> evalsrchbb6in : F'=free_3, [ free_3>=1 ], cost: 1
44.76/35.68	
44.76/35.68	     23: evalsrchbb6in -> evalsrchbb7in : [ 1+E>=F ], cost: 1
44.76/35.68	
44.76/35.68	     25: evalsrchbb7in -> evalsrchbb3in : E'=-F+E, [], cost: 1
44.76/35.68	
44.76/35.68	     32: evalsrchcritedgein -> evalsrch29 : G'=1+A, [], cost: 1
44.76/35.68	
44.76/35.68	     33: evalsrch29 -> evalsrch30 : [], cost: 1
44.76/35.68	
44.76/35.68	     34: evalsrch30 -> evalsrch31 : H'=1+E, [], cost: 1
44.76/35.68	
44.76/35.68	     35: evalsrch31 -> evalsrch32 : [], cost: 1
44.76/35.68	
44.76/35.68	     37: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ Q>=1+H ], cost: 1
44.76/35.68	
44.76/35.68	     38: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ H>=1+Q ], cost: 1
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	### Simplification by acceleration and chaining ###
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Eliminated locations (on linear paths):
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	     51: evalsrchstart -> evalsrchbb1in : A'=0, B'=0, [], cost: 13
44.76/35.68	
44.76/35.68	     52: evalsrchbb1in -> evalsrchbb3in : D'=free, E'=B, [ C>=1+A ], cost: 2
44.76/35.68	
44.76/35.68	     16: evalsrchbb3in -> evalsrchbb4in : [ E>=0 ], cost: 1
44.76/35.68	
44.76/35.68	     17: evalsrchbb3in -> evalsrchcritedgein : [ 0>=1+E ], cost: 1
44.76/35.68	
44.76/35.68	     20: evalsrchbb4in -> evalsrchcritedgein : [], cost: 1
44.76/35.68	
44.76/35.68	     55: evalsrchbb4in -> evalsrchbb3in : E'=-free_3+E, F'=free_3, [ free_3>=1 && 1+E>=free_3 ], cost: 4
44.76/35.68	
44.76/35.68	     58: evalsrchcritedgein -> evalsrch32 : G'=1+A, H'=1+E, [], cost: 4
44.76/35.68	
44.76/35.68	     37: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ Q>=1+H ], cost: 1
44.76/35.68	
44.76/35.68	     38: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ H>=1+Q ], cost: 1
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Eliminated locations (on tree-shaped paths):
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	     51: evalsrchstart -> evalsrchbb1in : A'=0, B'=0, [], cost: 13
44.76/35.68	
44.76/35.68	     52: evalsrchbb1in -> evalsrchbb3in : D'=free, E'=B, [ C>=1+A ], cost: 2
44.76/35.68	
44.76/35.68	     60: evalsrchbb3in -> evalsrchbb3in : E'=-free_3+E, F'=free_3, [ E>=0 && free_3>=1 && 1+E>=free_3 ], cost: 5
44.76/35.68	
44.76/35.68	     61: evalsrchbb3in -> evalsrch32 : G'=1+A, H'=1+E, [ 0>=1+E ], cost: 5
44.76/35.68	
44.76/35.68	     62: evalsrchbb3in -> evalsrch32 : G'=1+A, H'=1+E, [ E>=0 ], cost: 6
44.76/35.68	
44.76/35.68	     37: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ Q>=1+H ], cost: 1
44.76/35.68	
44.76/35.68	     38: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ H>=1+Q ], cost: 1
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Accelerating simple loops of location 15.
44.76/35.68	
44.76/35.68	   Accelerating the following rules:
44.76/35.68	
44.76/35.68	     60: evalsrchbb3in -> evalsrchbb3in : E'=-free_3+E, F'=free_3, [ E>=0 && free_3>=1 && 1+E>=free_3 ], cost: 5
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	      During metering: Instantiating temporary variables by {free_3==1}
44.76/35.68	
44.76/35.68	   Accelerated rule 60 with metering function 1+E, yielding the new rule 63.
44.76/35.68	
44.76/35.68	   Removing the simple loops: 60.
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Accelerated all simple loops using metering functions (where possible):
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	     51: evalsrchstart -> evalsrchbb1in : A'=0, B'=0, [], cost: 13
44.76/35.68	
44.76/35.68	     52: evalsrchbb1in -> evalsrchbb3in : D'=free, E'=B, [ C>=1+A ], cost: 2
44.76/35.68	
44.76/35.68	     61: evalsrchbb3in -> evalsrch32 : G'=1+A, H'=1+E, [ 0>=1+E ], cost: 5
44.76/35.68	
44.76/35.68	     62: evalsrchbb3in -> evalsrch32 : G'=1+A, H'=1+E, [ E>=0 ], cost: 6
44.76/35.68	
44.76/35.68	     63: evalsrchbb3in -> evalsrchbb3in : E'=-1, F'=1, [ E>=0 ], cost: 5+5*E
44.76/35.68	
44.76/35.68	     37: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ Q>=1+H ], cost: 1
44.76/35.68	
44.76/35.68	     38: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ H>=1+Q ], cost: 1
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Chained accelerated rules (with incoming rules):
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	     51: evalsrchstart -> evalsrchbb1in : A'=0, B'=0, [], cost: 13
44.76/35.68	
44.76/35.68	     52: evalsrchbb1in -> evalsrchbb3in : D'=free, E'=B, [ C>=1+A ], cost: 2
44.76/35.68	
44.76/35.68	     64: evalsrchbb1in -> evalsrchbb3in : D'=free, E'=-1, F'=1, [ C>=1+A && B>=0 ], cost: 7+5*B
44.76/35.68	
44.76/35.68	     61: evalsrchbb3in -> evalsrch32 : G'=1+A, H'=1+E, [ 0>=1+E ], cost: 5
44.76/35.68	
44.76/35.68	     62: evalsrchbb3in -> evalsrch32 : G'=1+A, H'=1+E, [ E>=0 ], cost: 6
44.76/35.68	
44.76/35.68	     37: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ Q>=1+H ], cost: 1
44.76/35.68	
44.76/35.68	     38: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ H>=1+Q ], cost: 1
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Eliminated locations (on tree-shaped paths):
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	     51: evalsrchstart -> evalsrchbb1in : A'=0, B'=0, [], cost: 13
44.76/35.68	
44.76/35.68	     65: evalsrchbb1in -> evalsrch32 : D'=free, E'=B, G'=1+A, H'=1+B, [ C>=1+A && 0>=1+B ], cost: 7
44.76/35.68	
44.76/35.68	     66: evalsrchbb1in -> evalsrch32 : D'=free, E'=B, G'=1+A, H'=1+B, [ C>=1+A && B>=0 ], cost: 8
44.76/35.68	
44.76/35.68	     67: evalsrchbb1in -> evalsrch32 : D'=free, E'=-1, F'=1, G'=1+A, H'=0, [ C>=1+A && B>=0 ], cost: 12+5*B
44.76/35.68	
44.76/35.68	     68: evalsrchbb1in -> [34] : [ C>=1+A && B>=0 ], cost: 7+5*B
44.76/35.68	
44.76/35.68	     37: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ Q>=1+H ], cost: 1
44.76/35.68	
44.76/35.68	     38: evalsrch32 -> evalsrchbb1in : A'=G, B'=H, [ H>=1+Q ], cost: 1
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Eliminated locations (on tree-shaped paths):
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	     51: evalsrchstart -> evalsrchbb1in : A'=0, B'=0, [], cost: 13
44.76/35.68	
44.76/35.68	     68: evalsrchbb1in -> [34] : [ C>=1+A && B>=0 ], cost: 7+5*B
44.76/35.68	
44.76/35.68	     69: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=1+B, D'=free, E'=B, G'=1+A, H'=1+B, [ C>=1+A && 0>=1+B && Q>=2+B ], cost: 8
44.76/35.68	
44.76/35.68	     70: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=1+B, D'=free, E'=B, G'=1+A, H'=1+B, [ C>=1+A && 0>=1+B && 1+B>=1+Q ], cost: 8
44.76/35.68	
44.76/35.68	     71: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=1+B, D'=free, E'=B, G'=1+A, H'=1+B, [ C>=1+A && B>=0 && Q>=2+B ], cost: 9
44.76/35.68	
44.76/35.68	     72: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=1+B, D'=free, E'=B, G'=1+A, H'=1+B, [ C>=1+A && B>=0 && 1+B>=1+Q ], cost: 9
44.76/35.68	
44.76/35.68	     73: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=0, D'=free, E'=-1, F'=1, G'=1+A, H'=0, [ C>=1+A && B>=0 && Q>=1 ], cost: 13+5*B
44.76/35.68	
44.76/35.68	     74: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=0, D'=free, E'=-1, F'=1, G'=1+A, H'=0, [ C>=1+A && B>=0 && 0>=1+Q ], cost: 13+5*B
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Applied pruning (of leafs and parallel rules):
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	     51: evalsrchstart -> evalsrchbb1in : A'=0, B'=0, [], cost: 13
44.76/35.68	
44.76/35.68	     68: evalsrchbb1in -> [34] : [ C>=1+A && B>=0 ], cost: 7+5*B
44.76/35.68	
44.76/35.68	     70: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=1+B, D'=free, E'=B, G'=1+A, H'=1+B, [ C>=1+A && 0>=1+B && 1+B>=1+Q ], cost: 8
44.76/35.68	
44.76/35.68	     71: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=1+B, D'=free, E'=B, G'=1+A, H'=1+B, [ C>=1+A && B>=0 && Q>=2+B ], cost: 9
44.76/35.68	
44.76/35.68	     72: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=1+B, D'=free, E'=B, G'=1+A, H'=1+B, [ C>=1+A && B>=0 && 1+B>=1+Q ], cost: 9
44.76/35.68	
44.76/35.68	     73: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=0, D'=free, E'=-1, F'=1, G'=1+A, H'=0, [ C>=1+A && B>=0 && Q>=1 ], cost: 13+5*B
44.76/35.68	
44.76/35.68	     74: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=0, D'=free, E'=-1, F'=1, G'=1+A, H'=0, [ C>=1+A && B>=0 && 0>=1+Q ], cost: 13+5*B
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Accelerating simple loops of location 13.
44.76/35.68	
44.76/35.68	   Accelerating the following rules:
44.76/35.68	
44.76/35.68	     70: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=1+B, D'=free, E'=B, G'=1+A, H'=1+B, [ C>=1+A && 0>=1+B && 1+B>=1+Q ], cost: 8
44.76/35.68	
44.76/35.68	     71: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=1+B, D'=free, E'=B, G'=1+A, H'=1+B, [ C>=1+A && B>=0 && Q>=2+B ], cost: 9
44.76/35.68	
44.76/35.68	     72: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=1+B, D'=free, E'=B, G'=1+A, H'=1+B, [ C>=1+A && B>=0 && 1+B>=1+Q ], cost: 9
44.76/35.68	
44.76/35.68	     73: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=0, D'=free, E'=-1, F'=1, G'=1+A, H'=0, [ C>=1+A && B>=0 && Q>=1 ], cost: 13+5*B
44.76/35.68	
44.76/35.68	     74: evalsrchbb1in -> evalsrchbb1in : A'=1+A, B'=0, D'=free, E'=-1, F'=1, G'=1+A, H'=0, [ C>=1+A && B>=0 && 0>=1+Q ], cost: 13+5*B
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	   Accelerated rule 70 with backward acceleration, yielding the new rule 75.
44.76/35.68	
44.76/35.68	   Accelerated rule 70 with backward acceleration, yielding the new rule 76.
44.76/35.68	
44.76/35.68	   Accelerated rule 71 with backward acceleration, yielding the new rule 77.
44.76/35.68	
44.76/35.68	   Accelerated rule 71 with backward acceleration, yielding the new rule 78.
44.76/35.68	
44.76/35.68	   Accelerated rule 72 with metering function C-A, yielding the new rule 79.
44.76/35.68	
44.76/35.68	   Accelerated rule 73 with metering function C-A, yielding the new rule 80.
44.76/35.68	
44.76/35.68	   Accelerated rule 74 with metering function C-A, yielding the new rule 81.
44.76/35.68	
44.76/35.68	   Removing the simple loops: 70 71 72 73 74.
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Accelerated all simple loops using metering functions (where possible):
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	     51: evalsrchstart -> evalsrchbb1in : A'=0, B'=0, [], cost: 13
44.76/35.68	
44.76/35.68	     68: evalsrchbb1in -> [34] : [ C>=1+A && B>=0 ], cost: 7+5*B
44.76/35.68	
44.76/35.68	     75: evalsrchbb1in -> evalsrchbb1in : A'=C, B'=C-A+B, D'=free, E'=-1+C-A+B, G'=C, H'=C-A+B, [ C>=1+A && 0>=1+B && 1+B>=1+Q && 0>=C-A+B && C-A+B>=1+Q ], cost: 8*C-8*A
44.76/35.68	
44.76/35.68	     76: evalsrchbb1in -> evalsrchbb1in : A'=A-B, B'=0, D'=free, E'=-1, G'=A-B, H'=0, [ C>=1+A && 0>=1+B && 1+B>=1+Q && C>=A-B && 0>=1+Q ], cost: -8*B
44.76/35.68	
44.76/35.68	     77: evalsrchbb1in -> evalsrchbb1in : A'=C, B'=C-A+B, D'=free, E'=-1+C-A+B, G'=C, H'=C-A+B, [ C>=1+A && B>=0 && Q>=2+B && -1+C-A+B>=0 && Q>=1+C-A+B ], cost: 9*C-9*A
44.76/35.68	
44.76/35.68	     78: evalsrchbb1in -> evalsrchbb1in : A'=-1+Q+A-B, B'=-1+Q, D'=free, E'=-2+Q, G'=-1+Q+A-B, H'=-1+Q, [ C>=1+A && B>=0 && Q>=2+B && C>=-1+Q+A-B && -2+Q>=0 ], cost: -9+9*Q-9*B
44.76/35.68	
44.76/35.68	     79: evalsrchbb1in -> evalsrchbb1in : A'=C, B'=C-A+B, D'=free, E'=-1+C-A+B, G'=C, H'=C-A+B, [ C>=1+A && B>=0 && 1+B>=1+Q ], cost: 9*C-9*A
44.76/35.68	
44.76/35.68	     80: evalsrchbb1in -> evalsrchbb1in : A'=C, B'=0, D'=free, E'=-1, F'=1, G'=C, H'=0, [ C>=1+A && B>=0 && Q>=1 ], cost: 13*C-13*A
44.76/35.68	
44.76/35.68	     81: evalsrchbb1in -> evalsrchbb1in : A'=C, B'=0, D'=free, E'=-1, F'=1, G'=C, H'=0, [ C>=1+A && B>=0 && 0>=1+Q ], cost: 13*C-13*A
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Chained accelerated rules (with incoming rules):
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	     51: evalsrchstart -> evalsrchbb1in : A'=0, B'=0, [], cost: 13
44.76/35.68	
44.76/35.68	     82: evalsrchstart -> evalsrchbb1in : A'=C, B'=C, D'=free, E'=-1+C, G'=C, H'=C, [ C>=1 && Q>=2 && Q>=1+C ], cost: 13+9*C
44.76/35.68	
44.76/35.68	     83: evalsrchstart -> evalsrchbb1in : A'=-1+Q, B'=-1+Q, D'=free, E'=-2+Q, G'=-1+Q, H'=-1+Q, [ C>=1 && Q>=2 && C>=-1+Q ], cost: 4+9*Q
44.76/35.68	
44.76/35.68	     84: evalsrchstart -> evalsrchbb1in : A'=C, B'=C, D'=free, E'=-1+C, G'=C, H'=C, [ C>=1 && 1>=1+Q ], cost: 13+9*C
44.76/35.68	
44.76/35.68	     85: evalsrchstart -> evalsrchbb1in : A'=C, B'=0, D'=free, E'=-1, F'=1, G'=C, H'=0, [ C>=1 && Q>=1 ], cost: 13+13*C
44.76/35.68	
44.76/35.68	     86: evalsrchstart -> evalsrchbb1in : A'=C, B'=0, D'=free, E'=-1, F'=1, G'=C, H'=0, [ C>=1 && 0>=1+Q ], cost: 13+13*C
44.76/35.68	
44.76/35.68	     68: evalsrchbb1in -> [34] : [ C>=1+A && B>=0 ], cost: 7+5*B
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Eliminated locations (on tree-shaped paths):
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	     87: evalsrchstart -> [34] : A'=0, B'=0, [ C>=1 ], cost: 20
44.76/35.68	
44.76/35.68	     88: evalsrchstart -> [34] : A'=-1+Q, B'=-1+Q, D'=free, E'=-2+Q, G'=-1+Q, H'=-1+Q, [ C>=1 && Q>=2 && C>=Q ], cost: 6+14*Q
44.76/35.68	
44.76/35.68	     89: evalsrchstart -> [36] : [ C>=1 && Q>=2 && Q>=1+C ], cost: 13+9*C
44.76/35.68	
44.76/35.68	     90: evalsrchstart -> [36] : [ C>=1 && 1>=1+Q ], cost: 13+9*C
44.76/35.68	
44.76/35.68	     91: evalsrchstart -> [36] : [ C>=1 && Q>=1 ], cost: 13+13*C
44.76/35.68	
44.76/35.68	     92: evalsrchstart -> [36] : [ C>=1 && 0>=1+Q ], cost: 13+13*C
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Applied pruning (of leafs and parallel rules):
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	     88: evalsrchstart -> [34] : A'=-1+Q, B'=-1+Q, D'=free, E'=-2+Q, G'=-1+Q, H'=-1+Q, [ C>=1 && Q>=2 && C>=Q ], cost: 6+14*Q
44.76/35.68	
44.76/35.68	     89: evalsrchstart -> [36] : [ C>=1 && Q>=2 && Q>=1+C ], cost: 13+9*C
44.76/35.68	
44.76/35.68	     90: evalsrchstart -> [36] : [ C>=1 && 1>=1+Q ], cost: 13+9*C
44.76/35.68	
44.76/35.68	     91: evalsrchstart -> [36] : [ C>=1 && Q>=1 ], cost: 13+13*C
44.76/35.68	
44.76/35.68	     92: evalsrchstart -> [36] : [ C>=1 && 0>=1+Q ], cost: 13+13*C
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	### Computing asymptotic complexity ###
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Fully simplified ITS problem
44.76/35.68	
44.76/35.68	   Start location: evalsrchstart
44.76/35.68	
44.76/35.68	     88: evalsrchstart -> [34] : A'=-1+Q, B'=-1+Q, D'=free, E'=-2+Q, G'=-1+Q, H'=-1+Q, [ C>=1 && Q>=2 && C>=Q ], cost: 6+14*Q
44.76/35.68	
44.76/35.68	     89: evalsrchstart -> [36] : [ C>=1 && Q>=2 && Q>=1+C ], cost: 13+9*C
44.76/35.68	
44.76/35.68	     90: evalsrchstart -> [36] : [ C>=1 && 1>=1+Q ], cost: 13+9*C
44.76/35.68	
44.76/35.68	     91: evalsrchstart -> [36] : [ C>=1 && Q>=1 ], cost: 13+13*C
44.76/35.68	
44.76/35.68	     92: evalsrchstart -> [36] : [ C>=1 && 0>=1+Q ], cost: 13+13*C
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Computing asymptotic complexity for rule 88
44.76/35.68	
44.76/35.68	   Simplified the guard:
44.76/35.68	
44.76/35.68	     88: evalsrchstart -> [34] : A'=-1+Q, B'=-1+Q, D'=free, E'=-2+Q, G'=-1+Q, H'=-1+Q, [ Q>=2 && C>=Q ], cost: 6+14*Q
44.76/35.68	
44.76/35.68	   Solved the limit problem by the following transformations:
44.76/35.68	
44.76/35.68	      Created initial limit problem:
44.76/35.68	
44.76/35.68	      -1+Q (+/+!), 6+14*Q (+), 1-Q+C (+/+!) [not solved]
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	      removing all constraints (solved by SMT)
44.76/35.68	
44.76/35.68	      resulting limit problem: [solved]
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	      applying transformation rule (C) using substitution {Q==n,C==2*n}
44.76/35.68	
44.76/35.68	      resulting limit problem:
44.76/35.68	
44.76/35.68	      [solved]
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	   Solution:
44.76/35.68	
44.76/35.68	      Q / n
44.76/35.68	
44.76/35.68	      C / 2*n
44.76/35.68	
44.76/35.68	   Resulting cost 6+14*n has complexity: Poly(n^1)
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Found new complexity Poly(n^1).
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	Obtained the following overall complexity (w.r.t. the length of the input n):
44.76/35.68	
44.76/35.68	   Complexity:  Poly(n^1)
44.76/35.68	
44.76/35.68	   Cpx degree:  1
44.76/35.68	
44.76/35.68	   Solved cost: 6+14*n
44.76/35.68	
44.76/35.68	   Rule cost:   6+14*Q
44.76/35.68	
44.76/35.68	   Rule guard:  [ Q>=2 && C>=Q ]
44.76/35.68	
44.76/35.68	
44.76/35.68	
44.76/35.68	WORST_CASE(Omega(n^1),?)
44.76/35.68	
44.76/35.68	
44.76/35.68	----------------------------------------
44.76/35.68	
44.76/35.68	(4)
44.76/35.68	BOUNDS(n^1, INF)
44.93/35.70	EOF