Standard output
471264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/loopScopeInvRule/Test.key
471265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 450.7ns
471265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
471523 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
471524 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
471525 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
471525 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
472392 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
476035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s
476074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
476076 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.6ns