Best result
—
no successful runs yet
score = 0.35·size + 0.45·path + 0.20·timing (ratios vs baseline) ·
tree metrics are deterministic, timing is best-effort ·
baseline —
Progress (best speedup over time)
Runs
| when | name | status |
score | size | path |
timing | build s | note |
Detail
decision-tree cost
timing
patch