Standard output
1013017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1013017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 558.5ns
1013035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1013207 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1013207 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1013207 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1013207 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1013879 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
1020627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.6s
1021940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1021955 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
1055453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1055453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.6ns
1055453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1059115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s
1059161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1059161 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns