Sibylle Möhle and Cunjing Ge and Armin Biere. Program Analysis Benchmarks Submitted to the Model Counting Competition MC 2020. Technical Report 21/1, January 2021, FMV Reports Series.

[ report ]