Standard output
656241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
656241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.4ns
656257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
656413 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
656413 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
656413 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
656413 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
657130 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
662081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.84s
662129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
662129 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.3ns