Model Counting Competition 2021
Tracks / Challenges
-
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:
Call for Benchmarks
Model Counting Competition invites extended submission of collections of counting instances in the an DIMACS-based submission formats as given below.
Public Instances
Submission
Register an Account with StarExec. We will give you access and you will be able to upload your solver there.
Format
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 16, 2021.
Important Dates
January 10, 2021: Announcement of the challenge (Tracks)
- January 26, 2021: Announcement of the challenge (Tracks)
- February 24, 2021: Format Description Online
- February 21, 2021: Call for Benchmarks
- March 19, 2021: Benchmarks (submit ASAP)
Please use the Google Form - March 25, 2021: Intent to Participate
Please use the Google Form - April 15, 2021: Public Instances are available
- April 16, 2021: Submission of the Solvers (Feedback Phase starts)
- May 7, 2021: Last Update to submissions (End of Feedback Phase)
- May 17, 2021: Evaluation Phase starts
- May 30, 2021: Submissions + Descriptions (Zenodo)
Please use the Google Form - July 8, 2021 & Presentation of the Results
Organization
Program Co-Chair
- Markus Hecher (TU Wien, Vienna)
- Johannes K. Fichte (TU Dresden, Dresden)
Evaluation Plattform
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.
Sponsors
data-experts already announced sponsoring of MC 2021.