Standard output
1001126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1001126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.2ns
1001141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1001298 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1001298 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1001298 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1001298 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
1002095 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
1006382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s
1006476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1006476 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.2ns
1039260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1039260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.3ns
1039260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1042996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s
1043058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1043058 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns