![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| MANN_a9.clq.dzn.xz | 20-Nov-2013 19:13 | 544 | |
| MANN_a27.clq.dzn.xz | 20-Nov-2013 19:13 | 1.9K | |
| MANN_a45.clq.dzn.xz | 20-Nov-2013 19:13 | 3.7K | |
| MANN_a81.clq.dzn.xz | 20-Nov-2013 19:13 | 10K | |
| brock200_1.clq.dzn.xz | 20-Nov-2013 19:13 | 7.5K | |
| brock200_2.clq.dzn.xz | 20-Nov-2013 19:13 | 12K | |
| brock200_3.clq.dzn.xz | 20-Nov-2013 19:13 | 11K | |
| brock200_4.clq.dzn.xz | 20-Nov-2013 19:13 | 8.5K | |
| brock400_1.clq.dzn.xz | 20-Nov-2013 19:13 | 22K | |
| brock400_2.clq.dzn.xz | 20-Nov-2013 19:13 | 26K | |
| brock400_3.clq.dzn.xz | 20-Nov-2013 19:13 | 20K | |
| brock400_4.clq.dzn.xz | 20-Nov-2013 19:13 | 21K | |
| brock800_1.clq.dzn.xz | 20-Nov-2013 19:13 | 131K | |
| brock800_2.clq.dzn.xz | 20-Nov-2013 19:13 | 98K | |
| brock800_3.clq.dzn.xz | 20-Nov-2013 19:13 | 100K | |
| brock800_4.clq.dzn.xz | 20-Nov-2013 19:13 | 133K | |
| c-fat200-1.clq.dzn.xz | 20-Nov-2013 19:13 | 8.8K | |
| c-fat200-2.clq.dzn.xz | 20-Nov-2013 19:13 | 6.1K | |
| c-fat200-5.clq.dzn.xz | 20-Nov-2013 19:13 | 4.5K | |
| c-fat500-1.clq.dzn.xz | 20-Nov-2013 19:13 | 78K | |
| c-fat500-2.clq.dzn.xz | 20-Nov-2013 19:13 | 20K | |
| c-fat500-5.clq.dzn.xz | 20-Nov-2013 19:13 | 44K | |
| c-fat500-10.clq.dzn.xz | 20-Nov-2013 19:13 | 49K | |
| hamming6-2.clq.dzn.xz | 20-Nov-2013 19:13 | 848 | |
| hamming6-4.clq.dzn.xz | 20-Nov-2013 19:13 | 1.6K | |
| hamming8-2.clq.dzn.xz | 20-Nov-2013 19:13 | 2.5K | |
| hamming8-4.clq.dzn.xz | 20-Nov-2013 19:13 | 8.4K | |
| hamming10-2.clq.dzn.xz | 20-Nov-2013 19:13 | 7.6K | |
| hamming10-4.clq.dzn.xz | 20-Nov-2013 19:13 | 54K | |
| johnson8-2-4.clq.dzn.xz | 20-Nov-2013 19:13 | 616 | |
| johnson8-4-4.clq.dzn.xz | 20-Nov-2013 19:13 | 1.2K | |
| johnson16-2-4.clq.dzn.xz | 20-Nov-2013 19:13 | 1.8K | |
| johnson32-2-4.clq.dzn.xz | 20-Nov-2013 19:13 | 8.5K | |
| keller4.clq.dzn.xz | 20-Nov-2013 19:13 | 5.1K | |
| keller5.clq.dzn.xz | 20-Nov-2013 19:13 | 40K | |
| p_hat300-1.clq.dzn.xz | 20-Nov-2013 19:13 | 28K | |
| p_hat300-2.clq.dzn.xz | 20-Nov-2013 19:13 | 18K | |
| p_hat300-3.clq.dzn.xz | 20-Nov-2013 19:13 | 12K | |
| p_hat500-1.clq.dzn.xz | 20-Nov-2013 19:13 | 64K | |
| p_hat500-2.clq.dzn.xz | 20-Nov-2013 19:13 | 51K | |
| p_hat500-3.clq.dzn.xz | 20-Nov-2013 19:13 | 40K | |
| p_hat700-1.clq.dzn.xz | 20-Nov-2013 19:13 | 98K | |
| p_hat700-2.clq.dzn.xz | 20-Nov-2013 19:13 | 82K | |
| p_hat700-3.clq.dzn.xz | 20-Nov-2013 19:13 | 63K | |
| p_hat1000-1.clq.dzn.xz | 20-Nov-2013 19:13 | 213K | |
| p_hat1000-2.clq.dzn.xz | 20-Nov-2013 19:13 | 170K | |
| p_hat1000-3.clq.dzn.xz | 20-Nov-2013 19:13 | 131K | |
| san200_0.7_1.clq.dzn.xz | 20-Nov-2013 19:13 | 7.8K | |
| san200_0.7_2.clq.dzn.xz | 20-Nov-2013 19:13 | 8.7K | |
| san200_0.9_1.clq.dzn.xz | 20-Nov-2013 19:13 | 3.8K | |
| san200_0.9_2.clq.dzn.xz | 20-Nov-2013 19:13 | 4.0K | |
| san200_0.9_3.clq.dzn.xz | 20-Nov-2013 19:13 | 4.1K | |
| san400_0.5_1.clq.dzn.xz | 20-Nov-2013 19:13 | 30K | |
| san400_0.7_1.clq.dzn.xz | 20-Nov-2013 19:13 | 18K | |
| san400_0.7_2.clq.dzn.xz | 20-Nov-2013 19:13 | 25K | |
| san400_0.7_3.clq.dzn.xz | 20-Nov-2013 19:13 | 22K | |
| san400_0.9_1.clq.dzn.xz | 20-Nov-2013 19:13 | 12K | |
| san1000.clq.dzn.xz | 20-Nov-2013 19:13 | 148K | |
| sanr200_0.7.clq.dzn.xz | 20-Nov-2013 19:13 | 8.7K | |
| sanr200_0.9.clq.dzn.xz | 20-Nov-2013 19:13 | 4.2K | |
| sanr400_0.5.clq.dzn.xz | 20-Nov-2013 19:13 | 30K | |
| sanr400_0.7.clq.dzn.xz | 20-Nov-2013 19:13 | 30K | |
| wcsp.mzn | 20-Nov-2013 19:13 | 4.1K | |