514842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
514842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.6ns
514842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
515077 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
515077 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
515077 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
515077 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
515889 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
519626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s
519720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
519736 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 31.9ns
519736 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
519736 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
519736 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
519736 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
519751 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
519751 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
519751 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
519751 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
519751 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
519751 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
519751 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
519751 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
519767 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
519767 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
519767 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
519767 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
519767 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
519767 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
519767 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
519767 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
519767 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
519767 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
519767 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
519767 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
519892 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i > 0;)
519892 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i > 0;)
519892 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i > 0;)
519892 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i > 0;)
519954 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
519954 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
519986 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
519986 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
519986 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
519986 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
520001 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520001 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520001 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520001 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520032 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
520032 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
520032 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
520032 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
520048 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520048 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520048 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520048 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520126 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
520126 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
520126 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
520126 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
520126 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
520126 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
520126 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 17;)
520126 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 17;)
520142 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
520142 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
520142 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
520142 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
520142 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
520142 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
520142 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
520142 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
520158 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
520158 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
520158 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
520158 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
520158 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
520158 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
520158 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 42;)
520158 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 42;)
520173 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520173 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520173 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520173 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520173 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520173 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520173 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520173 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520189 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
520189 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
520189 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
520189 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
520189 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
520189 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
520189 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i == 2048;)
520205 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i == 2048;)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i - 1;)
520220 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i - 1;)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source (int) _i;)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source (int) _i;)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520236 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i_1 - 1;)
520252 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i_1 - 1;)
520330 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520330 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520330 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520330 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520330 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520330 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520330 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520330 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520377 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
520377 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
520408 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520408 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520408 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520408 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520455 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520455 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520455 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520455 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520455 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520455 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520455 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -1)
520455 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -1)
520470 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
520470 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source true;)
520486 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
520486 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
520486 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
520486 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
520502 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520502 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520502 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520502 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520533 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
520533 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
520533 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source -2)
520533 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source -2)
520548 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520548 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520548 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source _i)
520548 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source _i)
520564 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
520564 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
520564 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
520564 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
520564 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
520564 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)
520564 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 0)
520564 DEBUG Test worker d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 0)