Standard output
513636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/loopScopeInvRule/Test.key
513636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 461.9ns
513637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
513929 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
513929 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
513930 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
513930 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
515268 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
519517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.88s
519574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
519579 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 49.5ns