the open source cec benchmark named ec

This benchmark set consists of real-world industrial instances that incorporate long bit-wise optimizations and are primarily composed of datapath circuits, including adders and multipliers. It includes 8 instances in total, which can be categorized into three distinct levels of difficulty. All instances are represented as miter circuits in the AIG format, designed to compare two functionally equivalent circuits for testing purposes. These instances are part of the EC benchmark and serve as a valuable tool for assessing the efficiency and performance of combinational equivalence checking (CEC) provers, offering insights into their ability to handle real-world industrial challenges effectively.