Standard output
500621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
500621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 557.3ns
500637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
500781 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
500781 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
500781 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
500781 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
501552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
505269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s
505316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
505316 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.5ns