Standard output
414337 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
414337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.3ns
414341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
414770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 429.61ms
414788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
414803 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
415069 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
415112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 40.68ms
415112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
415502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 385.95ms
415549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
415565 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.18ms
415565 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
415580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.6ns
415580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
418340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s
418434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
418434 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
418543 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
418543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.68ms
418559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
421364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s
421395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
421411 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.23ms