PrecisionMemBench - Proofable passed 77 of 77 cases