Model Counting (mc)
Compute the number of satisfying assignments to a given CNF:
Weighted Model Counting (wmc)
Compute the number of satisfying assignments to a given CNF:
Projected Model Counting (pmc)
Compute the number of satisfying assignments to a given CNF:
Model Counting Competition invites extended submission of collections of counting instances in the an DIMACS-based submission formats as given below.
We refer to a comprehensive document on the description of the competition. Note that runtime requirements might still change until we have the final platform running, which we expect by April 10, 2020 lastest.
January 10, 2021: Announcement of the challenge (Tracks)
We are happy that the director of StarExec (Aaron Stump, Iowa) accepted to host the model counting competition. We are currently trying to setup the platform. In case that we do manage this in time, we will run the competition on the Taurus Cluster in Dresden.
data-experts already announced sponsoring of MC 2021.