Standard output
404499 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
404499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.2ns
404499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
404921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 417.38ms
404952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
404968 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
405171 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
405249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.93ms
405249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
405702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 458.83ms
405734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
405765 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.4ms
405765 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
405765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.3ns
405780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
408517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s
408563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
408563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
408673 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
408688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.72ms
408688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
411408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s
411455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
411471 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.35ms