Standard output
624873 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
624873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.2ns
624936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
625452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 519.6ms
625561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
625687 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns
626124 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
626187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.66ms
626187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
626656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 471ms
626781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
626828 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 38.89ms
626828 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
626828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.5ns
626843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
631207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s
631270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
631270 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.7ns
631395 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
631395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4ms
631395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
635475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s
635538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
635554 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.96ms