PrecisionMemBench - Proofable passed 76 of 77 cases