Standard output
1335655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1335655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.6ns
1335655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1340648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s
1340695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1340711 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns
1372729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1372729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.7ns
1372729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1378418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.69s
1378465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1378465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns