Standard output
1388517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1388517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.4ns
1388517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1393868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s
1393930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1393930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.3ns
1423828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1423828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.7ns
1423828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1429287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s
1429350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1429350 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.6ns