414799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
414799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.3ns
414799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
414895 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
414895 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
414895 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
414895 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
415311 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
418747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s
418778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
418793 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19ns
418793 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
418793 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
418793 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
418793 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
418793 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
418793 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
418793 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
418793 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
418793 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
418793 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
418793 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
418793 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
418809 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
418809 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
418809 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
418809 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
418809 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
418809 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
418809 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
418809 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
418809 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
418809 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
418809 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
418809 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
418887 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i > 0;)
418887 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i > 0;)
418887 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i > 0;)
418887 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i > 0;)
418950 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
418950 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
418965 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
418965 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
418965 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
418965 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
418981 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
418981 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
418981 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
418981 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
419012 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
419012 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
419012 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
419012 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
419012 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
419012 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
419012 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
419012 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
419059 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
419059 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
419059 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
419059 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
419059 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
419059 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
419059 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
419059 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
419075 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
419075 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
419075 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
419075 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
419075 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
419075 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
419075 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
419075 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
419090 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
419090 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
419090 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
419090 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
419090 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
419090 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
419090 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
419090 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
419106 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419106 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419106 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419106 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419106 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419106 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419106 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419106 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419122 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419137 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
419137 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
419137 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
419137 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
419137 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
419137 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
419137 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
419137 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
419153 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
419231 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419231 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419231 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419231 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419231 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419231 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419231 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419231 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419247 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
419247 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
419262 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
419262 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
419262 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
419262 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
419293 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419293 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419293 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419293 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419293 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419293 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419293 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
419293 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
419309 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
419309 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
419325 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
419325 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
419325 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
419325 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
419325 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
419325 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
419325 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
419325 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
419356 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
419356 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
419356 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
419356 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
419356 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
419356 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
419356 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
419356 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
419372 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
419372 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
419372 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
419372 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
419372 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
419372 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
419387 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
419387 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)