![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| bag_member.smt2 | 2024-09-15 02:50 | 111 | |
| bag_partition1.smt2 | 2024-09-15 02:50 | 930 | |
| bags-of-bags-subtypes.smt2 | 2024-09-15 02:50 | 327 | |
| card1.smt2 | 2024-09-15 02:50 | 182 | |
| card2.smt2 | 2024-09-15 02:50 | 339 | |
| card3.smt2 | 2024-09-15 02:50 | 273 | |
| choose1.smt2 | 2024-09-15 02:50 | 297 | |
| choose2.smt2 | 2024-09-15 02:50 | 132 | |
| choose3.smt2 | 2024-09-15 02:50 | 184 | |
| choose4.smt2 | 2024-09-15 02:50 | 235 | |
| difference_remove1.smt2 | 2024-09-15 02:50 | 271 | |
| disequality.smt2 | 2024-09-15 02:50 | 385 | |
| duplicate_removal1.smt2 | 2024-09-15 02:50 | 242 | |
| duplicate_removal2.smt2 | 2024-09-15 02:50 | 244 | |
| emptybag1.smt2 | 2024-09-15 02:50 | 243 | |
| filter1.smt2 | 2024-09-15 02:50 | 297 | |
| filter2.smt2 | 2024-09-15 02:50 | 236 | |
| filter3.smt2 | 2024-09-15 02:50 | 277 | |
| filter4.smt2 | 2024-09-15 02:50 | 293 | |
| filter5.smt2 | 2024-09-15 02:50 | 293 | |
| fol_0000119.smt2 | 2024-09-15 02:50 | 609 | |
| fold1.smt2 | 2024-09-15 02:50 | 272 | |
| fold2.smt2 | 2024-09-15 02:50 | 472 | |
| fuzzy1.smt2 | 2024-09-15 02:50 | 283 | |
| fuzzy2.smt2 | 2024-09-15 02:50 | 471 | |
| fuzzy3.smt2 | 2024-09-15 02:50 | 318 | |
| fuzzy3b.smt2 | 2024-09-15 02:50 | 206 | |
| fuzzy4.smt2 | 2024-09-15 02:50 | 390 | |
| fuzzy5.smt2 | 2024-09-15 02:50 | 501 | |
| fuzzy6.smt2 | 2024-09-15 02:50 | 386 | |
| intersection_min1.smt2 | 2024-09-15 02:50 | 291 | |
| intersection_min2.smt2 | 2024-09-15 02:50 | 274 | |
| issue5759.smt2 | 2024-09-15 02:50 | 287 | |
| issue_8959.smt2 | 2024-09-15 02:50 | 161 | |
| map-lazy-lam.smt2 | 2024-09-15 02:50 | 262 | |
| map1.smt2 | 2024-09-15 02:50 | 297 | |
| map2.smt2 | 2024-09-15 02:50 | 232 | |
| map3.smt2 | 2024-09-15 02:50 | 286 | |
| murxla1.smt2 | 2024-09-15 02:50 | 169 | |
| murxla2.smt2 | 2024-09-15 02:50 | 189 | |
| murxla3.smt2 | 2024-09-15 02:50 | 176 | |
| murxla4.smt2 | 2024-09-15 02:50 | 128 | |
| murxla5.smt2 | 2024-09-15 02:50 | 280 | |
| murxla6.smt2 | 2024-09-15 02:50 | 179 | |
| product1.smt2 | 2024-09-15 02:50 | 319 | |
| product2.smt2 | 2024-09-15 02:50 | 455 | |
| product3.smt2 | 2024-09-15 02:50 | 509 | |
| proj-issue497.smt2 | 2024-09-15 02:50 | 207 | |
| subbag1.smt2 | 2024-09-15 02:50 | 265 | |
| subbag2.smt2 | 2024-09-15 02:50 | 329 | |
| table_aggregate1.smt2 | 2024-09-15 02:50 | 798 | |
| table_group1.smt2 | 2024-09-15 02:50 | 3.4K | |
| table_group2.smt2 | 2024-09-15 02:50 | 481 | |
| table_group3.smt2 | 2024-09-15 02:50 | 659 | |
| table_group4.smt2 | 2024-09-15 02:50 | 363 | |
| table_group5.smt2 | 2024-09-15 02:50 | 452 | |
| table_join1.smt2 | 2024-09-15 02:50 | 819 | |
| table_join2.smt2 | 2024-09-15 02:50 | 832 | |
| table_join3.smt2 | 2024-09-15 02:50 | 751 | |
| table_project1.smt2 | 2024-09-15 02:50 | 589 | |
| table_project2.smt2 | 2024-09-15 02:50 | 278 | |
| union_disjoint.smt2 | 2024-09-15 02:50 | 276 | |
| union_max1.smt2 | 2024-09-15 02:50 | 270 | |
| union_max2.smt2 | 2024-09-15 02:50 | 319 | |