Standard output
1307807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1307807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.3ns
1307808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1312848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s
1312898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1312899 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns
1343416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1343416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.5ns
1343417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1348472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s
1348520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1348522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.3ns