Dataset for Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice

The dataset consists of (1) Benchmark files<br> (2) the logfile (outputs) generated by ApproxMC4 and ApproxMC5 respectively (3) A summary of the results for the files where at least one of ApproxMC4 or ApproxMC5 did not time out and took more than 1 second. The corresponding paper titled "Scalable Approximate Model Counting via Concentrated Hashing]{Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice" will appear in the Proceedings of Logic in Computer science(LICS), 2020.