Standard output
575941 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
575941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.9ns
575957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
576535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 581.91ms
576582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
576598 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
577036 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
577129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.07ms
577129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
577708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 574.15ms
577754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
577786 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.08ms
577786 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
577801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 477.9ns
577801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
581726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s
581788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
581788 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
581913 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
581929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.92ms
581929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
585775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s
585838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
585853 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.65ms