497786 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
497802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.2ns
497802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
498349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 545.06ms
498380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
498380 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
498412 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
498412 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
498412 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
498412 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
498427 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
498427 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
498427 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
498427 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
498443 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
498443 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
498443 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
498443 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
498537 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d.constant();)
498537 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d.constant();)
498537 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d.constant();)
498537 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d.constant();)
498552 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d;)
498552 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d;)
498552 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d;)
498552 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d;)
498552 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
498552 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
498552 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
498552 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
498552 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
498552 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
498552 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
498552 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
498568 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
498568 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
498568 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
498568 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
498630 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
498630 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
498630 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
498630 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
498662 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i)
498662 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i)
498662 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i)
498662 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i)
498864 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
498958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.76ms
498974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
499552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 586ms
499583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
499662 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 69.17ms
499662 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
499662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.5ns
499677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
503054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s
503116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
503116 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
503116 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
503116 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
503116 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
503116 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
503132 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
503132 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
503132 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
503132 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
503132 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
503132 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
503132 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
503132 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
503194 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 5)
503194 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 5)
503194 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 5)
503194 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 5)
503241 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
503241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.07ms
503241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
506540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
506602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
506649 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.56ms