Standard output
431692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
431692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.4ns
431692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
431801 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
431801 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
431801 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
431801 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
432473 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
435657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s
435704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
435704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.3ns