![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| cactus.png | 2022-01-13 12:34 | 434K | |
| cactus_previous.png | 2022-01-11 16:47 | 428K | |
| simplify_last_origin..> | 2021-03-23 00:21 | 74K | |
| no_simplify_last_upp..> | 2021-03-23 00:21 | 74K | |
| no_simplify_last_upp..> | 2021-03-23 00:21 | 73K | |
| no_simplify_last_upp..> | 2021-03-23 00:21 | 73K | |
| simplify_last_upper_..> | 2021-03-23 00:21 | 73K | |
| simplify_last_upper_..> | 2021-03-23 00:21 | 73K | |
| no_simplify_last_ori..> | 2021-03-23 00:21 | 73K | |
| simplify_last_upper_..> | 2021-03-23 00:21 | 73K | |
| roundingsat.png | 2021-03-23 00:21 | 67K | |
| gurobi.png | 2021-03-23 00:21 | 63K | |
| open-wbo.png | 2021-03-23 00:21 | 59K | |
| uwrmaxsat.png | 2021-03-23 00:21 | 59K | |
| maxhs.png | 2021-03-23 00:21 | 58K | |
| rc2.png | 2021-03-23 00:21 | 55K | |
| no_simplify_last_upp..> | 2021-03-23 00:21 | 223 | |
| no_simplify_last_upp..> | 2021-03-23 00:21 | 223 | |
| simplify_last_upper_..> | 2021-03-23 00:21 | 220 | |
| simplify_last_upper_..> | 2021-03-23 00:21 | 220 | |
| no_simplify_last_upp..> | 2021-03-23 00:21 | 219 | |
| simplify_last_upper_..> | 2021-03-23 00:21 | 216 | |
| no_simplify_last_ori..> | 2021-03-23 00:21 | 212 | |
| simplify_last_origin..> | 2021-03-23 00:21 | 209 | |
| roundingsat.html | 2021-03-23 00:21 | 198 | |
| uwrmaxsat.html | 2021-03-23 00:21 | 196 | |
| open-wbo.html | 2021-03-23 00:21 | 195 | |
| gurobi.html | 2021-03-23 00:21 | 193 | |
| maxhs.html | 2021-03-23 00:21 | 192 | |
| rc2.html | 2021-03-23 00:21 | 190 | |