CNF Benchmark Suite: DLX-IQ-UNSAT.1.0
========================================

Description:    formulas from formal verification of DLX processors with instruction queues

# of instances: 32

Author:         Miroslav N. Velev (mvelev@ece.cmu.edu)
                http://www.ece.cmu.edu/~mvelev

Date:           August 1, 2003



The formula sizes range in:

CNF Formula      Size [Bytes]    Variables    Clauses    Literals    Avg. Literals/Clause
--------------------------------------------------------------------------------------------
1dlx_c_iq33_a        40122396       143519    1877765     5412261                2.882289

...

1dlx_c_iq64_a       279406463       773005   11974186    34786776                2.905147