Standard output
554880 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
554880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.8ns
554880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
555459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 578.24ms
555506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
555506 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
555834 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
555927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.03ms
555927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
556522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 599.56ms
556569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
556616 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 33.29ms
556616 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
556616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 498.3ns
556616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
560368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s
560431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
560446 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
560587 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
560587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.42ms
560603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
564371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s
564433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
564464 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.26ms