Standard output
809285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
809285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.9ns
809285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
809504 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
809504 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
809504 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
809504 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
810596 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
816494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.2s
816555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
816555 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 87.9ns