Results¶
This page aggregates key metrics from results/*/metrics.csv and includes CIs where available.
In CI, results are uploaded as artifacts. Locally, see the latest timestamp in results/.
(Automated table generation can be added to pull from CSV files.)
Latest run metrics¶
| metric | value |
|---|---|
| solve_mean_s | 0.019416416995227337 |
| solve_ci95_half_s | 0.0 |
| export_elapsed_s | 0.3076325839792844 |
| rows_states | 765 |
| rows_state_actions | 2270 |