298.91/296.34 KILLED 298.91/296.36 proof of /export/starexec/sandbox/output/output_files/bench.koat 298.91/296.36 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 298.91/296.36 298.91/296.36 298.91/296.36 The runtime complexity of the given CpxIntTrs could be proven to be BOUNDS(1, INF). 298.91/296.36 298.91/296.36 (0) CpxIntTrs 298.91/296.36 298.91/296.36 298.91/296.36 ---------------------------------------- 298.91/296.36 298.91/296.36 (0) 298.91/296.36 Obligation: 298.91/296.36 Complexity Int TRS consisting of the following rules: 298.91/296.36 eval_analyse_other_start(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb0_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_bb0_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb1_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, 0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_bb1_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb2_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_i.0 < v_atoms_nres 298.91/296.36 eval_analyse_other_bb1_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb4_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_i.0 >= v_atoms_nres 298.91/296.36 eval_analyse_other_bb2_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_0(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_0(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_2(eval_random_start(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2), eval_analyse_other_1(nondef.0, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_1(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb4_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_1 < 0 298.91/296.36 eval_analyse_other_1(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb4_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_1 > 0 298.91/296.36 eval_analyse_other_1(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb3_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_1 >= 0 && v_1 <= 0 298.91/296.36 eval_analyse_other_bb3_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb1_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0 + 1, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_bb4_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb5_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, 0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, 0, v_nrestp.2)) :|: v_i.0 < v_atoms_nres 298.91/296.36 eval_analyse_other_bb4_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb28_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_i.0 >= v_atoms_nres 298.91/296.36 eval_analyse_other_bb5_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb6_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_k.0 < v_atoms_nr 298.91/296.36 eval_analyse_other_bb5_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb12_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, 0, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_k.0 >= v_atoms_nr 298.91/296.36 eval_analyse_other_bb6_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_4(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_4(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_2(eval_random_start(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2), eval_analyse_other_5(v_1, v_17, v_22, v_26, v_35, nondef.1, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_5(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb7_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, 0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_6 < 0 298.91/296.36 eval_analyse_other_5(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb7_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, 0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_6 > 0 298.91/296.36 eval_analyse_other_5(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb11_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.0)) :|: v_6 >= 0 && v_6 <= 0 298.91/296.36 eval_analyse_other_bb7_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb8_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_l.0 < v_nrestp.0 298.91/296.36 eval_analyse_other_bb7_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb10_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_l.0 >= v_nrestp.0 298.91/296.36 eval_analyse_other_bb8_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_6(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_6(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_2(eval_random_start(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2), eval_analyse_other_7(v_1, v_17, v_22, v_26, v_35, v_6, nondef.2, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_7(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb10_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_9 < 0 298.91/296.36 eval_analyse_other_7(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb10_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_9 > 0 298.91/296.36 eval_analyse_other_7(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb9_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_9 >= 0 && v_9 <= 0 298.91/296.36 eval_analyse_other_bb9_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb7_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0 + 1, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_bb10_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb11_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.0 + 1)) :|: v_l.0 >= v_nrestp.0 && v_l.0 <= v_nrestp.0 298.91/296.36 eval_analyse_other_bb10_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb11_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.0)) :|: v_l.0 < v_nrestp.0 298.91/296.36 eval_analyse_other_bb10_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb11_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.0)) :|: v_l.0 > v_nrestp.0 298.91/296.36 eval_analyse_other_bb11_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb5_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0 + 1, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.2, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_bb12_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb13_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, 0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, 0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_i.1 < v_nrestp.0 298.91/296.36 eval_analyse_other_bb12_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb28_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_i.1 >= v_nrestp.0 298.91/296.36 eval_analyse_other_bb13_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb14_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_j.0 < v_atoms_nr 298.91/296.36 eval_analyse_other_bb13_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb15_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_j.0 >= v_atoms_nr 298.91/296.36 eval_analyse_other_bb14_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_15(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_15(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_2(eval_random_start(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2), eval_analyse_other_16(v_1, nondef.3, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_16(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb13_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0 + 1, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0 + 1, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_17 < 0 298.91/296.36 eval_analyse_other_16(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb13_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0 + 1, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0 + 1, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_17 > 0 298.91/296.36 eval_analyse_other_16(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb13_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0 + 1, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_17 >= 0 && v_17 <= 0 298.91/296.36 eval_analyse_other_bb15_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb16_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_bASK < 0 298.91/296.36 eval_analyse_other_bb15_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb16_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_bASK > 0 298.91/296.36 eval_analyse_other_bb15_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb27_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_bASK >= 0 && v_bASK <= 0 298.91/296.36 eval_analyse_other_bb16_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_20(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_20(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_2(eval_random_start(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2), eval_analyse_other_21(v_1, v_17, nondef.4, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_21(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb17_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, 0, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, 0, v_nrestp.0, v_nrestp.2)) :|: v_22 < 0 298.91/296.36 eval_analyse_other_21(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb17_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, 0, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, 0, v_nrestp.0, v_nrestp.2)) :|: v_22 > 0 298.91/296.36 eval_analyse_other_21(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb27_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_22 >= 0 && v_22 <= 0 298.91/296.36 eval_analyse_other_bb17_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb18_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, 0, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_k.1 < v_naid.0 298.91/296.36 eval_analyse_other_bb17_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb22_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_k.1 >= v_naid.0 298.91/296.36 eval_analyse_other_bb18_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb19_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_l.1 < v_natp.0 298.91/296.36 eval_analyse_other_bb18_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb21_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_l.1 >= v_natp.0 298.91/296.36 eval_analyse_other_bb19_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_22(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_22(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_2(eval_random_start(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2), eval_analyse_other_23(v_1, v_17, v_22, nondef.5, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_23(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb21_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_26 < 0 298.91/296.36 eval_analyse_other_23(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb21_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_26 > 0 298.91/296.36 eval_analyse_other_23(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb20_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_26 >= 0 && v_26 <= 0 298.91/296.36 eval_analyse_other_bb20_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb18_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1 + 1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_bb21_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb17_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1 + 1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0 + 1, v_nrestp.0, v_nrestp.2)) :|: v_l.1 >= v_natp.0 && v_l.1 <= v_natp.0 298.91/296.36 eval_analyse_other_bb21_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb17_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1 + 1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_l.1 < v_natp.0 298.91/296.36 eval_analyse_other_bb21_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb17_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1 + 1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_l.1 > v_natp.0 298.91/296.36 eval_analyse_other_bb22_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb23_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, 0, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_natp.0 > 1 298.91/296.36 eval_analyse_other_bb22_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb27_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_natp.0 <= 1 298.91/296.36 eval_analyse_other_bb23_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb24_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, 0, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_l.2 < v_natp.0 298.91/296.36 eval_analyse_other_bb23_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb27_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_l.2 >= v_natp.0 298.91/296.36 eval_analyse_other_bb24_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb25_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_k.2 < v_naid.0 298.91/296.36 eval_analyse_other_bb24_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb26_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_k.2 >= v_naid.0 298.91/296.36 eval_analyse_other_bb25_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_30(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_30(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_2(eval_random_start(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2), eval_analyse_other_31(v_1, v_17, v_22, v_26, nondef.6, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_31(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb24_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2 + 1, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_35 < 0 298.91/296.36 eval_analyse_other_31(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb24_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2 + 1, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_35 > 0 298.91/296.36 eval_analyse_other_31(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb24_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2 + 1, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: v_35 >= 0 && v_35 <= 0 298.91/296.36 eval_analyse_other_bb26_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb23_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2 + 1, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_bb27_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_bb12_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1 + 1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 eval_analyse_other_bb28_in(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2) -> Com_1(eval_analyse_other_stop(v_1, v_17, v_22, v_26, v_35, v_6, v_9, v_atoms_nr, v_atoms_nres, v_bASK, v_i.0, v_i.1, v_j.0, v_k.0, v_k.1, v_k.2, v_l.0, v_l.1, v_l.2, v_naid.0, v_natp.0, v_nrestp.0, v_nrestp.2)) :|: TRUE 298.91/296.36 298.91/296.36 The start-symbols are:[eval_analyse_other_start_23] 298.91/296.36 299.10/296.46 EOF