15 virheformalisointia PutnamBenchissä (noin 2 % vertailuarvosta) on korjattu, kiitos Logical Intelligencen muutokset, jotka tunnistettiin heidän Aleph Prover -järjestelmällään (joka on tällä hetkellä myös vahvin lähestymistapa PB-tulostaululla)!