Commit 225ad44d ·
branch perf-shared-trie-nodes ·
add a comment ·
Generated 2026-07-18 08:43 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.