Standard output
643480 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
643480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.3ns
643483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
643936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 464.19ms
643983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
643983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
644389 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
644421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 40.91ms
644436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
644905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 469.36ms
644936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
644968 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.64ms
644968 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
644968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.6ns
644968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
649324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s
649371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
649371 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
649484 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
649484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.12ms
649484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
653898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s
653945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
653945 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ms