Standard output
1074129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1074129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.1ns
1074129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1074317 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1074317 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1074317 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1074317 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1075098 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
1079724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.59s
1079818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1079833 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
1114170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1114170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.9ns
1114185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1118391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s
1118453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1118469 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 54.6ns