Standard output
845913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
845913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.4ns
845914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
849313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
849364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
849367 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.4ns
874489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
874489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.5ns
874490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
877435 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s
877501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
877503 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.4ns