![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| NUM638^1.smt2 | 2024-09-15 02:50 | 694 | |
| NUM925^1.p | 2024-09-15 02:50 | 21K | |
| SYO056^1.p | 2024-09-15 02:50 | 3.3K | |
| bound_var_bug.p | 2024-09-15 02:50 | 1.9K | |
| bug_freeVar_BDD_General_data_270.p | 2024-09-15 02:50 | 445 | |
| bug_freevar_PHI004^4-delta.smt2 | 2024-09-15 02:50 | 891 | |
| fta0328.lfho.p | 2024-09-15 02:50 | 14K | |
| ho-fun-sharing-dd.smt2 | 2024-09-15 02:50 | 291 | |
| hoa0102.smt2 | 2024-09-15 02:50 | 82K | |
| issue3136-fconst-bool-bool.smt2 | 2024-09-15 02:50 | 27K | |
| issue4065-no-rep.smt2 | 2024-09-15 02:50 | 309 | |
| issue4092-sinf.smt2 | 2024-09-15 02:50 | 241 | |
| issue4134-sinf.smt2 | 2024-09-15 02:50 | 297 | |
| issue4758.smt2 | 2024-09-15 02:50 | 148 | |
| issue5078-small.smt2 | 2024-09-15 02:50 | 189 | |
| issue5201-1.smt2 | 2024-09-15 02:50 | 460 | |
| issue5741-3.smt2 | 2024-09-15 02:50 | 202 | |
| nested_lambdas-AGT034^2.smt2 | 2024-09-15 02:50 | 9.3K | |
| nested_lambdas-sat-SYO056^1-delta.smt2 | 2024-09-15 02:50 | 2.0K | |
| proj-issue139-2.smt2 | 2024-09-15 02:50 | 703 | |
| soundness_fmf_SYO362^5-delta.p | 2024-09-15 02:50 | 2.7K | |
| store-ax-min.p | 2024-09-15 02:50 | 683 | |