4.75/2.19	NO
4.78/2.21	proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar
4.78/2.21	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
4.78/2.21	
4.78/2.21	
4.78/2.21	termination of the given Bare JBC problem could be disproven:
4.78/2.21	
4.78/2.21	(0) Bare JBC problem
4.78/2.21	(1) BareJBCToJBCProof [EQUIVALENT, 93 ms]
4.78/2.21	(2) JBC problem
4.78/2.21	(3) JBCNonTerm [COMPLETE, 309 ms]
4.78/2.21	(4) NO
4.78/2.21	
4.78/2.21	
4.78/2.21	----------------------------------------
4.78/2.21	
4.78/2.21	(0)
4.78/2.21	Obligation:
4.78/2.21	need to prove termination of the following program:
4.78/2.21	package simple.moduloUp;
4.78/2.21	
4.78/2.21	public class Main {
4.78/2.21	
4.78/2.21		/**
4.78/2.21		 * @param args
4.78/2.21		 */
4.78/2.21		public static void main(String[] args) {
4.78/2.21			ModuloUp.up(args.length);
4.78/2.21	
4.78/2.21		}
4.78/2.21	
4.78/2.21	}
4.78/2.21	
4.78/2.21	
4.78/2.21	package simple.moduloUp;
4.78/2.21	
4.78/2.21	public class ModuloUp {
4.78/2.21	
4.78/2.21		public static void up(int n) {
4.78/2.21			int d = 10;
4.78/2.21			while (n < 15) {
4.78/2.21				n++;
4.78/2.21				n = n % d;
4.78/2.21			}
4.78/2.21		}
4.78/2.21	}
4.78/2.21	
4.78/2.21	
4.78/2.21	
4.78/2.21	----------------------------------------
4.78/2.21	
4.78/2.21	(1) BareJBCToJBCProof (EQUIVALENT)
4.78/2.21	initialized classpath
4.78/2.21	----------------------------------------
4.78/2.21	
4.78/2.21	(2)
4.78/2.21	Obligation:
4.78/2.21	need to prove termination of the following program:
4.78/2.21	package simple.moduloUp;
4.78/2.21	
4.78/2.21	public class Main {
4.78/2.21	
4.78/2.21		/**
4.78/2.21		 * @param args
4.78/2.21		 */
4.78/2.21		public static void main(String[] args) {
4.78/2.21			ModuloUp.up(args.length);
4.78/2.21	
4.78/2.21		}
4.78/2.21	
4.78/2.21	}
4.78/2.21	
4.78/2.21	
4.78/2.21	package simple.moduloUp;
4.78/2.21	
4.78/2.21	public class ModuloUp {
4.78/2.21	
4.78/2.21		public static void up(int n) {
4.78/2.21			int d = 10;
4.78/2.21			while (n < 15) {
4.78/2.21				n++;
4.78/2.21				n = n % d;
4.78/2.21			}
4.78/2.21		}
4.78/2.21	}
4.78/2.21	
4.78/2.21	
4.78/2.21	
4.78/2.21	----------------------------------------
4.78/2.21	
4.78/2.21	(3) JBCNonTerm (COMPLETE)
4.78/2.21	Constructed a run with a repetition. States 5 and 95 are repetitions (when considering only the interesting positions [lv_0_0, lv_0_1]).
4.78/2.21	
4.78/2.21	0:<simple.moduloUp.Main.main||0: load ADDR args||args: a10|| ->
4.78/2.21		a10([java.lang.String...]): length 0 -->{java.lang.Object...}
4.78/2.21	YES:  (JL1)
4.78/2.21	1:<simple.moduloUp.Main.main||1: arraylength|| - ||a10>
4.78/2.21		a10([java.lang.String...]): length 0 -->{java.lang.Object...}
4.78/2.21	YES:  (JL1)
4.78/2.21	2:<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up(I)V|| - ||0>
4.78/2.21	YES:  (JL1)
4.78/2.21	3:<simple.moduloUp.ModuloUp.up||0: push 10||n: 0|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	4:<simple.moduloUp.ModuloUp.up||2: store INT to d||n: 0||10>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	5:<simple.moduloUp.ModuloUp.up||3: load INT n||n: 0, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	6:<simple.moduloUp.ModuloUp.up||4: push 15||n: 0, d: 10||0>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	7:<simple.moduloUp.ModuloUp.up||6: GE||n: 0, d: 10||0, 15>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	8:<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 0, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	9:<simple.moduloUp.ModuloUp.up||12: load INT n||n: 1, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	10:<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||1>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	11:<simple.moduloUp.ModuloUp.up||14: TMOD||d: 10||1, 10>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	12:<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||1>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	13:<simple.moduloUp.ModuloUp.up||16: jmp||n: 1, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	14:<simple.moduloUp.ModuloUp.up||3: load INT n||n: 1, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	15:<simple.moduloUp.ModuloUp.up||4: push 15||n: 1, d: 10||1>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	16:<simple.moduloUp.ModuloUp.up||6: GE||n: 1, d: 10||1, 15>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	17:<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 1, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	18:<simple.moduloUp.ModuloUp.up||12: load INT n||n: 2, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	19:<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||2>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	20:<simple.moduloUp.ModuloUp.up||14: TMOD||d: 10||2, 10>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	21:<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||2>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	22:<simple.moduloUp.ModuloUp.up||16: jmp||n: 2, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	23:<simple.moduloUp.ModuloUp.up||3: load INT n||n: 2, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	24:<simple.moduloUp.ModuloUp.up||4: push 15||n: 2, d: 10||2>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	25:<simple.moduloUp.ModuloUp.up||6: GE||n: 2, d: 10||2, 15>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	26:<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 2, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	27:<simple.moduloUp.ModuloUp.up||12: load INT n||n: 3, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	28:<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||3>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	29:<simple.moduloUp.ModuloUp.up||14: TMOD||d: 10||3, 10>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	30:<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||3>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	31:<simple.moduloUp.ModuloUp.up||16: jmp||n: 3, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	32:<simple.moduloUp.ModuloUp.up||3: load INT n||n: 3, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	33:<simple.moduloUp.ModuloUp.up||4: push 15||n: 3, d: 10||3>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	34:<simple.moduloUp.ModuloUp.up||6: GE||n: 3, d: 10||3, 15>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	35:<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 3, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	36:<simple.moduloUp.ModuloUp.up||12: load INT n||n: 4, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	37:<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||4>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	38:<simple.moduloUp.ModuloUp.up||14: TMOD||d: 10||4, 10>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	39:<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||4>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	40:<simple.moduloUp.ModuloUp.up||16: jmp||n: 4, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	41:<simple.moduloUp.ModuloUp.up||3: load INT n||n: 4, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	42:<simple.moduloUp.ModuloUp.up||4: push 15||n: 4, d: 10||4>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	43:<simple.moduloUp.ModuloUp.up||6: GE||n: 4, d: 10||4, 15>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	44:<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 4, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	45:<simple.moduloUp.ModuloUp.up||12: load INT n||n: 5, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	46:<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||5>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	47:<simple.moduloUp.ModuloUp.up||14: TMOD||d: 10||5, 10>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	48:<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||5>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	49:<simple.moduloUp.ModuloUp.up||16: jmp||n: 5, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	50:<simple.moduloUp.ModuloUp.up||3: load INT n||n: 5, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	51:<simple.moduloUp.ModuloUp.up||4: push 15||n: 5, d: 10||5>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	52:<simple.moduloUp.ModuloUp.up||6: GE||n: 5, d: 10||5, 15>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	53:<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 5, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	54:<simple.moduloUp.ModuloUp.up||12: load INT n||n: 6, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	55:<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||6>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	56:<simple.moduloUp.ModuloUp.up||14: TMOD||d: 10||6, 10>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	57:<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||6>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	58:<simple.moduloUp.ModuloUp.up||16: jmp||n: 6, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	59:<simple.moduloUp.ModuloUp.up||3: load INT n||n: 6, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	60:<simple.moduloUp.ModuloUp.up||4: push 15||n: 6, d: 10||6>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	61:<simple.moduloUp.ModuloUp.up||6: GE||n: 6, d: 10||6, 15>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	62:<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 6, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	63:<simple.moduloUp.ModuloUp.up||12: load INT n||n: 7, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	64:<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||7>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	65:<simple.moduloUp.ModuloUp.up||14: TMOD||d: 10||7, 10>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	66:<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||7>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	67:<simple.moduloUp.ModuloUp.up||16: jmp||n: 7, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	68:<simple.moduloUp.ModuloUp.up||3: load INT n||n: 7, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	69:<simple.moduloUp.ModuloUp.up||4: push 15||n: 7, d: 10||7>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	70:<simple.moduloUp.ModuloUp.up||6: GE||n: 7, d: 10||7, 15>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	71:<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 7, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	72:<simple.moduloUp.ModuloUp.up||12: load INT n||n: 8, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	73:<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||8>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	74:<simple.moduloUp.ModuloUp.up||14: TMOD||d: 10||8, 10>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	75:<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||8>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	76:<simple.moduloUp.ModuloUp.up||16: jmp||n: 8, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	77:<simple.moduloUp.ModuloUp.up||3: load INT n||n: 8, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	78:<simple.moduloUp.ModuloUp.up||4: push 15||n: 8, d: 10||8>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	79:<simple.moduloUp.ModuloUp.up||6: GE||n: 8, d: 10||8, 15>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	80:<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 8, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	81:<simple.moduloUp.ModuloUp.up||12: load INT n||n: 9, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	82:<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||9>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	83:<simple.moduloUp.ModuloUp.up||14: TMOD||d: 10||9, 10>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	84:<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||9>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	85:<simple.moduloUp.ModuloUp.up||16: jmp||n: 9, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	86:<simple.moduloUp.ModuloUp.up||3: load INT n||n: 9, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	87:<simple.moduloUp.ModuloUp.up||4: push 15||n: 9, d: 10||9>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	88:<simple.moduloUp.ModuloUp.up||6: GE||n: 9, d: 10||9, 15>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	89:<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 9, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	90:<simple.moduloUp.ModuloUp.up||12: load INT n||n: 10, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	91:<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||10>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	92:<simple.moduloUp.ModuloUp.up||14: TMOD||d: 10||10, 10>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	93:<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||0>
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	94:<simple.moduloUp.ModuloUp.up||16: jmp||n: 0, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	95:<simple.moduloUp.ModuloUp.up||3: load INT n||n: 0, d: 10|| ->
4.78/2.21	<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - || ->
4.78/2.21	YES:  (JL1)
4.78/2.21	
4.78/2.21	----------------------------------------
4.78/2.21	
4.78/2.21	(4)
4.78/2.21	NO
4.82/2.24	EOF