There is a newer version of this record available.

Dataset Open Access

Model Counting Competition 2020: Competition Instances

Johannes K. Fichte; Markus Hecher; Florim Hamiti


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
424
192
views
downloads
All versions This version
Views 424344
Downloads 192182
Data volume 19.9 GB17.4 GB
Unique views 341287
Unique downloads 115111

Share

Cite as