GET IN TOUCH

Model Counting Competition (MC-2020)

Tracks

Track 1: Exact Model Counting
Track 2: Exact Weighted Model Counting
Track 3: Projected Model Counting

Important Dates (preliminary)

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 open (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
Presentation of the Results: July X, 2021 (depending on the SAT Conference)

Submission

Register an Account with StarExec. We will give you access and you will be able to upload your solver there.

Model Counting Workshop (MCW-2021@SAT)

Important Dates (preliminary)

June 1, 2021: Abstract submission deadline
June 10, 2021: Notification to authors
June 12, 2021: Program available on the workshop website
July 6, 2021: Online Workshop. Time late afternoon CEST (details tba).

Submission