Standard output
784014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
784014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.3ns
784014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
784358 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
784358 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
784358 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
784358 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
785343 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
791190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.18s
791252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
791268 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.8ns