Standard output
1371960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1371960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.6ns
1371961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1377249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s
1377304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1377306 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.4ns
1407184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1407184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.6ns
1407184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1412363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s
1412416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1412418 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2ns