Standard output
1370620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1370620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.3ns
1370620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1375808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s
1375855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1375855 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns
1406732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1406732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189ns
1406732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1412056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s
1412103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1412103 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.6ns