Standard output
827933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
827933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 558.8ns
827949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
828160 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
828160 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
828160 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
828160 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
829303 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
835438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.49s
835484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
835500 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 169ns