Standard output
510258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
510258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.7ns
510274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
510445 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
510445 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
510445 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
510445 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
511106 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
514931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s
514977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
514977 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.7ns