| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| rocks (N=4) | Synthesis Time0.05 | 4 | 19d ago | ||
| refuel N=6, E=8 | Execution Time0.07 | 4 | 19d ago | ||
| cheese-maze-det | Execution Time0.01 | 4 | 19d ago | ||
| cheese-maze | Execution Time0.01 | 4 | 19d ago | ||
| cards-added-3 | Execution Time0.03 | 4 | 19d ago | ||
| cards-added 2 | Execution Time0.01 | 4 | 19d ago | ||
| cards removed-4 | Time0.16 | 4 | 19d ago | ||
| cards-removed 3 | Execution Time0.02 | 4 | 19d ago | ||
| cards-removed 2 | Time0.01 | 4 | 19d ago | ||
| hallway | STORM | Execution Time0.01 | 4 | 19d ago | |
| cards-added 4 | STORM | Execution Time0.01 | 3 | 19d ago | |
| cards-removed-5 | STORM | Execution Time8 | 3 | 19d ago | |
| hallway-simple-50 | STORM | Execution Time1 | 3 | 19d ago | |
| hallway 2 | STORM | Time0.01 | 3 | 19d ago | |
| cards-added-5 | STORM | |B|19,603 | 1 | 19d ago |
