Standard output
440646 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
440646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.8ns
440646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
441053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 399.89ms
441087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
441087 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
441422 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
441508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.03ms
441508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
441882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 380.97ms
441914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
441945 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.99ms
441945 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
441945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.8ns
441945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
444683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s
444730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
444730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns
444846 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
444862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.1ms
444862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
447677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s
447739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
447739 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.27ms