Standard output
487405 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
487405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.9ns
487420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
487912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 491.7ms
487953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
487953 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
488266 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
488323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 46.06ms
488323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
488855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 538.93ms
488886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
488917 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.24ms
488933 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
488933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 451.7ns
488933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
492194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s
492241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
492241 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
492356 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
492372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.14ms
492372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
495634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s
495681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
496088 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 396.29ms