Commit e4ebef25 ·
branch ezr-better-parallel ·
Address parallel join review feedback ·
Generated 2026-08-10 17:39 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.