Standard output
1524890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1524890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 589.3ns
1524891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1530588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.7s
1530648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1530650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns
1566032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1566032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.2ns
1566033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1571643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s
1571695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1571696 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns