Standard output
1470485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1470485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.3ns
1470485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1476218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.73s
1476280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1476280 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns
1509058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1509058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.7ns
1509058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1514901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.84s
1514964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1514964 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns