Standard output
1403974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1403974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.5ns
1403990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1409939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.96s
1410018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1410018 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns
1443195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1443195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.4ns
1443195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1448609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s
1448656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1448656 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns