Standard output
1021952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1021952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.3ns
1021968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1022140 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1022140 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1022140 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1022140 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1022827 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
1027147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s
1027225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1027241 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
1059763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1059763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.4ns
1059763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1063843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s
1063905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1063905 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns