Standard output
1070843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1070843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.3ns
1070859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1074924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s
1074971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1074971 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns
1100816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1100816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.5ns
1100831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1104927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s
1104974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1104974 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns