Standard output
423756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
423756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.4ns
423756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
423944 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
423944 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
423944 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
423944 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
424491 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
427712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.96s
427759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
427759 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 54.8ns