Standard output
754484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
754484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.2ns
754484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
757127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s
757173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
757173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.9ns
779153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
779153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.5ns
779153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
781811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s
781842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
781842 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.9ns