Standard output
419274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
419274 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.9ns
419274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
419384 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
419384 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
419384 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
419384 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
419800 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
422821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s
422852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
422852 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.1ns