5.60/2.38	NO
5.90/2.45	proof of /export/starexec/sandbox/benchmark/theBenchmark.jar
5.90/2.45	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
5.90/2.45	
5.90/2.45	
5.90/2.45	termination of the given Bare JBC problem could be disproven:
5.90/2.45	
5.90/2.45	(0) Bare JBC problem
5.90/2.45	(1) BareJBCToJBCProof [EQUIVALENT, 94 ms]
5.90/2.45	(2) JBC problem
5.90/2.45	(3) JBCNonTerm [COMPLETE, 480 ms]
5.90/2.45	(4) NO
5.90/2.45	
5.90/2.45	
5.90/2.45	----------------------------------------
5.90/2.45	
5.90/2.45	(0)
5.90/2.45	Obligation:
5.90/2.45	need to prove termination of the following program:
5.90/2.45	/**
5.90/2.45	 * A loop continously throwing and catching an exception.
5.90/2.45	 * Since the exception is thrown before the statement that makes the loop
5.90/2.45	 * progress, that loop diverges.
5.90/2.45	 *
5.90/2.45	 * The call to <tt>main()</tt> diverges.
5.90/2.45	 *
5.90/2.45	 * Julia + BinTerm cannot prove that the call to <tt>main()</tt> terminates.
5.90/2.45	 *
5.90/2.45	 * @author <A HREF="mailto:fausto.spoto@univr.it">Fausto Spoto</A>
5.90/2.45	 */
5.90/2.45	
5.90/2.45	public class Exc2 {
5.90/2.45	    public static void main(String[] args) {
5.90/2.45		int i = 0;
5.90/2.45	
5.90/2.45		while (i < 20) {
5.90/2.45		    try {
5.90/2.45			if (i > 10) throw null;
5.90/2.45			i++;
5.90/2.45		    }
5.90/2.45		    catch (NullPointerException e) {
5.90/2.45		    }
5.90/2.45		}
5.90/2.45	    }
5.90/2.45	}
5.90/2.45	
5.90/2.45	
5.90/2.45	----------------------------------------
5.90/2.45	
5.90/2.45	(1) BareJBCToJBCProof (EQUIVALENT)
5.90/2.45	initialized classpath
5.90/2.45	----------------------------------------
5.90/2.45	
5.90/2.45	(2)
5.90/2.45	Obligation:
5.90/2.45	need to prove termination of the following program:
5.90/2.45	/**
5.90/2.45	 * A loop continously throwing and catching an exception.
5.90/2.45	 * Since the exception is thrown before the statement that makes the loop
5.90/2.45	 * progress, that loop diverges.
5.90/2.45	 *
5.90/2.45	 * The call to <tt>main()</tt> diverges.
5.90/2.45	 *
5.90/2.45	 * Julia + BinTerm cannot prove that the call to <tt>main()</tt> terminates.
5.90/2.45	 *
5.90/2.45	 * @author <A HREF="mailto:fausto.spoto@univr.it">Fausto Spoto</A>
5.90/2.45	 */
5.90/2.45	
5.90/2.45	public class Exc2 {
5.90/2.45	    public static void main(String[] args) {
5.90/2.45		int i = 0;
5.90/2.45	
5.90/2.45		while (i < 20) {
5.90/2.45		    try {
5.90/2.45			if (i > 10) throw null;
5.90/2.45			i++;
5.90/2.45		    }
5.90/2.45		    catch (NullPointerException e) {
5.90/2.45		    }
5.90/2.45		}
5.90/2.45	    }
5.90/2.45	}
5.90/2.45	
5.90/2.45	
5.90/2.45	----------------------------------------
5.90/2.45	
5.90/2.45	(3) JBCNonTerm (COMPLETE)
5.90/2.45	Constructed a run with a repetition. States 98 and 117 are repetitions (when considering only the interesting positions [lv_0_1]).
5.90/2.45	
5.90/2.45	0:<Exc2.main||0: push 0|| - || ->
5.90/2.45	YES:  (JL1)
5.90/2.45	1:<Exc2.main||1: store INT to i|| - ||0>
5.90/2.45	YES:  (JL1)
5.90/2.45	2:<Exc2.main||2: load INT i||i: 0|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	3:<Exc2.main||3: push 20||i: 0||0>
5.90/2.45	YES:  (JL1)
5.90/2.45	4:<Exc2.main||5: GE||i: 0||0, 20>
5.90/2.45	YES:  (JL1)
5.90/2.45	5:<Exc2.main||8: load INT i||i: 0|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	6:<Exc2.main||9: push 10||i: 0||0>
5.90/2.45	YES:  (JL1)
5.90/2.45	7:<Exc2.main||11: LE||i: 0||0, 10>
5.90/2.45	YES:  (JL1)
5.90/2.45	8:<Exc2.main||16: increment i by 1||i: 0|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	9:<Exc2.main||19: jmp||i: 1|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	10:<Exc2.main||2: load INT i||i: 1|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	11:<Exc2.main||3: push 20||i: 1||1>
5.90/2.45	YES:  (JL1)
5.90/2.45	12:<Exc2.main||5: GE||i: 1||1, 20>
5.90/2.45	YES:  (JL1)
5.90/2.45	13:<Exc2.main||8: load INT i||i: 1|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	14:<Exc2.main||9: push 10||i: 1||1>
5.90/2.45	YES:  (JL1)
5.90/2.45	15:<Exc2.main||11: LE||i: 1||1, 10>
5.90/2.45	YES:  (JL1)
5.90/2.45	16:<Exc2.main||16: increment i by 1||i: 1|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	17:<Exc2.main||19: jmp||i: 2|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	18:<Exc2.main||2: load INT i||i: 2|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	19:<Exc2.main||3: push 20||i: 2||2>
5.90/2.45	YES:  (JL1)
5.90/2.45	20:<Exc2.main||5: GE||i: 2||2, 20>
5.90/2.45	YES:  (JL1)
5.90/2.45	21:<Exc2.main||8: load INT i||i: 2|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	22:<Exc2.main||9: push 10||i: 2||2>
5.90/2.45	YES:  (JL1)
5.90/2.45	23:<Exc2.main||11: LE||i: 2||2, 10>
5.90/2.45	YES:  (JL1)
5.90/2.45	24:<Exc2.main||16: increment i by 1||i: 2|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	25:<Exc2.main||19: jmp||i: 3|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	26:<Exc2.main||2: load INT i||i: 3|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	27:<Exc2.main||3: push 20||i: 3||3>
5.90/2.45	YES:  (JL1)
5.90/2.45	28:<Exc2.main||5: GE||i: 3||3, 20>
5.90/2.45	YES:  (JL1)
5.90/2.45	29:<Exc2.main||8: load INT i||i: 3|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	30:<Exc2.main||9: push 10||i: 3||3>
5.90/2.45	YES:  (JL1)
5.90/2.45	31:<Exc2.main||11: LE||i: 3||3, 10>
5.90/2.45	YES:  (JL1)
5.90/2.45	32:<Exc2.main||16: increment i by 1||i: 3|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	33:<Exc2.main||19: jmp||i: 4|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	34:<Exc2.main||2: load INT i||i: 4|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	35:<Exc2.main||3: push 20||i: 4||4>
5.90/2.45	YES:  (JL1)
5.90/2.45	36:<Exc2.main||5: GE||i: 4||4, 20>
5.90/2.45	YES:  (JL1)
5.90/2.45	37:<Exc2.main||8: load INT i||i: 4|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	38:<Exc2.main||9: push 10||i: 4||4>
5.90/2.45	YES:  (JL1)
5.90/2.45	39:<Exc2.main||11: LE||i: 4||4, 10>
5.90/2.45	YES:  (JL1)
5.90/2.45	40:<Exc2.main||16: increment i by 1||i: 4|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	41:<Exc2.main||19: jmp||i: 5|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	42:<Exc2.main||2: load INT i||i: 5|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	43:<Exc2.main||3: push 20||i: 5||5>
5.90/2.45	YES:  (JL1)
5.90/2.45	44:<Exc2.main||5: GE||i: 5||5, 20>
5.90/2.45	YES:  (JL1)
5.90/2.45	45:<Exc2.main||8: load INT i||i: 5|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	46:<Exc2.main||9: push 10||i: 5||5>
5.90/2.45	YES:  (JL1)
5.90/2.45	47:<Exc2.main||11: LE||i: 5||5, 10>
5.90/2.45	YES:  (JL1)
5.90/2.45	48:<Exc2.main||16: increment i by 1||i: 5|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	49:<Exc2.main||19: jmp||i: 6|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	50:<Exc2.main||2: load INT i||i: 6|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	51:<Exc2.main||3: push 20||i: 6||6>
5.90/2.45	YES:  (JL1)
5.90/2.45	52:<Exc2.main||5: GE||i: 6||6, 20>
5.90/2.45	YES:  (JL1)
5.90/2.45	53:<Exc2.main||8: load INT i||i: 6|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	54:<Exc2.main||9: push 10||i: 6||6>
5.90/2.45	YES:  (JL1)
5.90/2.45	55:<Exc2.main||11: LE||i: 6||6, 10>
5.90/2.45	YES:  (JL1)
5.90/2.45	56:<Exc2.main||16: increment i by 1||i: 6|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	57:<Exc2.main||19: jmp||i: 7|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	58:<Exc2.main||2: load INT i||i: 7|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	59:<Exc2.main||3: push 20||i: 7||7>
5.90/2.45	YES:  (JL1)
5.90/2.45	60:<Exc2.main||5: GE||i: 7||7, 20>
5.90/2.45	YES:  (JL1)
5.90/2.45	61:<Exc2.main||8: load INT i||i: 7|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	62:<Exc2.main||9: push 10||i: 7||7>
5.90/2.45	YES:  (JL1)
5.90/2.45	63:<Exc2.main||11: LE||i: 7||7, 10>
5.90/2.45	YES:  (JL1)
5.90/2.45	64:<Exc2.main||16: increment i by 1||i: 7|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	65:<Exc2.main||19: jmp||i: 8|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	66:<Exc2.main||2: load INT i||i: 8|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	67:<Exc2.main||3: push 20||i: 8||8>
5.90/2.45	YES:  (JL1)
5.90/2.45	68:<Exc2.main||5: GE||i: 8||8, 20>
5.90/2.45	YES:  (JL1)
5.90/2.45	69:<Exc2.main||8: load INT i||i: 8|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	70:<Exc2.main||9: push 10||i: 8||8>
5.90/2.45	YES:  (JL1)
5.90/2.45	71:<Exc2.main||11: LE||i: 8||8, 10>
5.90/2.45	YES:  (JL1)
5.90/2.45	72:<Exc2.main||16: increment i by 1||i: 8|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	73:<Exc2.main||19: jmp||i: 9|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	74:<Exc2.main||2: load INT i||i: 9|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	75:<Exc2.main||3: push 20||i: 9||9>
5.90/2.45	YES:  (JL1)
5.90/2.45	76:<Exc2.main||5: GE||i: 9||9, 20>
5.90/2.45	YES:  (JL1)
5.90/2.45	77:<Exc2.main||8: load INT i||i: 9|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	78:<Exc2.main||9: push 10||i: 9||9>
5.90/2.45	YES:  (JL1)
5.90/2.45	79:<Exc2.main||11: LE||i: 9||9, 10>
5.90/2.45	YES:  (JL1)
5.90/2.45	80:<Exc2.main||16: increment i by 1||i: 9|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	81:<Exc2.main||19: jmp||i: 10|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	82:<Exc2.main||2: load INT i||i: 10|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	83:<Exc2.main||3: push 20||i: 10||10>
5.90/2.45	YES:  (JL1)
5.90/2.45	84:<Exc2.main||5: GE||i: 10||10, 20>
5.90/2.45	YES:  (JL1)
5.90/2.45	85:<Exc2.main||8: load INT i||i: 10|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	86:<Exc2.main||9: push 10||i: 10||10>
5.90/2.45	YES:  (JL1)
5.90/2.45	87:<Exc2.main||11: LE||i: 10||10, 10>
5.90/2.45	YES:  (JL1)
5.90/2.45	88:<Exc2.main||16: increment i by 1||i: 10|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	89:<Exc2.main||19: jmp||i: 11|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	90:<Exc2.main||2: load INT i||i: 11|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	91:<Exc2.main||3: push 20||i: 11||11>
5.90/2.45	YES:  (JL1)
5.90/2.45	92:<Exc2.main||5: GE||i: 11||11, 20>
5.90/2.45	YES:  (JL1)
5.90/2.45	93:<Exc2.main||8: load INT i||i: 11|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	94:<Exc2.main||9: push 10||i: 11||11>
5.90/2.45	YES:  (JL1)
5.90/2.45	95:<Exc2.main||11: LE||i: 11||11, 10>
5.90/2.45	YES:  (JL1)
5.90/2.45	96:<Exc2.main||14: push NULL||i: 11|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	97:<Exc2.main||15: throw||i: 11||#>
5.90/2.45	YES:  (JL1)
5.90/2.45	98:<Thrown exception: #||Exc2.main||15: throw||i: 11|| ->
5.90/2.45	YES:  (JL1)
5.90/2.45	99:<java.lang.NullPointerException.<init>()V||0: load ADDR this||this: o208|| ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#) -->{java.lang.Object|}
5.90/2.45	YES:  (JL1)
5.90/2.45	100:<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>()V|| - ||o208>
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#) -->{java.lang.Object|}
5.90/2.45	YES:  (JL1)
5.90/2.45	101:<java.lang.RuntimeException.<init>()V||0: load ADDR this||this: o208|| ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#) -->{java.lang.Object|}
5.90/2.45	YES:  (JL1)
5.90/2.45	102:<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>()V|| - ||o208>
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#) -->{java.lang.Object|}
5.90/2.45	YES:  (JL1)
5.90/2.45	103:<java.lang.Exception.<init>()V||0: load ADDR this||this: o208|| ->
5.90/2.45	<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - || ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#) -->{java.lang.Object|}
5.90/2.45	YES:  (JL1)
5.90/2.45	104:<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>()V|| - ||o208>
5.90/2.45	<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - || ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#) -->{java.lang.Object|}
5.90/2.45	YES:  (JL1)
5.90/2.45	105:<java.lang.Throwable.<init>()V||0: load ADDR this||this: o208|| ->
5.90/2.45	<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - || ->
5.90/2.45	<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - || ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#) -->{java.lang.Object|}
5.90/2.45	YES:  (JL1)
5.90/2.45	106:<java.lang.Throwable.<init>()V||1: java.lang.Object.<init>()V||this: o208||o208>
5.90/2.45	<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - || ->
5.90/2.45	<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - || ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#) -->{java.lang.Object|}
5.90/2.45	YES:  (JL1)
5.90/2.45	107:<java.lang.Throwable.<init>()V||4: load ADDR this||this: o208|| ->
5.90/2.45	<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - || ->
5.90/2.45	<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - || ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#) -->{java.lang.Object|}
5.90/2.45	YES:  (JL1)
5.90/2.45	108:<java.lang.Throwable.<init>()V||5: load ADDR this||this: o208||o208>
5.90/2.45	<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - || ->
5.90/2.45	<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - || ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#) -->{java.lang.Object|}
5.90/2.45	YES:  (JL1)
5.90/2.45	109:<java.lang.Throwable.<init>()V||6: Write to cause||this: o208||o208, o208>
5.90/2.45	<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - || ->
5.90/2.45	<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - || ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#) -->{java.lang.Object|}
5.90/2.45	YES:  (JL1)
5.90/2.45	110:<java.lang.Throwable.<init>()V||9: load ADDR this||this: o208|| ->
5.90/2.45	<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - || ->
5.90/2.45	<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - || ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o208, detailMessage=#, stackTrace=#) -->{{java.lang.NullPointerException|, java.lang.Object|}}
5.90/2.45	YES:  (JL1)
5.90/2.45	111:<java.lang.Throwable.<init>()V||10: java.lang.Throwable.fillInStackTrace()Ljava/lang/Throwable;|| - ||o208>
5.90/2.45	<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - || ->
5.90/2.45	<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - || ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o208, detailMessage=#, stackTrace=#) -->{{java.lang.NullPointerException|, java.lang.Object|}}
5.90/2.45	YES:  (JL1)
5.90/2.45	112:<java.lang.Throwable.<init>()V||13: pop|| - ||o208>
5.90/2.45	<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - || ->
5.90/2.45	<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - || ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o208, detailMessage=#, stackTrace=#) -->{{java.lang.NullPointerException|, java.lang.Object|}}
5.90/2.45	YES:  (JL1)
5.90/2.45	113:<java.lang.Throwable.<init>()V||14: return|| - || ->
5.90/2.45	<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - || ->
5.90/2.45	<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - || ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o208, detailMessage=#, stackTrace=#) -->{{java.lang.NullPointerException|, java.lang.Object|}}
5.90/2.45	YES:  (JL1)
5.90/2.45	114:<java.lang.Exception.<init>()V||4: return|| - || ->
5.90/2.45	<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - || ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o208, detailMessage=#, stackTrace=#) -->{{java.lang.NullPointerException|, java.lang.Object|}}
5.90/2.45	YES:  (JL1)
5.90/2.45	115:<java.lang.RuntimeException.<init>()V||4: return|| - || ->
5.90/2.45	<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o208, detailMessage=#, stackTrace=#) -->{{java.lang.NullPointerException|, java.lang.Object|}}
5.90/2.45	YES:  (JL1)
5.90/2.45	116:<java.lang.NullPointerException.<init>()V||4: return|| - || ->
5.90/2.45	<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o208, detailMessage=#, stackTrace=#) -->{{java.lang.NullPointerException|, java.lang.Object|}}
5.90/2.45	YES:  (JL1)
5.90/2.45	117:<Thrown exception: o208||Exc2.main||15: throw||i: 11|| ->
5.90/2.45		o208!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o208, detailMessage=#, stackTrace=#) -->{{java.lang.NullPointerException|, java.lang.Object|}}
5.90/2.45	YES:  (JL1)
5.90/2.45	
5.90/2.45	----------------------------------------
5.90/2.45	
5.90/2.45	(4)
5.90/2.45	NO
6.07/2.50	EOF