Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
1CKK.dzn.xz | 20-Nov-2013 20:19 | 5.4M | ||
1CKK.uai.evid | 20-Nov-2013 20:05 | 1 | ||
1CKK.uai.xz | 20-Nov-2013 20:05 | 13M | ||
1CKK.wcsp.xz | 20-Nov-2013 20:05 | 5.3M | ||
1CKK_digit2.uai.evid | 20-Nov-2013 20:05 | 2 | ||
1CKK_digit2.uai.xz | 20-Nov-2013 20:05 | 3.8M | ||
1CKK_direct.lp.xz | 20-Nov-2013 20:06 | 56M | ||
1CKK_direct.wcnf.xz | 20-Nov-2013 20:11 | 4.7M | ||
1CKK_support.lp.xz | 20-Nov-2013 20:19 | 31M | ||
1CKK_support.wcnf.xz | 20-Nov-2013 20:15 | 28M | ||
1CM1.dzn.xz | 20-Nov-2013 20:19 | 4.9M | ||
1CM1.uai.evid | 20-Nov-2013 20:05 | 1 | ||
1CM1.uai.xz | 20-Nov-2013 20:05 | 12M | ||
1CM1.wcsp.xz | 20-Nov-2013 20:05 | 4.9M | ||
1CM1_digit2.uai.evid | 20-Nov-2013 20:05 | 2 | ||
1CM1_digit2.uai.xz | 20-Nov-2013 20:05 | 3.5M | ||
1CM1_direct.lp.xz | 20-Nov-2013 20:06 | 57M | ||
1CM1_direct.wcnf.xz | 20-Nov-2013 20:11 | 4.5M | ||
1CM1_support.lp.xz | 20-Nov-2013 20:20 | 30M | ||
1CM1_support.wcnf.xz | 20-Nov-2013 20:15 | 26M | ||
1SY9.dzn.xz | 20-Nov-2013 20:19 | 5.1M | ||
1SY9.uai.evid | 20-Nov-2013 20:06 | 1 | ||
1SY9.uai.xz | 20-Nov-2013 20:06 | 13M | ||
1SY9.wcsp.xz | 20-Nov-2013 20:06 | 5.0M | ||
1SY9_digit2.uai.evid | 20-Nov-2013 20:06 | 2 | ||
1SY9_digit2.uai.xz | 20-Nov-2013 20:06 | 3.5M | ||
1SY9_direct.lp.xz | 20-Nov-2013 20:07 | 64M | ||
1SY9_direct.wcnf.xz | 20-Nov-2013 20:11 | 4.6M | ||
1SY9_support.lp.xz | 20-Nov-2013 20:20 | 33M | ||
1SY9_support.wcnf.xz | 20-Nov-2013 20:16 | 30M | ||
2BBN.dzn.xz | 20-Nov-2013 20:19 | 8.2M | ||
2BBN.uai.evid | 20-Nov-2013 20:04 | 1 | ||
2BBN.uai.xz | 20-Nov-2013 20:04 | 21M | ||
2BBN.wcsp.xz | 20-Nov-2013 20:04 | 8.1M | ||
2BBN_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
2BBN_digit2.uai.xz | 20-Nov-2013 20:04 | 5.6M | ||
2BBN_direct.lp.xz | 20-Nov-2013 20:08 | 97M | ||
2BBN_direct.wcnf.xz | 20-Nov-2013 20:11 | 7.4M | ||
2BBN_support.lp.xz | 20-Nov-2013 20:20 | 53M | ||
2BBN_support.wcnf.xz | 20-Nov-2013 20:17 | 47M | ||
2BCX.dzn.xz | 20-Nov-2013 20:19 | 8.7M | ||
2BCX.uai.evid | 20-Nov-2013 20:04 | 1 | ||
2BCX.uai.xz | 20-Nov-2013 20:04 | 20M | ||
2BCX.wcsp.xz | 20-Nov-2013 20:04 | 8.7M | ||
2BCX_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
2BCX_digit2.uai.xz | 20-Nov-2013 20:04 | 6.5M | ||
2BCX_direct.lp.xz | 20-Nov-2013 20:08 | 88M | ||
2BCX_direct.wcnf.xz | 20-Nov-2013 20:11 | 7.9M | ||
2BCX_support.lp.xz | 20-Nov-2013 20:21 | 48M | ||
2BCX_support.wcnf.xz | 20-Nov-2013 20:17 | 45M | ||
2BE6.dzn.xz | 20-Nov-2013 20:19 | 4.4M | ||
2BE6.uai.evid | 20-Nov-2013 20:04 | 1 | ||
2BE6.uai.xz | 20-Nov-2013 20:04 | 10M | ||
2BE6.wcsp.xz | 20-Nov-2013 20:04 | 4.4M | ||
2BE6_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
2BE6_digit2.uai.xz | 20-Nov-2013 20:04 | 3.3M | ||
2BE6_direct.lp.xz | 20-Nov-2013 20:08 | 45M | ||
2BE6_direct.wcnf.xz | 20-Nov-2013 20:11 | 4.0M | ||
2BE6_support.lp.xz | 20-Nov-2013 20:21 | 25M | ||
2BE6_support.wcnf.xz | 20-Nov-2013 20:17 | 22M | ||
2F3Y.dzn.xz | 20-Nov-2013 20:19 | 5.8M | ||
2F3Y.uai.evid | 20-Nov-2013 20:04 | 1 | ||
2F3Y.uai.xz | 20-Nov-2013 20:04 | 14M | ||
2F3Y.wcsp.xz | 20-Nov-2013 20:04 | 5.9M | ||
2F3Y_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
2F3Y_digit2.uai.xz | 20-Nov-2013 20:04 | 4.4M | ||
2F3Y_direct.lp.xz | 20-Nov-2013 20:09 | 61M | ||
2F3Y_direct.wcnf.xz | 20-Nov-2013 20:11 | 5.2M | ||
2F3Y_support.lp.xz | 20-Nov-2013 20:21 | 33M | ||
2F3Y_support.wcnf.xz | 20-Nov-2013 20:17 | 29M | ||
2FOT.dzn.xz | 20-Nov-2013 20:19 | 5.9M | ||
2FOT.uai.evid | 20-Nov-2013 20:05 | 1 | ||
2FOT.uai.xz | 20-Nov-2013 20:05 | 14M | ||
2FOT.wcsp.xz | 20-Nov-2013 20:05 | 5.9M | ||
2FOT_digit2.uai.evid | 20-Nov-2013 20:05 | 2 | ||
2FOT_digit2.uai.xz | 20-Nov-2013 20:05 | 4.5M | ||
2FOT_direct.lp.xz | 20-Nov-2013 20:09 | 64M | ||
2FOT_direct.wcnf.xz | 20-Nov-2013 20:11 | 5.4M | ||
2FOT_support.lp.xz | 20-Nov-2013 20:21 | 34M | ||
2FOT_support.wcnf.xz | 20-Nov-2013 20:18 | 30M | ||
2HQW.dzn.xz | 20-Nov-2013 20:19 | 5.2M | ||
2HQW.uai.evid | 20-Nov-2013 20:05 | 1 | ||
2HQW.uai.xz | 20-Nov-2013 20:05 | 12M | ||
2HQW.wcsp.xz | 20-Nov-2013 20:05 | 5.2M | ||
2HQW_digit2.uai.evid | 20-Nov-2013 20:05 | 2 | ||
2HQW_digit2.uai.xz | 20-Nov-2013 20:05 | 3.7M | ||
2HQW_direct.lp.xz | 20-Nov-2013 20:09 | 56M | ||
2HQW_direct.wcnf.xz | 20-Nov-2013 20:11 | 4.7M | ||
2HQW_support.lp.xz | 20-Nov-2013 20:21 | 31M | ||
2HQW_support.wcnf.xz | 20-Nov-2013 20:18 | 27M | ||
2O60.dzn.xz | 20-Nov-2013 20:19 | 6.7M | ||
2O60.uai.evid | 20-Nov-2013 20:05 | 1 | ||
2O60.uai.xz | 20-Nov-2013 20:05 | 16M | ||
2O60.wcsp.xz | 20-Nov-2013 20:05 | 6.7M | ||
2O60_digit2.uai.evid | 20-Nov-2013 20:05 | 2 | ||
2O60_digit2.uai.xz | 20-Nov-2013 20:05 | 4.8M | ||
2O60_direct.lp.xz | 20-Nov-2013 20:10 | 81M | ||
2O60_direct.wcnf.xz | 20-Nov-2013 20:11 | 6.1M | ||
2O60_support.lp.xz | 20-Nov-2013 20:22 | 40M | ||
2O60_support.wcnf.xz | 20-Nov-2013 20:18 | 36M | ||
3BXL.dzn.xz | 20-Nov-2013 20:19 | 6.1M | ||
3BXL.uai.evid | 20-Nov-2013 20:05 | 1 | ||
3BXL.uai.xz | 20-Nov-2013 20:05 | 15M | ||
3BXL.wcsp.xz | 20-Nov-2013 20:05 | 6.1M | ||
3BXL_digit2.uai.evid | 20-Nov-2013 20:05 | 2 | ||
3BXL_digit2.uai.xz | 20-Nov-2013 20:05 | 4.3M | ||
3BXL_direct.lp.xz | 20-Nov-2013 20:10 | 71M | ||
3BXL_direct.wcnf.xz | 20-Nov-2013 20:12 | 5.4M | ||
3BXL_support.lp.xz | 20-Nov-2013 20:22 | 37M | ||
3BXL_support.wcnf.xz | 20-Nov-2013 20:18 | 32M | ||
pdb1b25.dzn.xz | 20-Nov-2013 20:19 | 970K | ||
pdb1b25.uai.evid | 20-Nov-2013 20:03 | 1 | ||
pdb1b25.uai.xz | 20-Nov-2013 20:03 | 560K | ||
pdb1b25.wcsp.xz | 20-Nov-2013 20:04 | 946K | ||
pdb1b25_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
pdb1b25_digit2.uai.xz | 20-Nov-2013 20:04 | 528K | ||
pdb1b25_direct.lp.xz | 20-Nov-2013 20:10 | 3.3M | ||
pdb1b25_direct.wcnf.xz | 20-Nov-2013 20:12 | 1.0M | ||
pdb1b25_support.lp.xz | 20-Nov-2013 20:22 | 8.1M | ||
pdb1b25_support.wcnf.xz | 20-Nov-2013 20:18 | 15M | ||
pdb1d2e.dzn.xz | 20-Nov-2013 20:19 | 493K | ||
pdb1d2e.uai.evid | 20-Nov-2013 20:04 | 1 | ||
pdb1d2e.uai.xz | 20-Nov-2013 20:04 | 301K | ||
pdb1d2e.wcsp.xz | 20-Nov-2013 20:04 | 481K | ||
pdb1d2e_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
pdb1d2e_digit2.uai.xz | 20-Nov-2013 20:04 | 291K | ||
pdb1d2e_direct.lp.xz | 20-Nov-2013 20:10 | 1.8M | ||
pdb1d2e_direct.wcnf.xz | 20-Nov-2013 20:12 | 646K | ||
pdb1d2e_support.lp.xz | 20-Nov-2013 20:22 | 4.3M | ||
pdb1d2e_support.wcnf.xz | 20-Nov-2013 20:19 | 7.8M | ||
pdb1fmj.dzn.xz | 20-Nov-2013 20:19 | 261K | ||
pdb1fmj.uai.evid | 20-Nov-2013 20:04 | 1 | ||
pdb1fmj.uai.xz | 20-Nov-2013 20:04 | 156K | ||
pdb1fmj.wcsp.xz | 20-Nov-2013 20:04 | 254K | ||
pdb1fmj_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
pdb1fmj_digit2.uai.xz | 20-Nov-2013 20:04 | 152K | ||
pdb1fmj_direct.lp.xz | 20-Nov-2013 20:10 | 888K | ||
pdb1fmj_direct.wcnf.xz | 20-Nov-2013 20:12 | 311K | ||
pdb1fmj_support.lp.xz | 20-Nov-2013 20:22 | 2.0M | ||
pdb1fmj_support.wcnf.xz | 20-Nov-2013 20:19 | 3.9M | ||
pdb1i24.dzn.xz | 20-Nov-2013 20:19 | 133K | ||
pdb1i24.uai.evid | 20-Nov-2013 20:04 | 1 | ||
pdb1i24.uai.xz | 20-Nov-2013 20:04 | 72K | ||
pdb1i24.wcsp.xz | 20-Nov-2013 20:04 | 129K | ||
pdb1i24_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
pdb1i24_digit2.uai.xz | 20-Nov-2013 20:04 | 72K | ||
pdb1i24_direct.lp.xz | 20-Nov-2013 20:10 | 392K | ||
pdb1i24_direct.wcnf.xz | 20-Nov-2013 20:12 | 153K | ||
pdb1i24_support.lp.xz | 20-Nov-2013 20:22 | 1.0M | ||
pdb1i24_support.wcnf.xz | 20-Nov-2013 20:19 | 1.8M | ||
pdb1iqc.dzn.xz | 20-Nov-2013 20:19 | 347K | ||
pdb1iqc.uai.evid | 20-Nov-2013 20:04 | 1 | ||
pdb1iqc.uai.xz | 20-Nov-2013 20:04 | 216K | ||
pdb1iqc.wcsp.xz | 20-Nov-2013 20:04 | 337K | ||
pdb1iqc_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
pdb1iqc_digit2.uai.xz | 20-Nov-2013 20:04 | 211K | ||
pdb1iqc_direct.lp.xz | 20-Nov-2013 20:10 | 1.2M | ||
pdb1iqc_direct.wcnf.xz | 20-Nov-2013 20:12 | 444K | ||
pdb1iqc_support.lp.xz | 20-Nov-2013 20:22 | 3.0M | ||
pdb1iqc_support.wcnf.xz | 20-Nov-2013 20:19 | 5.7M | ||
pdb1jmx.dzn.xz | 20-Nov-2013 20:19 | 323K | ||
pdb1jmx.uai.evid | 20-Nov-2013 20:04 | 1 | ||
pdb1jmx.uai.xz | 20-Nov-2013 20:04 | 180K | ||
pdb1jmx.wcsp.xz | 20-Nov-2013 20:04 | 313K | ||
pdb1jmx_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
pdb1jmx_digit2.uai.xz | 20-Nov-2013 20:04 | 175K | ||
pdb1jmx_direct.lp.xz | 20-Nov-2013 20:10 | 1.1M | ||
pdb1jmx_direct.wcnf.xz | 20-Nov-2013 20:12 | 388K | ||
pdb1jmx_support.lp.xz | 20-Nov-2013 20:22 | 2.5M | ||
pdb1jmx_support.wcnf.xz | 20-Nov-2013 20:19 | 4.6M | ||
pdb1kgn.dzn.xz | 20-Nov-2013 20:19 | 381K | ||
pdb1kgn.uai.evid | 20-Nov-2013 20:04 | 1 | ||
pdb1kgn.uai.xz | 20-Nov-2013 20:04 | 250K | ||
pdb1kgn.wcsp.xz | 20-Nov-2013 20:04 | 375K | ||
pdb1kgn_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
pdb1kgn_digit2.uai.xz | 20-Nov-2013 20:04 | 240K | ||
pdb1kgn_direct.lp.xz | 20-Nov-2013 20:10 | 1.4M | ||
pdb1kgn_direct.wcnf.xz | 20-Nov-2013 20:12 | 528K | ||
pdb1kgn_support.lp.xz | 20-Nov-2013 20:22 | 3.0M | ||
pdb1kgn_support.wcnf.xz | 20-Nov-2013 20:19 | 5.7M | ||
pdb1kwh.dzn.xz | 20-Nov-2013 20:19 | 208K | ||
pdb1kwh.uai.evid | 20-Nov-2013 20:04 | 1 | ||
pdb1kwh.uai.xz | 20-Nov-2013 20:04 | 115K | ||
pdb1kwh.wcsp.xz | 20-Nov-2013 20:04 | 203K | ||
pdb1kwh_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
pdb1kwh_digit2.uai.xz | 20-Nov-2013 20:04 | 113K | ||
pdb1kwh_direct.lp.xz | 20-Nov-2013 20:10 | 643K | ||
pdb1kwh_direct.wcnf.xz | 20-Nov-2013 20:12 | 228K | ||
pdb1kwh_support.lp.xz | 20-Nov-2013 20:22 | 1.5M | ||
pdb1kwh_support.wcnf.xz | 20-Nov-2013 20:19 | 2.9M | ||
pdb1m3y.dzn.xz | 20-Nov-2013 20:19 | 279K | ||
pdb1m3y.uai.evid | 20-Nov-2013 20:04 | 1 | ||
pdb1m3y.uai.xz | 20-Nov-2013 20:04 | 215K | ||
pdb1m3y.wcsp.xz | 20-Nov-2013 20:04 | 291K | ||
pdb1m3y_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
pdb1m3y_digit2.uai.xz | 20-Nov-2013 20:04 | 216K | ||
pdb1m3y_direct.lp.xz | 20-Nov-2013 20:10 | 1.4M | ||
pdb1m3y_direct.wcnf.xz | 20-Nov-2013 20:12 | 486K | ||
pdb1m3y_support.lp.xz | 20-Nov-2013 20:22 | 3.1M | ||
pdb1m3y_support.wcnf.xz | 20-Nov-2013 20:19 | 5.6M | ||
pdb1qks.dzn.xz | 20-Nov-2013 20:19 | 326K | ||
pdb1qks.uai.evid | 20-Nov-2013 20:04 | 1 | ||
pdb1qks.uai.xz | 20-Nov-2013 20:04 | 201K | ||
pdb1qks.wcsp.xz | 20-Nov-2013 20:04 | 319K | ||
pdb1qks_digit2.uai.evid | 20-Nov-2013 20:04 | 2 | ||
pdb1qks_digit2.uai.xz | 20-Nov-2013 20:04 | 196K | ||
pdb1qks_direct.lp.xz | 20-Nov-2013 20:10 | 1.2M | ||
pdb1qks_direct.wcnf.xz | 20-Nov-2013 20:12 | 409K | ||
pdb1qks_support.lp.xz | 20-Nov-2013 20:22 | 2.5M | ||
pdb1qks_support.wcnf.xz | 20-Nov-2013 20:19 | 4.8M | ||
wcsp.mzn | 20-Nov-2013 20:19 | 4.1K | ||