| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| Warehouse MDPs Property: Rmin R{“steps”}min=? [F “goal”] W512/W1024 | Time (s)10.36 | 30 | 1mo ago | ||
| Warehouse MDPs Property: Pmax F “goal” W512 W1024 | Time (s)5.94 | 30 | 1mo ago | ||
| Grid-world | Cplus(D, S) | Success Rate5 | 16 | 19d ago | |
| zeroconf Rmin | Execution Time (s)0.04 | 2 | 1mo ago | ||
| consensus Pmax | Time (s)0.735 | 2 | 1mo ago | ||
| arenas Rmin 16 | SHARP | Execution Time (s)152.75 | 2 | 1mo ago | |
| firewire Rmin | Execution Time (s)0.038 | 2 | 1mo ago | ||
| wlan3 Pmax | Time (s)0.047 | 2 | 1mo ago | ||
| arenas8 Rmin | Execution Time (s)2.29 | 2 | 1mo ago |
