Standard output
382564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/loopScopeInvRule/Test.key
382565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 445.81ns
382566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
382661 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
382662 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
382662 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
382662 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
383047 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
385965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
385999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
386000 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.4ns