Standard output
568991 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
568991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.5ns
568991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
569618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 633.55ms
569665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
569665 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
570166 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
570229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.22ms
570229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
570792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 554.07ms
570823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
570856 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 33.2ms
570870 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
570870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 526.9ns
570885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
574913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s
574976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
574976 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 143.9ns
575086 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
575102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.54ms
575102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
579033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s
579095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
579111 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.73ms