![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/unknown.gif) | cyclic-ucp.smt2 | 2024-09-15 02:50 | 144 | |
| issue277-circuit-propagator.smt2 | 2024-09-15 02:50 | 682 | |
| lfsc-test-1.smt2 | 2024-09-15 02:50 | 404 | |
| nomerge-alethe-pf.smt2 | 2024-09-15 02:50 | 1.2K | |
| open-pf-datatypes.smt2 | 2024-09-15 02:50 | 275 | |
| open-pf-if-unordered-iff.smt2 | 2024-09-15 02:50 | 519 | |
| open-pf-rederivation.smt2 | 2024-09-15 02:50 | 542 | |
| proj-issue326-nl-bounds-check.smt2 | 2024-09-15 02:50 | 251 | |
| proj-issue342-eager-checking-no-proof-checking.smt2 | 2024-09-15 02:50 | 129 | |
| proj-issue430-coverings-double-negation.smt2 | 2024-09-15 02:50 | 372 | |
| proj-issue462-sat-proof-option.smt2 | 2024-09-15 02:50 | 245 | |
| proj-issue468-mkScope.smt2 | 2024-09-15 02:50 | 209 | |
| proj-issue492-skolem-lemma-pf.smt2 | 2024-09-15 02:50 | 187 | |
| project-issue317-inc-sat-conflictlit.smt2 | 2024-09-15 02:50 | 350 | |
| project-issue330-eqproof.smt2 | 2024-09-15 02:50 | 335 | |
| qgu-fuzz-1-bool-sat.smt2 | 2024-09-15 02:50 | 192 | |
| qgu-fuzz-2-bool-chainres-checking.smt2 | 2024-09-15 02:50 | 285 | |
| qgu-fuzz-3-chainres-checking.smt2 | 2024-09-15 02:50 | 189 | |
| qgu-fuzz-4-bool-chainres-postprocessing-singleton.smt2 | 2024-09-15 02:50 | 202 | |
| qgu-fuzz-5-bool-open-sat.smt2 | 2024-09-15 02:50 | 262 | |
| scope.smt2 | 2024-09-15 02:50 | 1.7K | |
| tricky-sat-assumption-incremental-bookeeping.smt2 | 2024-09-15 02:50 | 382 | |
| trust-subs-eq-open.smt2 | 2024-09-15 02:50 | 214 | |
|
|---|