Standard output
762395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
762395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.7ns
762410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
765318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s
765380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
765380 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.3ns
788159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
788159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.1ns
788159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
791037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s
791068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
791084 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.5ns