Standard output
771602 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
771602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.1ns
771617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
772192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 581.84ms
772239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
772239 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
772777 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
772844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.19ms
772860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
773508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 649.49ms
773539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
773571 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.61ms
773586 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
773586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.4ns
773586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
778773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s
778844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
778848 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
778990 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
778990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.49ms
778990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
784225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s
784288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
784288 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.02ms