Standard output
1002242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1002242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.9ns
1002242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1002414 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1002414 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1002414 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1002414 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1003026 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
1007291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s
1007385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1007401 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
1040463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1040463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 469ns
1040463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1044277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s
1044339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1044339 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns