Standard output
1518314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1518314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.4ns
1518314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1524211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.89s
1524273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1524273 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns
1559772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1559772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.7ns
1559772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1565928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.17s
1565991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1565991 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.6ns