Standard output
388279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
388279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.2ns
388279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
388435 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
388435 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
388435 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
388435 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
388811 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
391741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s
391773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
391773 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.2ns