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.