Standard output
474699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/loopScopeInvRule/Test.key
474700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 429.31ns
474701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
474899 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
474899 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
474900 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
474900 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
476106 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
479879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s
479924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
479926 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.9ns