Standard output
801173 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
801173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.8ns
801173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
801814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 640.09ms
801861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
801876 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
802283 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
802392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.88ms
802392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
802987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 586.81ms
803034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
803080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 40.1ms
803080 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
803080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120ns
803080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
808397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s
808475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
808475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns
808584 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
808584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.82ms
808600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
814010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s
814073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
814090 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.77ms