Standard output
415363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
415363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.4ns
415363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
415460 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
415460 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
415460 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
415460 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
415961 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
419228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s
419260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
419260 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.2ns