Standard output
521509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/loopScopeInvRule/Test.key
521510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 590.9ns
521511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
521712 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
521712 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
521713 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
521713 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
522371 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
526512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s
526565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
526569 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.9ns