Standard output
1167270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1167270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.1ns
1167270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1171671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s
1171734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1171734 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.6ns
1196887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1196887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.5ns
1196887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1201329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s
1201376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1201376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns