![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/unknown.gif) | apply-collapse-sat.smt2 | 2024-09-15 02:50 | 350 | |
| apply-collapse-unsat.smt2 | 2024-09-15 02:50 | 412 | |
![[TXT]](/icons/text.gif) | bug_nodbuilding_interpreted_SYO042^1.p | 2024-09-15 02:50 | 2.0K | |
| cong-full-apply.smt2 | 2024-09-15 02:50 | 246 | |
| cong.smt2 | 2024-09-15 02:50 | 311 | |
| datatype-field-ho.smt2 | 2024-09-15 02:50 | 168 | |
| declare-fun-variants.smt2 | 2024-09-15 02:50 | 249 | |
| def-fun-flatten.smt2 | 2024-09-15 02:50 | 230 | |
| ext-finite-unsat.smt2 | 2024-09-15 02:50 | 285 | |
| ext-ho-nested-lambda-model.smt2 | 2024-09-15 02:50 | 296 | |
| ext-ho.smt2 | 2024-09-15 02:50 | 263 | |
| ext-sat-partial-eval.smt2 | 2024-09-15 02:50 | 290 | |
| ext-sat.smt2 | 2024-09-15 02:50 | 247 | |
| finite-fun-ext.smt2 | 2024-09-15 02:50 | 211 | |
| fta0144-alpha-eq.smt2 | 2024-09-15 02:50 | 1.3K | |
| fta0210.smt2 | 2024-09-15 02:50 | 2.6K | |
| fun-subtyping.smt2 | 2024-09-15 02:50 | 377 | |
| ho-exponential-model.smt2 | 2024-09-15 02:50 | 807 | |
| ho-match-fun-suffix.smt2 | 2024-09-15 02:50 | 236 | |
| ho-matching-enum-2.smt2 | 2024-09-15 02:50 | 327 | |
| ho-matching-enum.smt2 | 2024-09-15 02:50 | 400 | |
| ho-matching-nested-app.smt2 | 2024-09-15 02:50 | 274 | |
| ho-std-fmf.smt2 | 2024-09-15 02:50 | 462 | |
| hoa0008.smt2 | 2024-09-15 02:50 | 2.8K | |
| issue4434-const-preserve.smt2 | 2024-09-15 02:50 | 200 | |
| issue4477.smt2 | 2024-09-15 02:50 | 312 | |
| issue4990-care-graph.smt2 | 2024-09-15 02:50 | 194 | |
| issue5233-part1-usort-owner.smt2 | 2024-09-15 02:50 | 129 | |
| issue5371.smt2 | 2024-09-15 02:50 | 140 | |
| issue5741-1-cg-model.smt2 | 2024-09-15 02:50 | 662 | |
| issue5741-3-cg-model.smt2 | 2024-09-15 02:50 | 202 | |
| issue5744-cg-model.smt2 | 2024-09-15 02:50 | 211 | |
| issue6526.smt2 | 2024-09-15 02:50 | 87 | |
| issue6536.smt2 | 2024-09-15 02:50 | 318 | |
| ite-apply-eq.smt2 | 2024-09-15 02:50 | 228 | |
| lambda-equality-non-canon.smt2 | 2024-09-15 02:50 | 159 | |
| lazy-lambda-model.smt2 | 2024-09-15 02:50 | 301 | |
| match-middle.smt2 | 2024-09-15 02:50 | 412 | |
| modulo-func-equality.smt2 | 2024-09-15 02:50 | 265 | |
| qgu-fuzz-ho-1-dd.smt2 | 2024-09-15 02:50 | 205 | |
| qgu-fuzz-ho-2-dd-no-ext.smt2 | 2024-09-15 02:50 | 257 | |
| shadowing-defs.smt2 | 2024-09-15 02:50 | 2.0K | |
| simple-conf-lazy-lambda-lift-app.smt2 | 2024-09-15 02:50 | 265 | |
| simple-conf-lazy-lambda-lift.smt2 | 2024-09-15 02:50 | 238 | |
| simple-matching-partial.smt2 | 2024-09-15 02:50 | 490 | |
| simple-matching.smt2 | 2024-09-15 02:50 | 227 | |
| trans.smt2 | 2024-09-15 02:50 | 234 | |
|
|---|