Download all maps (1.9M)
Download all scenarios (96K)
Download all png images (17M)
Download all svg images (6.2M)
Download all pdf images (21M)
These maps were created for work on Dynamic Weighted Abstractions. Some notes about the data:
Preview | Download Image | Map | Dimensions | # states | Scenario | Max length problem in scenario |
---|---|---|---|---|---|---|
![]() |
png svg |
Map1.map | 2048x2048 | 0 | Map1.scen | 5032.372082 |
![]() |
png svg |
Map10.map | 2048x2048 | 0 | Map10.scen | 4760.835349 |
![]() |
png svg |
Map11.map | 2048x2048 | 0 | Map11.scen | 5199.050364 |
![]() |
png svg |
Map12.map | 2048x2048 | 0 | Map12.scen | 5115.535119 |
![]() |
png svg |
Map13.map | 2048x2048 | 0 | Map13.scen | 5405.751287 |
![]() |
png svg |
Map14.map | 2048x2048 | 0 | Map14.scen | 5018.252240 |
![]() |
png svg |
Map15.map | 2048x2048 | 0 | Map15.scen | 5094.950941 |
![]() |
png svg |
Map16.map | 2048x2048 | 0 | Map16.scen | 5382.733105 |
![]() |
png svg |
Map17.map | 2048x2048 | 0 | Map17.scen | 5105.398560 |
![]() |
png svg |
Map18.map | 2048x2048 | 0 | Map18.scen | 4993.915783 |
![]() |
png svg |
Map19.map | 2048x2048 | 0 | Map19.scen | 5898.430768 |
![]() |
png svg |
Map2.map | 2048x2048 | 0 | Map2.scen | 5886.661870 |
![]() |
png svg |
Map20.map | 2048x2048 | 0 | Map20.scen | 4968.012319 |
![]() |
png svg |
Map3.map | 2048x2048 | 0 | Map3.scen | 4601.663973 |
![]() |
png svg |
Map4.map | 2048x2048 | 0 | Map4.scen | 4818.824967 |
![]() |
png svg |
Map5.map | 2048x2048 | 0 | Map5.scen | 5665.094254 |
![]() |
png svg |
Map6.map | 2048x2048 | 0 | Map6.scen | 4527.538048 |
![]() |
png svg |
Map7.map | 2048x2048 | 0 | Map7.scen | 5231.323344 |
![]() |
png svg |
Map8.map | 2048x2048 | 0 | Map8.scen | 4217.280949 |
![]() |
png svg |
Map9.map | 2048x2048 | 0 | Map9.scen | 5502.609714 |