Standard output
1023642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1023642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.8ns
1023642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1027458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s
1027520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1027536 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns
1057791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1057791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 817.2ns
1057806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1061418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s
1061481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1061481 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.6ns