Standard output
1474670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1474670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.1ns
1474670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1480157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s
1480236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1480236 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns
1516774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1516774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.8ns
1516790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1522787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.01s
1522850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1522850 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns