533906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
533906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.7ns
533906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
534078 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
534078 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
534078 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
534078 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
534954 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
539065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s
539128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
539128 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.3ns
539128 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
539128 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
539128 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
539128 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
539143 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
539143 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
539143 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
539143 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
539143 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
539143 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
539143 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
539143 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
539159 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
539159 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
539159 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
539159 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
539159 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
539159 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
539159 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
539159 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
539159 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
539159 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
539159 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
539159 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
539284 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i > 0;)
539284 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i > 0;)
539284 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i > 0;)
539284 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i > 0;)
539363 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
539363 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
539410 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
539410 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
539410 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
539410 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
539425 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539425 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
539425 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539425 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
539456 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
539456 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
539456 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
539456 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
539472 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539488 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
539488 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539488 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
539535 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
539535 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
539535 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
539535 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
539535 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
539535 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
539535 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
539535 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
539566 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
539566 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
539566 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
539566 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
539566 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
539566 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
539566 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
539566 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
539581 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
539581 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
539581 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
539581 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
539581 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
539581 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
539581 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
539581 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
539597 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539597 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539597 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539597 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539597 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539597 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539597 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539597 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539613 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
539613 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
539613 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
539613 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
539613 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
539613 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
539613 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
539613 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
539644 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539644 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539644 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539644 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539644 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539644 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539644 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539644 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539644 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
539644 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
539644 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
539644 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
539660 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
539660 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
539660 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
539660 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
539660 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
539660 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
539660 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
539660 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
539660 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
539660 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
539660 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
539660 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
539675 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
539785 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539785 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539785 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539785 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539785 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539785 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539785 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539785 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539816 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
539816 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
539847 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539847 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
539847 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539847 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
539879 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539879 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539879 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539879 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539879 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539879 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539879 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
539879 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
539910 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
539910 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
539926 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
539926 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
539926 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
539926 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
539926 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539926 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
539926 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539926 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
539957 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
539957 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
539957 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
539957 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
539972 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539972 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
539972 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
539972 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
540004 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
540004 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
540004 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
540004 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
540004 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
540004 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
540004 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
540004 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)