Commit a384d253 ·
branch ezr-better-parallel ·
Remove retired generic-join tuning paths ·
Generated 2026-07-20 13:09 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.