495621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
495621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.3ns
495621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
495793 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
495793 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
495793 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
495793 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
496465 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
500172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s
500235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
500235 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.9ns
500235 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
500235 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
500235 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
500235 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
500250 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
500250 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
500250 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
500250 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
500250 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
500250 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
500250 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
500250 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
500250 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
500250 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
500250 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
500250 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
500266 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
500266 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
500266 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
500266 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
500266 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
500266 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
500266 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
500266 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
500360 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i > 0;)
500360 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i > 0;)
500360 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i > 0;)
500360 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i > 0;)
500422 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
500422 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
500453 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
500453 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
500453 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
500453 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
500453 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500453 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500453 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500453 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500485 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
500485 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
500485 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
500485 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
500500 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500500 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500500 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500500 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500563 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
500563 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
500563 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
500563 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
500563 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
500563 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
500563 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
500563 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
500594 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
500610 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500610 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500610 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500610 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500610 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500610 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500610 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500610 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500625 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
500625 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
500625 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
500625 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
500625 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
500625 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
500625 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
500625 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
500641 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500641 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500641 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500641 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500641 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500641 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500641 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500641 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500657 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
500657 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
500657 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
500657 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
500657 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
500657 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
500657 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
500657 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
500672 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
500688 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
500688 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
500688 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
500688 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
500688 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
500688 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
500688 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
500688 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
500766 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500766 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500766 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500766 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500766 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500766 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500766 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500766 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500782 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
500782 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
500813 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500813 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500813 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500813 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500844 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500844 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500844 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500844 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500860 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500860 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500860 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
500860 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
500875 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
500875 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
500891 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
500891 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
500891 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
500891 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
500891 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500891 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500891 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500891 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500922 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
500922 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
500922 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
500922 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
500922 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500922 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500922 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
500938 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
500953 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
500953 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
500953 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
500953 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
500953 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
500953 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
500953 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
500953 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)