Standard output
508676 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
508676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.9ns
508691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
509192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 515.16ms
509238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
509238 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.6ns
509551 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
509598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.67ms
509613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
510098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 490.36ms
510130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
510161 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.71ms
510177 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
510177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.3ns
510177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
513585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s
513647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
513647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
513757 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
513757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.26ms
513772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
517152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s
517199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
517214 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.17ms