Data Path Benchmarks

Collection of some benchmarks for data path verification, mostly consisting of arithmetic miters, as submitted to the SAT Competition 2016.

[ datapath-09Apr2016.7z (500MB) | (8KB) ]

See also the following benchmark description.

Armin Biere. Collection of Combinational Arithmetic Miters Submitted to the SAT Competition 2016. In Proceedings of SAT Competition 2016 - Solver and Benchmark Descriptions, Tomáš Balyo, Marijn Heule, Matti Järvisalo (editors), vol. B-2016-1 of Department of Computer Science Series of Publications B, pages 65-66, University of Helsinki, 2016.
[ paper | bibtex | data ]