Standard output
1211764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1211764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270ns
1211780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1216272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s
1216335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1216335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns
1248864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1248864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 312.1ns
1248864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1253414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s
1253460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1253460 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns