Standard output
504163 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
504163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.9ns
504163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
504679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 525.45ms
504726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
504726 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns
505039 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
505101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.92ms
505101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
505586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 488.05ms
505617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
505648 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.84ms
505664 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
505664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.7ns
505664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
508929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s
508976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
508976 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
509086 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
509101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.01ms
509101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
512345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
512392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
512407 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.37ms