Standard output
1377878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1377878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.8ns
1377894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1383247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s
1383310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1383310 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.4ns
1413486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1413486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.8ns
1413486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1418936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s
1418983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1418983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2ns