Commit 95f539cc ·
branch main ·
Merge pull request #973 from egraphs-good/fix/971-intersect-transient-unsorted ·
Generated 2026-08-09 08:15 UTC
All times in seconds (mean). Each run is capped at a 2-minute timeout. Programs whose standard and proof runs are both under 50ms are omitted. Raw data: results.json.