Standard output
497328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
497328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 431.4ns
497328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
497453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
497453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
497453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
497453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
498062 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
501890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s
501937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
501937 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.3ns