Panagiotis (Pete) Manolios
College of Computer and Information Science
Northeastern University

A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems


Panagiotis Manolios and Sudarshan K. Srinivasan.

Click Here to Get the Core Benchmarks in CNF format (417M)