10.80/3.69	NO
11.61/6.48	proof of /export/starexec/sandbox/benchmark/theBenchmark.jar
11.61/6.48	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
11.61/6.48	
11.61/6.48	
11.61/6.48	termination of the given Bare JBC problem could be disproven:
11.61/6.48	
11.61/6.48	(0) Bare JBC problem
11.61/6.48	(1) BareJBCToJBCProof [EQUIVALENT, 96 ms]
11.61/6.48	(2) JBC problem
11.61/6.48	(3) JBCToGraph [EQUIVALENT, 434 ms]
11.61/6.48	(4) JBCTerminationGraph
11.61/6.48	(5) JBCNonTerm [COMPLETE, 977 ms]
11.61/6.48	(6) NO
11.61/6.48	
11.61/6.48	
11.61/6.48	----------------------------------------
11.61/6.48	
11.61/6.48	(0)
11.61/6.48	Obligation:
11.61/6.48	need to prove termination of the following program:
11.61/6.48	package simple.complxStruc;
11.61/6.48	
11.61/6.48	public class ComplxStruc {
11.61/6.48	
11.61/6.48		public static void loop(int i) {
11.61/6.48			int j = i;
11.61/6.48			while (i > 0) {
11.61/6.48				if (i >= j) {
11.61/6.48					i--;
11.61/6.48					if (j < 5) {
11.61/6.48						j++;
11.61/6.48						if (i-j>2) {
11.61/6.48							i++;
11.61/6.48						} else {
11.61/6.48							j++;
11.61/6.48						}
11.61/6.48					} else {
11.61/6.48						j--;
11.61/6.48					}
11.61/6.48				} else {
11.61/6.48					if (i > 0 & j < 0) {
11.61/6.48						i--;
11.61/6.48						if (j < -1) {
11.61/6.48							j++;
11.61/6.48						} else {
11.61/6.48							i++;
11.61/6.48						}
11.61/6.48					} else {
11.61/6.48						i++;
11.61/6.48						if (j*2 > i) {
11.61/6.48							j--;
11.61/6.48						} else {
11.61/6.48							j++;
11.61/6.48						}
11.61/6.48					}
11.61/6.48				}
11.61/6.48				
11.61/6.48			}
11.61/6.48		}
11.61/6.48	}
11.61/6.48	
11.61/6.48	
11.61/6.48	package simple.complxStruc;
11.61/6.48	
11.61/6.48	public class Main {
11.61/6.48	
11.61/6.48		/**
11.61/6.48		 * @param args
11.61/6.48		 */
11.61/6.48		public static void main(String[] args) {
11.61/6.48			ComplxStruc.loop(args.length);
11.61/6.48	
11.61/6.48		}
11.61/6.48	
11.61/6.48	}
11.61/6.48	
11.61/6.48	
11.61/6.48	
11.61/6.48	----------------------------------------
11.61/6.48	
11.61/6.48	(1) BareJBCToJBCProof (EQUIVALENT)
11.61/6.48	initialized classpath
11.61/6.48	----------------------------------------
11.61/6.48	
11.61/6.48	(2)
11.61/6.48	Obligation:
11.61/6.48	need to prove termination of the following program:
11.61/6.48	package simple.complxStruc;
11.61/6.48	
11.61/6.48	public class ComplxStruc {
11.61/6.48	
11.61/6.48		public static void loop(int i) {
11.61/6.48			int j = i;
11.61/6.48			while (i > 0) {
11.61/6.48				if (i >= j) {
11.61/6.48					i--;
11.61/6.48					if (j < 5) {
11.61/6.48						j++;
11.61/6.48						if (i-j>2) {
11.61/6.48							i++;
11.61/6.48						} else {
11.61/6.48							j++;
11.61/6.48						}
11.61/6.48					} else {
11.61/6.48						j--;
11.61/6.48					}
11.61/6.48				} else {
11.61/6.48					if (i > 0 & j < 0) {
11.61/6.48						i--;
11.61/6.48						if (j < -1) {
11.61/6.48							j++;
11.61/6.48						} else {
11.61/6.48							i++;
11.61/6.48						}
11.61/6.48					} else {
11.61/6.48						i++;
11.61/6.48						if (j*2 > i) {
11.61/6.48							j--;
11.61/6.48						} else {
11.61/6.48							j++;
11.61/6.48						}
11.61/6.48					}
11.61/6.48				}
11.61/6.48				
11.61/6.48			}
11.61/6.48		}
11.61/6.48	}
11.61/6.48	
11.61/6.48	
11.61/6.48	package simple.complxStruc;
11.61/6.48	
11.61/6.48	public class Main {
11.61/6.48	
11.61/6.48		/**
11.61/6.48		 * @param args
11.61/6.48		 */
11.61/6.48		public static void main(String[] args) {
11.61/6.48			ComplxStruc.loop(args.length);
11.61/6.48	
11.61/6.48		}
11.61/6.48	
11.61/6.48	}
11.61/6.48	
11.61/6.48	
11.61/6.48	
11.61/6.48	----------------------------------------
11.61/6.48	
11.61/6.48	(3) JBCToGraph (EQUIVALENT)
11.61/6.48	Constructed TerminationGraph.
11.61/6.48	----------------------------------------
11.61/6.48	
11.61/6.48	(4)
11.61/6.48	Obligation:
11.61/6.48	Termination Graph based on JBC Program:
11.61/6.48	simple.complxStruc.Main.main([Ljava/lang/String;)V: Graph of 68 nodes with 1 SCC.
11.61/6.48	
11.61/6.48	
11.61/6.48	
11.61/6.48	
11.61/6.48	
11.61/6.48	----------------------------------------
11.61/6.48	
11.61/6.48	(5) JBCNonTerm (COMPLETE)
11.61/6.48	Constructed a run with a repetition. States 5 and 116 are repetitions (when considering only the interesting positions [lv_0_0, lv_0_1]).
11.61/6.48	
11.61/6.48	0:<simple.complxStruc.Main.main||0: load ADDR args||args: a56|| ->
11.61/6.48		a56([java.lang.String...]): length 4 -->{java.lang.Object...}
11.61/6.48	YES:  (JL1)
11.61/6.48	1:<simple.complxStruc.Main.main||1: arraylength|| - ||a56>
11.61/6.48		a56([java.lang.String...]): length 4 -->{java.lang.Object...}
11.61/6.48	YES:  (JL1)
11.61/6.48	2:<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop(I)V|| - ||4>
11.61/6.48	YES:  (JL1)
11.61/6.48	3:<simple.complxStruc.ComplxStruc.loop||0: load INT i||i: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	4:<simple.complxStruc.ComplxStruc.loop||1: store INT to j||i: 4||4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	5:<simple.complxStruc.ComplxStruc.loop||2: load INT i||i: 4, j: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	6:<simple.complxStruc.ComplxStruc.loop||3: LE 0||i: 4, j: 4||4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	7:<simple.complxStruc.ComplxStruc.loop||6: load INT i||i: 4, j: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	8:<simple.complxStruc.ComplxStruc.loop||7: load INT j||i: 4, j: 4||4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	9:<simple.complxStruc.ComplxStruc.loop||8: LT||i: 4, j: 4||4, 4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	10:<simple.complxStruc.ComplxStruc.loop||11: increment i by -1||i: 4, j: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	11:<simple.complxStruc.ComplxStruc.loop||14: load INT j||i: 3, j: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	12:<simple.complxStruc.ComplxStruc.loop||15: push 5||i: 3, j: 4||4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	13:<simple.complxStruc.ComplxStruc.loop||16: GE||i: 3, j: 4||4, 5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	14:<simple.complxStruc.ComplxStruc.loop||19: increment j by 1||i: 3, j: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	15:<simple.complxStruc.ComplxStruc.loop||22: load INT i||i: 3, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	16:<simple.complxStruc.ComplxStruc.loop||23: load INT j||i: 3, j: 5||3>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	17:<simple.complxStruc.ComplxStruc.loop||24: SUB||i: 3, j: 5||3, 5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	18:<simple.complxStruc.ComplxStruc.loop||25: push 2||i: 3, j: 5||-2>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	19:<simple.complxStruc.ComplxStruc.loop||26: LE||i: 3, j: 5||-2, 2>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	20:<simple.complxStruc.ComplxStruc.loop||35: increment j by 1||i: 3, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	21:<simple.complxStruc.ComplxStruc.loop||38: jmp||i: 3, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	22:<simple.complxStruc.ComplxStruc.loop||2: load INT i||i: 3, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	23:<simple.complxStruc.ComplxStruc.loop||3: LE 0||i: 3, j: 6||3>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	24:<simple.complxStruc.ComplxStruc.loop||6: load INT i||i: 3, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	25:<simple.complxStruc.ComplxStruc.loop||7: load INT j||i: 3, j: 6||3>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	26:<simple.complxStruc.ComplxStruc.loop||8: LT||i: 3, j: 6||3, 6>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	27:<simple.complxStruc.ComplxStruc.loop||47: load INT i||i: 3, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	28:<simple.complxStruc.ComplxStruc.loop||48: LE 0||i: 3, j: 6||3>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	29:<simple.complxStruc.ComplxStruc.loop||51: push 1||i: 3, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	30:<simple.complxStruc.ComplxStruc.loop||52: jmp||i: 3, j: 6||1>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	31:<simple.complxStruc.ComplxStruc.loop||56: load INT j||i: 3, j: 6||1>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	32:<simple.complxStruc.ComplxStruc.loop||57: GE 0||i: 3, j: 6||1, 6>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	33:<simple.complxStruc.ComplxStruc.loop||64: push 0||i: 3, j: 6||1>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	34:<simple.complxStruc.ComplxStruc.loop||65: AND||i: 3, j: 6||1, 0>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	35:<simple.complxStruc.ComplxStruc.loop||66: EQ 0||i: 3, j: 6||0>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	36:<simple.complxStruc.ComplxStruc.loop||89: increment i by 1||i: 3, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	37:<simple.complxStruc.ComplxStruc.loop||92: load INT j||i: 4, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	38:<simple.complxStruc.ComplxStruc.loop||93: push 2||i: 4, j: 6||6>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	39:<simple.complxStruc.ComplxStruc.loop||94: MUL||i: 4, j: 6||6, 2>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	40:<simple.complxStruc.ComplxStruc.loop||95: load INT i||i: 4, j: 6||12>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	41:<simple.complxStruc.ComplxStruc.loop||96: LE||i: 4, j: 6||12, 4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	42:<simple.complxStruc.ComplxStruc.loop||99: increment j by -1||i: 4, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	43:<simple.complxStruc.ComplxStruc.loop||102: jmp||i: 4, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	44:<simple.complxStruc.ComplxStruc.loop||2: load INT i||i: 4, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	45:<simple.complxStruc.ComplxStruc.loop||3: LE 0||i: 4, j: 5||4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	46:<simple.complxStruc.ComplxStruc.loop||6: load INT i||i: 4, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	47:<simple.complxStruc.ComplxStruc.loop||7: load INT j||i: 4, j: 5||4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	48:<simple.complxStruc.ComplxStruc.loop||8: LT||i: 4, j: 5||4, 5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	49:<simple.complxStruc.ComplxStruc.loop||47: load INT i||i: 4, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	50:<simple.complxStruc.ComplxStruc.loop||48: LE 0||i: 4, j: 5||4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	51:<simple.complxStruc.ComplxStruc.loop||51: push 1||i: 4, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	52:<simple.complxStruc.ComplxStruc.loop||52: jmp||i: 4, j: 5||1>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	53:<simple.complxStruc.ComplxStruc.loop||56: load INT j||i: 4, j: 5||1>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	54:<simple.complxStruc.ComplxStruc.loop||57: GE 0||i: 4, j: 5||1, 5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	55:<simple.complxStruc.ComplxStruc.loop||64: push 0||i: 4, j: 5||1>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	56:<simple.complxStruc.ComplxStruc.loop||65: AND||i: 4, j: 5||1, 0>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	57:<simple.complxStruc.ComplxStruc.loop||66: EQ 0||i: 4, j: 5||0>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	58:<simple.complxStruc.ComplxStruc.loop||89: increment i by 1||i: 4, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	59:<simple.complxStruc.ComplxStruc.loop||92: load INT j||i: 5, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	60:<simple.complxStruc.ComplxStruc.loop||93: push 2||i: 5, j: 5||5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	61:<simple.complxStruc.ComplxStruc.loop||94: MUL||i: 5, j: 5||5, 2>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	62:<simple.complxStruc.ComplxStruc.loop||95: load INT i||i: 5, j: 5||10>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	63:<simple.complxStruc.ComplxStruc.loop||96: LE||i: 5, j: 5||10, 5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	64:<simple.complxStruc.ComplxStruc.loop||99: increment j by -1||i: 5, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	65:<simple.complxStruc.ComplxStruc.loop||102: jmp||i: 5, j: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	66:<simple.complxStruc.ComplxStruc.loop||2: load INT i||i: 5, j: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	67:<simple.complxStruc.ComplxStruc.loop||3: LE 0||i: 5, j: 4||5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	68:<simple.complxStruc.ComplxStruc.loop||6: load INT i||i: 5, j: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	69:<simple.complxStruc.ComplxStruc.loop||7: load INT j||i: 5, j: 4||5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	70:<simple.complxStruc.ComplxStruc.loop||8: LT||i: 5, j: 4||5, 4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	71:<simple.complxStruc.ComplxStruc.loop||11: increment i by -1||i: 5, j: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	72:<simple.complxStruc.ComplxStruc.loop||14: load INT j||i: 4, j: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	73:<simple.complxStruc.ComplxStruc.loop||15: push 5||i: 4, j: 4||4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	74:<simple.complxStruc.ComplxStruc.loop||16: GE||i: 4, j: 4||4, 5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	75:<simple.complxStruc.ComplxStruc.loop||19: increment j by 1||i: 4, j: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	76:<simple.complxStruc.ComplxStruc.loop||22: load INT i||i: 4, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	77:<simple.complxStruc.ComplxStruc.loop||23: load INT j||i: 4, j: 5||4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	78:<simple.complxStruc.ComplxStruc.loop||24: SUB||i: 4, j: 5||4, 5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	79:<simple.complxStruc.ComplxStruc.loop||25: push 2||i: 4, j: 5||-1>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	80:<simple.complxStruc.ComplxStruc.loop||26: LE||i: 4, j: 5||-1, 2>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	81:<simple.complxStruc.ComplxStruc.loop||35: increment j by 1||i: 4, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	82:<simple.complxStruc.ComplxStruc.loop||38: jmp||i: 4, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	83:<simple.complxStruc.ComplxStruc.loop||2: load INT i||i: 4, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	84:<simple.complxStruc.ComplxStruc.loop||3: LE 0||i: 4, j: 6||4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	85:<simple.complxStruc.ComplxStruc.loop||6: load INT i||i: 4, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	86:<simple.complxStruc.ComplxStruc.loop||7: load INT j||i: 4, j: 6||4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	87:<simple.complxStruc.ComplxStruc.loop||8: LT||i: 4, j: 6||4, 6>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	88:<simple.complxStruc.ComplxStruc.loop||47: load INT i||i: 4, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	89:<simple.complxStruc.ComplxStruc.loop||48: LE 0||i: 4, j: 6||4>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	90:<simple.complxStruc.ComplxStruc.loop||51: push 1||i: 4, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	91:<simple.complxStruc.ComplxStruc.loop||52: jmp||i: 4, j: 6||1>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	92:<simple.complxStruc.ComplxStruc.loop||56: load INT j||i: 4, j: 6||1>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	93:<simple.complxStruc.ComplxStruc.loop||57: GE 0||i: 4, j: 6||1, 6>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	94:<simple.complxStruc.ComplxStruc.loop||64: push 0||i: 4, j: 6||1>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	95:<simple.complxStruc.ComplxStruc.loop||65: AND||i: 4, j: 6||1, 0>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	96:<simple.complxStruc.ComplxStruc.loop||66: EQ 0||i: 4, j: 6||0>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	97:<simple.complxStruc.ComplxStruc.loop||89: increment i by 1||i: 4, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	98:<simple.complxStruc.ComplxStruc.loop||92: load INT j||i: 5, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	99:<simple.complxStruc.ComplxStruc.loop||93: push 2||i: 5, j: 6||6>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	100:<simple.complxStruc.ComplxStruc.loop||94: MUL||i: 5, j: 6||6, 2>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	101:<simple.complxStruc.ComplxStruc.loop||95: load INT i||i: 5, j: 6||12>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	102:<simple.complxStruc.ComplxStruc.loop||96: LE||i: 5, j: 6||12, 5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	103:<simple.complxStruc.ComplxStruc.loop||99: increment j by -1||i: 5, j: 6|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	104:<simple.complxStruc.ComplxStruc.loop||102: jmp||i: 5, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	105:<simple.complxStruc.ComplxStruc.loop||2: load INT i||i: 5, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	106:<simple.complxStruc.ComplxStruc.loop||3: LE 0||i: 5, j: 5||5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	107:<simple.complxStruc.ComplxStruc.loop||6: load INT i||i: 5, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	108:<simple.complxStruc.ComplxStruc.loop||7: load INT j||i: 5, j: 5||5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	109:<simple.complxStruc.ComplxStruc.loop||8: LT||i: 5, j: 5||5, 5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	110:<simple.complxStruc.ComplxStruc.loop||11: increment i by -1||i: 5, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	111:<simple.complxStruc.ComplxStruc.loop||14: load INT j||i: 4, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	112:<simple.complxStruc.ComplxStruc.loop||15: push 5||i: 4, j: 5||5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	113:<simple.complxStruc.ComplxStruc.loop||16: GE||i: 4, j: 5||5, 5>
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	114:<simple.complxStruc.ComplxStruc.loop||41: increment j by -1||i: 4, j: 5|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	115:<simple.complxStruc.ComplxStruc.loop||44: jmp||i: 4, j: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	116:<simple.complxStruc.ComplxStruc.loop||2: load INT i||i: 4, j: 4|| ->
11.61/6.48	<simple.complxStruc.Main.main||2: simple.complxStruc.ComplxStruc.loop|| - || ->
11.61/6.48	YES:  (JL1)
11.61/6.48	
11.61/6.48	----------------------------------------
11.61/6.48	
11.61/6.48	(6)
11.61/6.48	NO
11.69/6.55	EOF