Standard output
1524217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1524217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.7ns
1524217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1530106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.89s
1530168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1530184 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns
1562454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1562454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.5ns
1562454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1568008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s
1568055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1568055 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns