Shannon Prover benchmark

⚠ Placeholder — work in progress. Everything on this page comes from unstandardized development runs; it is not a controlled comparison and does not represent final results. We'll keep updating as new experiments land.