Standard output
1023173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1023173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 520.9ns
1023173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1026739 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s
1026801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1026801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns
1056752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1056752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 560.6ns
1056752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1060160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
1060207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1060207 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns