Standard output
919430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
919430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158ns
919434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
919589 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
919589 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
919589 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
919589 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
920182 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
924337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s
925603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
925619 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
958033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
958033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.2ns
958033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
961523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
961586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
961586 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns