Dataset Open Access

Model Counting Competition 2020: Competition Instances

Johannes K. Fichte; Markus Hecher; Florim Hamiti


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
157
82
views
downloads
All versions This version
Views 157157
Downloads 8282
Data volume 9.4 GB9.4 GB
Unique views 138138
Unique downloads 4747

Share

Cite as