Standard output
422037 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
422037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.8ns
422037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
422477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 435.15ms
422508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
422508 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
422773 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
422820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 47.61ms
422820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
423262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 426.59ms
423293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
423308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.72ms
423324 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
423324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.2ns
423324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
426225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s
426278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
426288 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns
426400 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
426415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.72ms
426415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
429265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s
429313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
429328 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.59ms