Dataset Open Access

Model Counting Competition 2020: Full Instance Set

Johannes Fichte; Markus Hecher; Florim Hamiti


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
243
395
views
downloads
All versions This version
Views 243243
Downloads 395395
Data volume 165.5 GB165.5 GB
Unique views 205205
Unique downloads 206206

Share

Cite as