Standard output
564548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
564548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.5ns
564548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
564720 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
564720 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
564720 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
564720 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
565502 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
569818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s
569865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
569880 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.1ns