Standard output
527627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
527627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.2ns
527627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
527768 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
527768 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
527783 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
527783 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
528576 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
532364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s
532395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
532411 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.7ns