Standard output
427291 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
427292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.8ns
427295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
427805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 509.16ms
427836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
427836 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.2ns
428148 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
428195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 44.05ms
428195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
428602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 401.16ms
428633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
428664 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.68ms
428664 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
428664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.6ns
428682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
431471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s
431518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
431533 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.7ns
431647 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
431663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.52ms
431663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
434446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s
434515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
434530 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.44ms