Standard output
676727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
676727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.6ns
676728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
676932 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
676933 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
676933 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
676933 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
677519 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
680627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s
680674 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
680676 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
700757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
700757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.9ns
700758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
703409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s
703449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
703450 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns