Standard output
891073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
891073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158ns
891073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
891230 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
891245 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
891245 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
891245 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
891902 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
895581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.51s
895659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
895659 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
923563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
923563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 485.5ns
923563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
926928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s
926975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
926975 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns