Back to main benchmark page
Back to 2D Grid Benchmark Page

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:

PreviewDownload ImageMapDimensions# statesScenarioMax length
problem in scenario
png
svg
pdf
Map1.map 2048x2048 0 Map1.scen 5032.372082
png
svg
pdf
Map10.map 2048x2048 0 Map10.scen 4760.835349
png
svg
pdf
Map11.map 2048x2048 0 Map11.scen 5199.050364
png
svg
pdf
Map12.map 2048x2048 0 Map12.scen 5115.535119
png
svg
pdf
Map13.map 2048x2048 0 Map13.scen 5405.751287
png
svg
pdf
Map14.map 2048x2048 0 Map14.scen 5018.252240
png
svg
pdf
Map15.map 2048x2048 0 Map15.scen 5094.950941
png
svg
pdf
Map16.map 2048x2048 0 Map16.scen 5382.733105
png
svg
pdf
Map17.map 2048x2048 0 Map17.scen 5105.398560
png
svg
pdf
Map18.map 2048x2048 0 Map18.scen 4993.915783
png
svg
pdf
Map19.map 2048x2048 0 Map19.scen 5898.430768
png
svg
pdf
Map2.map 2048x2048 0 Map2.scen 5886.661870
png
svg
pdf
Map20.map 2048x2048 0 Map20.scen 4968.012319
png
svg
pdf
Map3.map 2048x2048 0 Map3.scen 4601.663973
png
svg
pdf
Map4.map 2048x2048 0 Map4.scen 4818.824967
png
svg
pdf
Map5.map 2048x2048 0 Map5.scen 5665.094254
png
svg
pdf
Map6.map 2048x2048 0 Map6.scen 4527.538048
png
svg
pdf
Map7.map 2048x2048 0 Map7.scen 5231.323344
png
svg
pdf
Map8.map 2048x2048 0 Map8.scen 4217.280949
png
svg
pdf
Map9.map 2048x2048 0 Map9.scen 5502.609714