Standard output
819740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
819740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.1ns
819740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
819975 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
819975 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
819975 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
819975 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
821110 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
827168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.42s
827214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
827214 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 65.5ns