Standard output
940071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
940071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 511ns
940086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
943728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s
944256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
944272 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.6ns
977557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
977557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.2ns
977572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
981371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s
981433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
981433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns