Standard output
974940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
974940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 372.2ns
974940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
975112 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
975112 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
975112 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
975112 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
975746 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
982144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.2s
983332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
983364 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
1016688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1016688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.5ns
1016688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1020062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s
1020124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1020124 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns