![[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 | - | ||
| C880mul.miter.shuffled-as.sat03-348.smtv1.smt2 | 2024-09-15 02:50 | 345K | |
| NEQ016_size5.smtv1.smt2 | 2024-09-15 02:50 | 13K | |
| bug143.smtv1.smt2 | 2024-09-15 02:50 | 83K | |
| bug337.smt2 | 2024-09-15 02:50 | 41K | |
| bug396.smt2 | 2024-09-15 02:50 | 165K | |
| comb2.shuffled-as.sat03-420.smtv1.smt2 | 2024-09-15 02:50 | 4.9M | |
| fischer3-mutex-16.smtv1.smt2 | 2024-09-15 02:50 | 78K | |
| instance_1151.smtv1.smt2 | 2024-09-15 02:50 | 183K | |
| issue2429.smt2 | 2024-09-15 02:50 | 7.7K | |
| miplib-pp08a-3000.smt2 | 2024-09-15 02:50 | 69K | |
| miplib-pp08a-3000.smtv1.smt2 | 2024-09-15 02:50 | 83K | |
| pp-regfile.smtv1.smt2 | 2024-09-15 02:50 | 259K | |
| sets-card-neg-mem-union-2.smt2 | 2024-09-15 02:50 | 830 | |
| siegel-nl-bases.smt2 | 2024-09-15 02:50 | 514 | |
| unsat-circ-reduce.smt2 | 2024-09-15 02:50 | 754 | |
| xs-11-20-5-2-5-3.smt2 | 2024-09-15 02:50 | 6.4K | |
| xs-11-20-5-2-5-3.smtv1.smt2 | 2024-09-15 02:50 | 7.6K | |