459022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/loopScopeInvRule/Test.key
459022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.5ns
459030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
459144 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
459144 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
459144 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
459144 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
459654 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
463338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s
463390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
463395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.4ns
463397 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
463397 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
463397 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
463397 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
463407 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
463407 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
463407 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
463407 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
463409 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
463409 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
463409 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
463409 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
463418 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
463418 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
463418 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
463418 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
463420 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
463420 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
463420 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
463420 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
463422 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
463422 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
463422 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
463422 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
463519 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i > 0;)
463519 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i > 0;)
463519 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i > 0;)
463520 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i > 0;)
463592 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
463592 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
463620 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
463620 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
463620 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
463620 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
463635 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
463635 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
463635 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
463635 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
463667 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
463667 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
463667 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
463667 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
463681 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
463681 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
463681 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
463681 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
463722 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
463722 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
463722 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
463723 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
463723 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
463724 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
463724 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
463724 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
463743 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
463743 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
463743 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
463743 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
463743 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
463743 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
463743 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
463743 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
463758 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
463758 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
463758 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
463758 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
463758 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
463758 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
463758 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
463758 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
463776 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
463776 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
463776 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
463776 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
463777 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
463777 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
463777 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
463777 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
463795 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
463795 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
463795 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
463795 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
463795 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
463795 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
463796 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
463796 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
463817 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
463817 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
463817 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
463817 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
463818 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
463818 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
463818 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
463818 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
463831 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
463831 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
463831 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
463831 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
463832 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
463832 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
463832 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
463832 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
463841 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
463841 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
463841 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
463841 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
463841 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
463841 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
463841 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
463841 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
463845 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
463845 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
463845 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
463845 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
463845 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
463845 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
463845 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
463845 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
463847 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
463847 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
463847 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
463847 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
463847 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
463847 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
463847 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
463847 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
463851 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
463851 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
463851 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
463851 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
463851 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
463851 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
463851 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
463851 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
463937 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
463937 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
463937 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
463937 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
463937 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
463937 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
463937 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
463937 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
463963 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
463963 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
463986 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
463986 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
463986 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
463986 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
464021 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
464021 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
464021 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
464021 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
464021 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
464021 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
464021 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
464021 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
464053 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
464054 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
464068 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
464068 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
464068 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
464068 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
464077 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
464077 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
464077 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
464077 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
464101 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
464101 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
464101 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
464101 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
464113 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
464113 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
464113 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
464113 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
464140 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
464140 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
464140 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
464140 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
464140 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
464140 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
464140 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
464140 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)