Standard output
439166 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
439166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.6ns
439166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
439628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 465.72ms
439668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
439668 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
439934 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
439980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 43.59ms
439980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
440433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 448.91ms
440465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
440496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.76ms
440496 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
440496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.9ns
440496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
443682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s
443729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
443729 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
443846 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
443861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.18ms
443861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
446788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s
446835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
446835 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.66ms