Standard output
620120 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
620120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.3ns
620120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
620627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 509.26ms
620659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
620659 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns
620999 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
621112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.66ms
621112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
621551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 440.56ms
621582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
621613 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.96ms
621644 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
621644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 654.4ns
621644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
625843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s
625890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
625890 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns
626005 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
626005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.27ms
626021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
630247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s
630294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
630310 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.92ms