Commit c7fc1d77 ·
branch ezr-better-parallel-packed-trie ·
Use local frontiers for all-intersect DVO ·
Generated 2026-07-25 08:20 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.