Standard output
794385 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
794385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.1ns
794400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
795065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 664.72ms
795098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
795098 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns
795582 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
795660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.39ms
795660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
796270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 612.6ms
796317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
796348 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 31.26ms
796364 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
796364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 710.1ns
796364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
801829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s
801899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
801902 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
802009 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
802024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.45ms
802024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
807494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s
807567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
807583 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ms