Standard output
1458920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1458920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.1ns
1458920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1464540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s
1464602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1464602 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns
1497218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1497218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.7ns
1497218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1502935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.71s
1502982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1502982 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns