566359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.key
566359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.7ns
566359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
567000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 632.13ms
567047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
567047 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns
567078 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
567078 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
567078 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
567078 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
567110 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
567110 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
567110 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
567110 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
567110 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
567110 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
567110 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
567110 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
567219 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d.constant();)
567219 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d.constant();)
567219 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d.constant();)
567219 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d.constant();)
567235 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d;)
567235 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d;)
567235 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d;)
567235 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d;)
567235 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
567235 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
567235 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
567235 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
567250 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
567250 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
567250 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
567250 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
567266 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
567266 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
567266 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
567266 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
567344 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
567344 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
567344 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
567344 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
567375 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i)
567375 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i)
567375 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i)
567375 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i)
567547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.zproof
567610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.35ms
567625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
568251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 619.84ms
568298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
568376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 81.62ms
568392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.key
568392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.7ns
568392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
572174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s
572237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
572237 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
572253 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
572253 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
572253 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
572253 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
572268 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
572268 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
572268 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
572268 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
572268 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
572268 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
572268 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
572268 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
572299 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 5)
572299 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 5)
572299 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 5)
572299 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 5)
572378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.zproof
572378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.72ms
572378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
576225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s
576303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
576350 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 34.59ms