Standard output
718678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
718678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.8ns
718682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
718939 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
718939 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
718939 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
718939 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
720035 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
724986 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.31s
725033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
725033 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 98.5ns