Standard output
497699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/loopScopeInvRule/Test.key
497699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 427.12ns
497700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
497875 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
497876 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
497876 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
497877 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
498473 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
502127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s
502171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
502173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 38.7ns