Standard output
729577 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
729577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144ns
729577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
730124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 547.71ms
730171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
730171 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
730688 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
730757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75ms
730757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
731287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 534.41ms
731334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
731365 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.05ms
731365 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
731381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 959.4ns
731381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
736492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s
736539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
736555 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
736666 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
736666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.78ms
736681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
741729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s
741788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
741792 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.29ms