Standard output
610436 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
610436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.7ns
610436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
610890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 442.55ms
610922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
610922 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
611250 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
611323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.74ms
611324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
611762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 443.24ms
611804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
611828 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.44ms
611832 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
611832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.9ns
611834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
615985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s
616036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
616036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
616146 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
616146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.8ms
616161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
620371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s
620418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
620433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.53ms