Standard output
539662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
539662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.3ns
539662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
539818 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
539818 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
539818 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
539818 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
540707 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
544683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s
544730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
544730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.5ns