Standard output
638391 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
638391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161ns
638391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
638882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 491.31ms
638928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
638928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
639346 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
639389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 42.91ms
639392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
639864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 472.79ms
639896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
639911 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.66ms
639911 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
639911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 496.4ns
639927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
644305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s
644358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
644360 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
644469 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
644469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.08ms
644485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
648876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s
648922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
648938 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.52ms