Standard output
533294 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
533294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.7ns
533310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
533858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 549.31ms
533889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
533905 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
534280 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
534362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.71ms
534362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
534878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 519.43ms
534926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
534956 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.4ms
534956 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
534956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.3ns
534972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
538565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s
538612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
538628 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
538753 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
538753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.38ms
538753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
542301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s
542351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
542351 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.38ms