![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| dispose-1.smt2 | 2024-09-15 02:50 | 403 | |
| dup-nemp.smt2 | 2024-09-15 02:50 | 186 | |
| issue3720-check-model.smt2 | 2024-09-15 02:50 | 108 | |
| issue5343-err.smt2 | 2024-09-15 02:50 | 302 | |
| issue8659-wand-diff-heaps.smt2 | 2024-09-15 02:50 | 289 | |
| issue8841-neg-prop.smt2 | 2024-09-15 02:50 | 221 | |
| issue8863-downwards-pto.smt2 | 2024-09-15 02:50 | 356 | |
| nemp.smt2 | 2024-09-15 02:50 | 121 | |
| nil-no-elim.smt2 | 2024-09-15 02:50 | 198 | |
| nspatial-simp.smt2 | 2024-09-15 02:50 | 221 | |
| pto-01.smt2 | 2024-09-15 02:50 | 210 | |
| pto-02.smt2 | 2024-09-15 02:50 | 501 | |
| sep-01.smt2 | 2024-09-15 02:50 | 226 | |
| sep-plus1.smt2 | 2024-09-15 02:50 | 314 | |
| sep-simp-unsat-emp.smt2 | 2024-09-15 02:50 | 234 | |
| simple-080420-const-sets.smt2 | 2024-09-15 02:50 | 311 | |
| skolem_emp.smt2 | 2024-09-15 02:50 | 154 | |
| trees-1.smt2 | 2024-09-15 02:50 | 1.1K | |
| wand-crash.smt2 | 2024-09-15 02:50 | 126 | |