Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
comp20.wcnf.xz | 20-Nov-2013 19:12 | 1.2M | ||
comp17.wcnf.xz | 20-Nov-2013 19:12 | 1.0M | ||
comp03.wcnf.xz | 20-Nov-2013 19:12 | 538K | ||
comp09.wcsp.xz | 20-Nov-2013 19:12 | 881K | ||
comp13.wcnf.xz | 20-Nov-2013 19:12 | 758K | ||
comp05.wcsp.xz | 20-Nov-2013 19:12 | 269K | ||
dds1.wcnf.xz | 20-Nov-2013 19:12 | 5.2M | ||
comp08.wcsp.xz | 20-Nov-2013 19:12 | 1.0M | ||
dds1.wcsp.xz | 20-Nov-2013 19:12 | 5.4M | ||
test1.wcsp.xz | 20-Nov-2013 19:12 | 219K | ||
comp21.wcsp.xz | 20-Nov-2013 19:12 | 1.2M | ||
comp17.wcsp.xz | 20-Nov-2013 19:12 | 1.3M | ||
comp16.wcsp.xz | 20-Nov-2013 19:12 | 1.5M | ||
comp10.wcnf.xz | 20-Nov-2013 19:12 | 1.3M | ||
test1.wcnf.xz | 20-Nov-2013 19:12 | 172K | ||
comp18.wcsp.xz | 20-Nov-2013 19:12 | 294K | ||
comp15.wcnf.xz | 20-Nov-2013 19:12 | 538K | ||
comp19.wcnf.xz | 20-Nov-2013 19:12 | 708K | ||
comp08.wcnf.xz | 20-Nov-2013 19:12 | 834K | ||
comp14.wcnf.xz | 20-Nov-2013 19:12 | 826K | ||
comp07.wcsp.xz | 20-Nov-2013 19:12 | 2.1M | ||
comp09.wcnf.xz | 20-Nov-2013 19:12 | 758K | ||
comp20.wcsp.xz | 20-Nov-2013 19:12 | 1.3M | ||
comp18.wcnf.xz | 20-Nov-2013 19:12 | 270K | ||
test4.wcsp.xz | 20-Nov-2013 19:12 | 521K | ||
comp21.wcnf.xz | 20-Nov-2013 19:12 | 1.0M | ||
comp03.wcsp.xz | 20-Nov-2013 19:12 | 666K | ||
comp16.wcnf.xz | 20-Nov-2013 19:12 | 1.2M | ||
comp02.wcsp.xz | 20-Nov-2013 19:12 | 930K | ||
comp07.wcnf.xz | 20-Nov-2013 19:12 | 1.9M | ||
comp10.wcsp.xz | 20-Nov-2013 19:12 | 1.5M | ||
comp04.wcsp.xz | 20-Nov-2013 19:12 | 749K | ||
test4.wcnf.xz | 20-Nov-2013 19:12 | 421K | ||
comp01.wcnf.xz | 20-Nov-2013 19:12 | 105K | ||
comp05.wcnf.xz | 20-Nov-2013 19:12 | 262K | ||
comp01.wcsp.xz | 20-Nov-2013 19:12 | 124K | ||
comp06.wcsp.xz | 20-Nov-2013 19:12 | 1.1M | ||
comp04.wcnf.xz | 20-Nov-2013 19:12 | 656K | ||
test3.wcnf.xz | 20-Nov-2013 19:12 | 403K | ||
comp06.wcnf.xz | 20-Nov-2013 19:12 | 1.0M | ||
comp02.wcnf.xz | 20-Nov-2013 19:12 | 783K | ||
comp12.wcsp.xz | 20-Nov-2013 19:12 | 667K | ||
comp19.wcsp.xz | 20-Nov-2013 19:12 | 863K | ||
comp15.wcsp.xz | 20-Nov-2013 19:12 | 666K | ||
test2.wcnf.xz | 20-Nov-2013 19:12 | 246K | ||
test3.wcsp.xz | 20-Nov-2013 19:12 | 503K | ||
comp14.wcsp.xz | 20-Nov-2013 19:12 | 1.0M | ||
comp13.wcsp.xz | 20-Nov-2013 19:12 | 937K | ||
test2.wcsp.xz | 20-Nov-2013 19:12 | 306K | ||
comp12.wcnf.xz | 20-Nov-2013 19:12 | 622K | ||
comp01.dzn.xz | 20-Nov-2013 19:12 | 102K | ||
comp02.dzn.xz | 20-Nov-2013 19:12 | 731K | ||
comp03.dzn.xz | 20-Nov-2013 19:12 | 530K | ||
comp04.dzn.xz | 20-Nov-2013 19:12 | 620K | ||
comp05.dzn.xz | 20-Nov-2013 19:12 | 259K | ||
comp06.dzn.xz | 20-Nov-2013 19:12 | 888K | ||
comp07.dzn.xz | 20-Nov-2013 19:12 | 2.0M | ||
comp08.dzn.xz | 20-Nov-2013 19:12 | 773K | ||
comp09.dzn.xz | 20-Nov-2013 19:12 | 682K | ||
comp10.dzn.xz | 20-Nov-2013 19:12 | 1.2M | ||
comp12.dzn.xz | 20-Nov-2013 19:12 | 616K | ||
comp13.dzn.xz | 20-Nov-2013 19:12 | 785K | ||
comp14.dzn.xz | 20-Nov-2013 19:12 | 754K | ||
comp15.dzn.xz | 20-Nov-2013 19:12 | 530K | ||
comp16.dzn.xz | 20-Nov-2013 19:12 | 1.1M | ||
comp17.dzn.xz | 20-Nov-2013 19:12 | 1.0M | ||
comp18.dzn.xz | 20-Nov-2013 19:12 | 260K | ||
comp19.dzn.xz | 20-Nov-2013 19:12 | 655K | ||
comp20.dzn.xz | 20-Nov-2013 19:12 | 1.1M | ||
comp21.dzn.xz | 20-Nov-2013 19:12 | 1.0M | ||
dds1.dzn.xz | 20-Nov-2013 19:12 | 5.0M | ||
test1.dzn.xz | 20-Nov-2013 19:12 | 155K | ||
test2.dzn.xz | 20-Nov-2013 19:12 | 228K | ||
test3.dzn.xz | 20-Nov-2013 19:12 | 377K | ||
test4.dzn.xz | 20-Nov-2013 19:12 | 394K | ||
comp01_direct.lp.xz | 20-Nov-2013 19:12 | 108K | ||
comp02_direct.lp.xz | 20-Nov-2013 19:12 | 797K | ||
comp03_direct.lp.xz | 20-Nov-2013 19:12 | 557K | ||
comp04_direct.lp.xz | 20-Nov-2013 19:12 | 669K | ||
comp05_direct.lp.xz | 20-Nov-2013 19:12 | 265K | ||
comp06_direct.lp.xz | 20-Nov-2013 19:12 | 1.0M | ||
comp07_direct.lp.xz | 20-Nov-2013 19:12 | 1.8M | ||
comp08_direct.lp.xz | 20-Nov-2013 19:12 | 826K | ||
comp09_direct.lp.xz | 20-Nov-2013 19:12 | 767K | ||
comp10_direct.lp.xz | 20-Nov-2013 19:12 | 1.3M | ||
comp12_direct.lp.xz | 20-Nov-2013 19:12 | 626K | ||
comp13_direct.lp.xz | 20-Nov-2013 19:12 | 831K | ||
comp14_direct.lp.xz | 20-Nov-2013 19:12 | 852K | ||
comp15_direct.lp.xz | 20-Nov-2013 19:12 | 557K | ||
comp16_direct.lp.xz | 20-Nov-2013 19:12 | 1.3M | ||
comp17_direct.lp.xz | 20-Nov-2013 19:12 | 1.1M | ||
comp18_direct.lp.xz | 20-Nov-2013 19:12 | 273K | ||
comp19_direct.lp.xz | 20-Nov-2013 19:12 | 762K | ||
comp20_direct.lp.xz | 20-Nov-2013 19:12 | 1.2M | ||
comp21_direct.lp.xz | 20-Nov-2013 19:12 | 1.0M | ||
dds1_direct.lp.xz | 20-Nov-2013 19:12 | 4.1M | ||
test1_direct.lp.xz | 20-Nov-2013 19:12 | 188K | ||
test2_direct.lp.xz | 20-Nov-2013 19:12 | 289K | ||
test3_direct.lp.xz | 20-Nov-2013 19:12 | 414K | ||
test4_direct.lp.xz | 20-Nov-2013 19:13 | 439K | ||
wcnf.mzn | 20-Nov-2013 19:13 | 909 | ||