Standard output
418308 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
418308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.8ns
418308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
418730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 417.39ms
418765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
418765 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns
419062 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
419123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.74ms
419123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
419542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 412.51ms
419573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
419605 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.87ms
419605 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
419605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.6ns
419605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
422440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s
422486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
422486 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
422602 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
422618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.09ms
422618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
425362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s
425425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
425425 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.86ms