Standard output
507170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/loopScopeInvRule/Test.key
507171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.6ns
507172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
507350 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
507351 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
507352 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
507353 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
507971 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
511680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.51s
511728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
511730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.8ns