15 nesprávných formací v PutnamBench (přibližně 2 % benchmarku) bylo opraveno díky Logical Intelligence za příspěvek ke změnám, které identifikoval jejich systém Aleph Prover (mimochodem, zároveň momentálně nejsilnější přístup na žebříčku PB)!