Standard output
524001 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
524001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.9ns
524001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
524517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 508.64ms
524565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
524565 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
524861 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
524908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.21ms
524924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
525440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 522.94ms
525502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
525533 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 35.64ms
525533 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
525533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.3ns
525549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
529207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s
529332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
529332 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
529442 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
529458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 7.32ms
529458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
532882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s
532945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
532945 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ms