Standard output
763365 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
763365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.7ns
763365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
764047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 686.6ms
764094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
764094 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
764555 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
764601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 46.68ms
764601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
765180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 575.43ms
765227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
765242 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.79ms
765258 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
765258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.5ns
765258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
770489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s
770552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
770552 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
770664 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
770664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.93ms
770679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
775872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s
775919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
775935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.85ms