Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Compl Integ Trans Syste 26843 pair #381744605
details
property
value
status
complete
benchmark
sipmamergesort2.c.koat
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n045.star.cs.uiowa.edu
space
Flores-Montoya_16
run statistics
property
value
solver
AProVE
configuration
complexity
runtime (wallclock)
291.656014919 seconds
cpu usage
668.414310267
max memory
1.579229184E9
stage attributes
key
value
output-size
286107
starexec-result
WORST_CASE(Omega(n^1), ?)
output
/export/starexec/sandbox/solver/bin/starexec_run_complexity /export/starexec/sandbox/benchmark/theBenchmark.koat /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- WORST_CASE(Omega(n^1), ?) proof of /export/starexec/sandbox/benchmark/theBenchmark.koat # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty The runtime complexity of the given CpxIntTrs could be proven to be BOUNDS(n^1, INF). (0) CpxIntTrs (1) Loat Proof [FINISHED, 81.7 s] (2) BOUNDS(n^1, INF) ---------------------------------------- (0) Obligation: Complexity Int TRS consisting of the following rules: eval_sipmamergesort2_start(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb0_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_bb0_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_0(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_0(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_1(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_1(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_2(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_2(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_3(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_3(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_4(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_4(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_5(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_5(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_6(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_6(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_7(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_7(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_8(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_8(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_9(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_9(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_10(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_10(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_11(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_11(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_12(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_12(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_13(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_13(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_14(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_14(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_15(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_15(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_16(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_16(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_17(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_17(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_18(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_18(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_19(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_19(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_20(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_20(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_21(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_21(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_22(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_22(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb1_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, 1, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_bb1_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb2_in(v_104, v_5, v_51, v_58, v_i_8, v_n, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_bb2_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb3_in(v_104, v_m_0 - 2 * v_p_0, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_p_0, v_q_3, v_q_5, v_q_7, v_p_0, v_r_3, v_r_5, v_r_7, v_up_0)) :|: v_m_0 >= v_p_0 && v_m_0 - v_p_0 >= v_p_0 eval_sipmamergesort2_bb2_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb3_in(v_104, 0, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_p_0, v_q_3, v_q_5, v_q_7, v_m_0 - v_p_0, v_r_3, v_r_5, v_r_7, v_up_0)) :|: v_m_0 >= v_p_0 && v_m_0 - v_p_0 < v_p_0 eval_sipmamergesort2_bb2_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb3_in(v_104, -(v_p_0), v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_m_0, v_q_3, v_q_5, v_q_7, v_p_0, v_r_3, v_r_5, v_r_7, v_up_0)) :|: v_m_0 < v_p_0 && 0 >= v_p_0 eval_sipmamergesort2_bb2_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb3_in(v_104, 0, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_m_0, v_q_3, v_q_5, v_q_7, 0, v_r_3, v_r_5, v_r_7, v_up_0)) :|: v_m_0 < v_p_0 && 0 < v_p_0 eval_sipmamergesort2_bb3_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb4_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: v_q_1 > 0 && v_r_1 > 0 eval_sipmamergesort2_bb3_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb7_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_1, v_r_5, v_r_7, v_up_0)) :|: v_q_1 <= 0 eval_sipmamergesort2_bb3_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb7_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_1, v_r_5, v_r_7, v_up_0)) :|: v_r_1 <= 0 eval_sipmamergesort2_bb4_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb5_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: nondef_0 < nondef_1 eval_sipmamergesort2_bb4_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb6_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: nondef_0 >= nondef_1 eval_sipmamergesort2_bb5_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb3_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1 - 1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_bb6_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb3_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1 - 1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_bb7_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb8_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: v_r_3 > 0 eval_sipmamergesort2_bb7_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb9_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_1, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: v_r_3 <= 0 eval_sipmamergesort2_bb8_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb7_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3 - 1, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_bb9_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb10_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: v_q_3 > 0 eval_sipmamergesort2_bb9_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb11_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: v_q_3 <= 0 eval_sipmamergesort2_bb10_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb9_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3 - 1, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_bb11_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_69(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_69(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_70(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_70(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_71(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_71(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_72(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_72(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_73(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_73(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb2_in(v_104, v_5, v_51, v_58, v_i_8, v_5, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: v_5 > 0 eval_sipmamergesort2_73(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb12_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: v_5 <= 0 eval_sipmamergesort2_bb12_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_74(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_74(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_75(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_75(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_76(v_104, v_5, 2 * v_p_0, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_76(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_77(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_77(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb25_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, 0)) :|: v_51 >= v_n eval_sipmamergesort2_77(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_bb13_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: v_51 < v_n eval_sipmamergesort2_bb13_in(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_78(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_78(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_79(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_79(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_80(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_80(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_81(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_81(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_82(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_82(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_83(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_83(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_84(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_84(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_85(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_85(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_86(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_86(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_87(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_87(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_88(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_88(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_89(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_89(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_90(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_90(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_91(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_91(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_92(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_92(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_93(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_93(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_94(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_94(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_95(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_95(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_96(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_96(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_97(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE eval_sipmamergesort2_97(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0) -> Com_1(eval_sipmamergesort2_98(v_104, v_5, v_51, v_58, v_i_8, v_m_0, v_m_1, v_n, v_p_0, v_q_1, v_q_3, v_q_5, v_q_7, v_r_1, v_r_3, v_r_5, v_r_7, v_up_0)) :|: TRUE
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to Compl Integ Trans Syste 26843