| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Policy Synthesis | firewire Rmin | Execution Time (s)0.038 | 2 | |
| Value Iteration | Firewire DL | Iterations5 | 2 | |
| MDP Policy Reachability | Firewire Abst | Percent States Seen100 | 1 | |
| Value Iteration | firewire false elected | Metric- | 0 | |
| Value Iteration | firewire abst | Metric- | 0 |