Standard output
946106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
946106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 621.6ns
946106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
949858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s
949920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
949920 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.9ns
980028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
980028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.8ns
980044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
983671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s
983796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
983811 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.5ns