Standard output
647415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
647415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.4ns
647415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
647571 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
647571 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
647571 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
647571 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
648308 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
652901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s
652948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
652948 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 87.8ns