Standard output
549844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
549844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.8ns
549861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
550093 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
550093 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
550093 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
550093 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
551083 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
555128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s
555175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
555175 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.6ns