Standard output
1196947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1196948 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 630.8ns
1196949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1201535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s
1201604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1201608 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns
1228458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
1228458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 378.9ns
1228459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1233076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s
1233124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1233126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns