Standard output
752196 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
752196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.2ns
752212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
752809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 607.23ms
752856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
752856 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
753326 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
753364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 46.38ms
753364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
753967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 594.34ms
753998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
754029 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.27ms
754045 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
754045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.8ns
754045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
759182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s
759260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
759260 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
759373 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
759388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.34ms
759388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
764565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s
764612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
764627 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.37ms