Standard output
556946 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
556946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.2ns
556946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
557494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 549.22ms
557541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
557541 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
557854 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
557932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.07ms
557932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
558463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 528.12ms
558494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
558541 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 29.18ms
558541 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
558541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.6ns
558541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
562199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s
562262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
562262 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
562371 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
562387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.01ms
562387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
565937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s
565999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
566030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.77ms