Standard output
866959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
866959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78ns
866960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
870358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
870401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
870402 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns
895656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
895656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.8ns
895657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
898936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s
898974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
898976 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns