Standard output
1066433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1066433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.7ns
1066449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1070441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s
1070488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1070488 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.6ns
1093020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1093020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.4ns
1093020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1096924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s
1096971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1096971 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.6ns