Standard output
725427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
725427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89ns
725428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
725601 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
725602 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
725602 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
725602 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
726156 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
729312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s
729363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
729365 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.6ns
751505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
751505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298.9ns
751506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
754427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s
754464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
754466 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns