Standard output
785722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
785722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.9ns
785722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
785914 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
785914 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
785914 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
785930 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
786737 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
792447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.72s
792494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
792494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.2ns