Standard output
763518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
763518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 553.6ns
763518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
763706 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
763706 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
763721 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
763721 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
764493 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
770393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.87s
770439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
770439 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 64ns