Standard output
542812 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
542812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.2ns
542828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
543406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 583.35ms
543453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
543453 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns
543766 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
543860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.03ms
543860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
544376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 521.51ms
544422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
544469 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.07ms
544485 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
544485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 560ns
544485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
548238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s
548300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
548300 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
548410 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
548425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.21ms
548425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
552022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s
552084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
552100 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.92ms