Corridor-Rooms
Benchmarks
TaskDatasetSOTA resultTrendResults
Corridor-Rooms 16 (|S|=400)
400|S|
7
Corridor-Rooms-9 (|S|=196)
196Abstract State Count
7
Corridor-Rooms-4 (|S|=64)
64Abstract State Count
7
Corridor-Rooms-9
0Construction Time (s)
7
Corridor-Rooms-9
6Abstraction Size (≥ 90% Return)
7