Standard output
550936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
550936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.7ns
550936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
551108 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
551108 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
551108 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
551108 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
551898 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
555999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s
556046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
556061 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.9ns