Standard output
1069035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1069035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.54ms
1069035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1072989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s
1073051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1073051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.6ns
1111071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1111071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.3ns
1111071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1114858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s
1114930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1114930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns