team |
Data Path BenchmarksCollection of some benchmarks for data path verification, mostly consisting of arithmetic miters, as submitted to the SAT Competition 2016. [ datapath-09Apr2016.7z (500MB) | datapath-09Apr2016-readmes.zip (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. |