Standard output
923637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
923637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.5ns
923653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
927043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s
927090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
927107 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.8ns
956822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
956822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 360.9ns
956822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
960245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s
960417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
960417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns