Standard output
992407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
992407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.6ns
992407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
996471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s
996878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
996878 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.7ns
1032969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1032969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207ns
1032969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1036525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s
1036572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1036572 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.6ns