CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2020 Models

<p>From the Hardware Model Checking Competition 2020 we have collected 324<br>sequential model checking problems and for each generated an isomorphic and<br>an optimized miter. &nbsp;The isomorphic miters just compares two identical<br>copies while for the optimized miter one copy went through optimization<br>with ABC using the `dc2` command.</p> <p>The CNFs are generated with a new version of `aigtocnf` which detects<br>XOR and ITE gates in the AIGER circuit and if detected uses a more compact<br>encoding (4 clauses clauses instead of 9) for each detected gate.</p>