Standard output
503216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
503216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.4ns
503232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
503435 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503435 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503435 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503435 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504065 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
507702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s
507765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
507765 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.2ns