Standard output
1159754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1159754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.11ns
1159754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1163998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s
1164075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1164076 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.8ns
1189259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1189259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.21ns
1189259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1193707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s
1193751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1193752 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.3ns