Standard output
511895 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
511895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.3ns
511911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
512427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 525.95ms
512473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
512473 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
512817 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
512883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.58ms
512898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
513383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 498.06ms
513430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
513445 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.91ms
513461 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
513461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.9ns
513461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
516753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s
516799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
516815 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
516936 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
516936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.59ms
516951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
520227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
520289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
520321 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 30.44ms