details

property	value
status	complete
benchmark	cBench_cf_decode_eol.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n018.star.cs.uiowa.edu
space	Sinn_2016

run statistics

property	value
solver	AProVE
configuration	c_complexity
runtime (wallclock)	8.46104 seconds
cpu usage	9.91121
user time	9.40619
system time	0.505023
max virtual memory	1.87798E7
max residence set size	337636.0

stage attributes

key	value
starexec-result	WORST_CASE(?, O(n^2))

output

9.71/8.39 WORST_CASE(?, O(n^2)) 9.71/8.40 proof of /export/starexec/sandbox/output/output_files/bench.koat 9.71/8.40 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 9.71/8.40 9.71/8.40 9.71/8.40 The runtime complexity of the given CpxIntTrs could be proven to be BOUNDS(1, n^2). 9.71/8.40 9.71/8.40 (0) CpxIntTrs 9.71/8.40 (1) Koat Proof [FINISHED, 7010 ms] 9.71/8.40 (2) BOUNDS(1, n^2) 9.71/8.40 9.71/8.40 9.71/8.40 ---------------------------------------- 9.71/8.40 9.71/8.40 (0) 9.71/8.40 Obligation: 9.71/8.40 Complexity Int TRS consisting of the following rules: 9.71/8.40 eval_cf_decode_eol_start(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb0_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: TRUE 9.71/8.40 eval_cf_decode_eol_bb0_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb1_in(v_12, v_ss_bits_left, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_pr_ptr, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, 0)) :|: TRUE 9.71/8.40 eval_cf_decode_eol_bb1_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb2_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_zeros.0 < 11 9.71/8.40 eval_cf_decode_eol_bb1_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb8_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_zeros.0 >= 11 9.71/8.40 eval_cf_decode_eol_bb2_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb3_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_bits_left.0 < 1 9.71/8.40 eval_cf_decode_eol_bb2_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb7_in(v_12, v_bits_left.0, v_bits_left.0, v_bits_left.3, v_bits_left.5, v_p.0, v_p.0, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_bits_left.0 >= 1 9.71/8.40 eval_cf_decode_eol_bb3_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb4_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_pr_limit - v_p.0 < 3 9.71/8.40 eval_cf_decode_eol_bb3_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb6_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_pr_limit - v_p.0 >= 3 9.71/8.40 eval_cf_decode_eol_bb4_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb5_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_p.0 < v_pr_limit 9.71/8.40 eval_cf_decode_eol_bb4_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb13_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_p.0 >= v_pr_limit 9.71/8.40 eval_cf_decode_eol_bb5_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb7_in(v_12, v_bits_left.0, v_bits_left.0 + 8, v_bits_left.3, v_bits_left.5, v_p.0, v_p.0 + 1, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: TRUE 9.71/8.40 eval_cf_decode_eol_bb6_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb7_in(v_12, v_bits_left.0, v_bits_left.0 + 24, v_bits_left.3, v_bits_left.5, v_p.0, v_p.0 + 3, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: TRUE 9.71/8.40 eval_cf_decode_eol_bb7_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb1_in(v_12, v_bits_left.2 - 1, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.2, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0 + 1)) :|: TRUE 9.71/8.40 eval_cf_decode_eol_bb8_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb9_in(2, v_bits_left.0, v_bits_left.2, v_bits_left.0, v_bits_left.5, v_p.0, v_p.2, v_p.0, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_ss_K > 0 9.71/8.40 eval_cf_decode_eol_bb8_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb9_in(1, v_bits_left.0, v_bits_left.2, v_bits_left.0, v_bits_left.5, v_p.0, v_p.2, v_p.0, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_ss_K <= 0 9.71/8.40 eval_cf_decode_eol_bb9_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb10_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_bits_left.3 < v_12 9.71/8.40 eval_cf_decode_eol_bb9_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb15_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.3, v_p.0, v_p.2, v_p.3, v_p.3, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_bits_left.3 >= v_12 9.71/8.40 eval_cf_decode_eol_bb10_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb11_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_pr_limit - v_p.3 < 3 9.71/8.40 eval_cf_decode_eol_bb10_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb14_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_pr_limit - v_p.3 >= 3 9.71/8.40 eval_cf_decode_eol_bb11_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb12_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_p.3 < v_pr_limit 9.71/8.40 eval_cf_decode_eol_bb11_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb13_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: v_p.3 >= v_pr_limit 9.71/8.40 eval_cf_decode_eol_bb12_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb15_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.3 + 8, v_p.0, v_p.2, v_p.3, v_p.3 + 1, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: TRUE 9.71/8.40 eval_cf_decode_eol_bb13_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_stop(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: TRUE 9.71/8.40 eval_cf_decode_eol_bb14_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb15_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.3 + 24, v_p.0, v_p.2, v_p.3, v_p.3 + 3, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: TRUE 9.71/8.40 eval_cf_decode_eol_bb15_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.3, v_bits_left.5, v_p.0, v_p.2, v_p.3, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0) -> Com_1(eval_cf_decode_eol_bb9_in(v_12, v_bits_left.0, v_bits_left.2, v_bits_left.5 - 1, v_bits_left.5, v_p.0, v_p.2, v_p.5, v_p.5, v_pr_limit, v_pr_ptr, v_ss_K, v_ss_bits, v_ss_bits_left, v_zeros.0)) :|: TRUE 9.71/8.40 9.71/8.40 The start-symbols are:[eval_cf_decode_eol_start_15] 9.71/8.40 9.71/8.40 9.71/8.40 ---------------------------------------- 9.71/8.40 9.71/8.40 (1) Koat Proof (FINISHED) 9.71/8.40 YES(?, 3312*ar_7 + 3312*ar_3 + 32*ar_1*ar_7 + 32*ar_1*ar_3 + 1424*ar_1 + 146991) 9.71/8.40 9.71/8.40 9.71/8.40 9.71/8.40 Initial complexity problem: 9.71/8.40 9.71/8.40 1: T: 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolstart(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb0in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb0in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb1in(ar_1, ar_1, ar_3, ar_3, 0, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb1in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb2in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) [ 10 >= ar_4 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb1in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb8in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) [ ar_4 >= 11 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb2in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb3in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) [ 0 >= ar_0 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb2in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb7in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_0, ar_2, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) [ ar_0 >= 1 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb3in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb4in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) [ ar_2 + 2 >= ar_7 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb3in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb6in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) [ ar_7 >= ar_2 + 3 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb4in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb5in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) [ ar_7 >= ar_2 + 1 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb4in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb13in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) [ ar_2 >= ar_7 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb5in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb7in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_0 + 8, ar_2 + 1, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb6in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb7in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_0 + 24, ar_2 + 3, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb7in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb1in(ar_5 - 1, ar_1, ar_6, ar_3, ar_4 + 1, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb8in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb9in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 2, ar_0, ar_2, ar_12, ar_13)) [ ar_8 >= 1 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb8in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb9in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 1, ar_0, ar_2, ar_12, ar_13)) [ 0 >= ar_8 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb9in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb10in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) [ ar_9 >= ar_10 + 1 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb9in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb15in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_10, ar_11)) [ ar_10 >= ar_9 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb10in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb11in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) [ ar_11 + 2 >= ar_7 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb10in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb14in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) [ ar_7 >= ar_11 + 3 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb11in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb12in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) [ ar_7 >= ar_11 + 1 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb11in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb13in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13)) [ ar_11 >= ar_7 ] 9.71/8.40 9.71/8.40 (Comp: ?, Cost: 1) evalcfdecodeeolbb12in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13) -> Com_1(evalcfdecodeeolbb15in(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_10 + 8, ar_11 + 1)) popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to Complexity_C_Integer 2019-03-21 04.38