Standard output
627816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
627816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.8ns
627816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
627972 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
627972 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
627972 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
627972 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
628824 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
633395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.58s
633442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
633442 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 56.8ns