Standard output
422395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
422395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 510.9ns
422395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
422535 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
422535 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
422535 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
422535 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
423117 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
426230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s
426261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
426261 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17ns