Standard output
1405335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1405335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.1ns
1405335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1410669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s
1410731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1410731 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns
1440803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1440803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.4ns
1440803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1445963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s
1446026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1446026 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns