Standard output
1149365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1149365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.6ns
1149365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1153826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s
1153873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1153873 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.8ns
1178513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1178513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 444.3ns
1178513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1182973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s
1183004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1183020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.4ns