Standard output
843810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
843810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.2ns
843811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
847366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s
847418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
847421 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.7ns
874137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
874137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.2ns
874138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
877381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
877422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
877423 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.3ns