Tora
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Inner-set approximation | Tora lar. | Time (s)10.32 | 4 | |
| Inner-set approximation | Tora med. | Time (s)6.72 | 4 | |
| Inner-set approximation | Tora sma | Time (s)6.62 | 4 | |
| Outer Reachable Set Computation | Tora (large) | Time (s)1.4 | 3 | |
| Outer Reachable Set Computation | Tora (medium) | Time (s)1.14 | 3 | |
| Outer Reachable Set Computation | Tora (small) | Time (s)1.14 | 3 |
Showing 6 of 6 rows