Standard output
690846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/loopScopeInvRule/Test.key
690846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.6ns
690847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
691063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
691063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
691063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
691063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
691803 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
696739 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.89s
696782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
696785 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 36ns