Index of /~degivry/evalgm/CFN/SPOT5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]5.dzn.xz2013-11-20 19:15 22K 
[ ]5.uai.evid2013-11-20 19:15 2  
[ ]5.uai.xz2013-11-20 19:15 17K 
[ ]5.wcsp.xz2013-11-20 19:15 17K 
[ ]5_direct.lp.xz2013-11-20 19:15 28K 
[ ]5_direct.wcnf.xz2013-11-20 19:15 30K 
[ ]5_support.lp.xz2013-11-20 19:15 223K 
[ ]5_support.wcnf.xz2013-11-20 19:15 408K 
[ ]28.dzn.xz2013-11-20 19:15 25K 
[ ]28.uai.evid2013-11-20 19:15 2  
[ ]28.uai.xz2013-11-20 19:15 19K 
[ ]28.wcsp.xz2013-11-20 19:15 18K 
[ ]28_direct.lp.xz2013-11-20 19:15 20K 
[ ]28_direct.wcnf.xz2013-11-20 19:15 20K 
[ ]28_support.lp.xz2013-11-20 19:15 162K 
[ ]28_support.wcnf.xz2013-11-20 19:15 285K 
[ ]29.dzn.xz2013-11-20 19:15 2.2K 
[ ]29.uai.evid2013-11-20 19:15 2  
[ ]29.uai.xz2013-11-20 19:15 1.5K 
[ ]29.wcsp.xz2013-11-20 19:15 1.5K 
[ ]29_direct.lp.xz2013-11-20 19:15 2.1K 
[ ]29_direct.wcnf.xz2013-11-20 19:15 2.1K 
[ ]29_support.lp.xz2013-11-20 19:15 10K 
[ ]29_support.wcnf.xz2013-11-20 19:15 19K 
[ ]42.dzn.xz2013-11-20 19:15 6.2K 
[ ]42.uai.evid2013-11-20 19:15 2  
[ ]42.uai.xz2013-11-20 19:15 4.7K 
[ ]42.wcsp.xz2013-11-20 19:15 4.4K 
[ ]42_direct.lp.xz2013-11-20 19:15 5.9K 
[ ]42_direct.wcnf.xz2013-11-20 19:15 6.0K 
[ ]42_support.lp.xz2013-11-20 19:15 41K 
[ ]42_support.wcnf.xz2013-11-20 19:15 71K 
[ ]54.dzn.xz2013-11-20 19:15 1.5K 
[ ]54.uai.evid2013-11-20 19:15 2  
[ ]54.uai.xz2013-11-20 19:15 1.1K 
[ ]54.wcsp.xz2013-11-20 19:15 1.0K 
[ ]54_direct.lp.xz2013-11-20 19:15 1.7K 
[ ]54_direct.wcnf.xz2013-11-20 19:15 1.7K 
[ ]54_support.lp.xz2013-11-20 19:15 8.9K 
[ ]54_support.wcnf.xz2013-11-20 19:15 14K 
[ ]404.dzn.xz2013-11-20 19:15 3.2K 
[ ]404.uai.evid2013-11-20 19:15 2  
[ ]404.uai.xz2013-11-20 19:15 2.3K 
[ ]404.wcsp.xz2013-11-20 19:15 2.3K 
[ ]404_direct.lp.xz2013-11-20 19:15 3.2K 
[ ]404_direct.wcnf.xz2013-11-20 19:15 3.1K 
[ ]404_support.lp.xz2013-11-20 19:15 15K 
[ ]404_support.wcnf.xz2013-11-20 19:15 27K 
[ ]408.dzn.xz2013-11-20 19:15 11K 
[ ]408.uai.evid2013-11-20 19:15 2  
[ ]408.uai.xz2013-11-20 19:15 8.4K 
[ ]408.wcsp.xz2013-11-20 19:15 7.7K 
[ ]408_direct.lp.xz2013-11-20 19:15 9.4K 
[ ]408_direct.wcnf.xz2013-11-20 19:15 9.4K 
[ ]408_support.lp.xz2013-11-20 19:15 83K 
[ ]408_support.wcnf.xz2013-11-20 19:15 136K 
[ ]412.dzn.xz2013-11-20 19:15 21K 
[ ]412.uai.evid2013-11-20 19:15 2  
[ ]412.uai.xz2013-11-20 19:15 16K 
[ ]412.wcsp.xz2013-11-20 19:15 15K 
[ ]412_direct.lp.xz2013-11-20 19:15 19K 
[ ]412_direct.wcnf.xz2013-11-20 19:15 20K 
[ ]412_support.lp.xz2013-11-20 19:15 142K 
[ ]412_support.wcnf.xz2013-11-20 19:15 246K 
[ ]414.dzn.xz2013-11-20 19:15 65K 
[ ]414.uai.evid2013-11-20 19:15 2  
[ ]414.uai.xz2013-11-20 19:15 47K 
[ ]414.wcsp.xz2013-11-20 19:15 38K 
[ ]414_direct.lp.xz2013-11-20 19:15 42K 
[ ]414_direct.wcnf.xz2013-11-20 19:15 44K 
[ ]414_support.lp.xz2013-11-20 19:15 842K 
[ ]414_support.wcnf.xz2013-11-20 19:15 1.4M 
[ ]503.dzn.xz2013-11-20 19:15 3.6K 
[ ]503.uai.evid2013-11-20 19:15 2  
[ ]503.uai.xz2013-11-20 19:15 2.6K 
[ ]503.wcsp.xz2013-11-20 19:15 2.3K 
[ ]503_direct.lp.xz2013-11-20 19:15 3.3K 
[ ]503_direct.wcnf.xz2013-11-20 19:15 3.3K 
[ ]503_support.lp.xz2013-11-20 19:15 24K 
[ ]503_support.wcnf.xz2013-11-20 19:15 38K 
[ ]505.dzn.xz2013-11-20 19:15 13K 
[ ]505.uai.evid2013-11-20 19:15 2  
[ ]505.uai.xz2013-11-20 19:15 9.3K 
[ ]505.wcsp.xz2013-11-20 19:15 8.2K 
[ ]505_direct.lp.xz2013-11-20 19:15 10K 
[ ]505_direct.wcnf.xz2013-11-20 19:15 10K 
[ ]505_support.lp.xz2013-11-20 19:15 110K 
[ ]505_support.wcnf.xz2013-11-20 19:15 188K 
[ ]507.dzn.xz2013-11-20 19:15 35K 
[ ]507.uai.evid2013-11-20 19:15 2  
[ ]507.uai.xz2013-11-20 19:15 26K 
[ ]507.wcsp.xz2013-11-20 19:15 21K 
[ ]507_direct.lp.xz2013-11-20 19:15 24K 
[ ]507_direct.wcnf.xz2013-11-20 19:15 25K 
[ ]507_support.lp.xz2013-11-20 19:15 366K 
[ ]507_support.wcnf.xz2013-11-20 19:15 685K 
[ ]509.dzn.xz2013-11-20 19:15 55K 
[ ]509.uai.evid2013-11-20 19:15 2  
[ ]509.uai.xz2013-11-20 19:15 40K 
[ ]509.wcsp.xz2013-11-20 19:15 33K 
[ ]509_direct.lp.xz2013-11-20 19:15 35K 
[ ]509_direct.wcnf.xz2013-11-20 19:15 37K 
[ ]509_support.lp.xz2013-11-20 19:15 682K 
[ ]509_support.wcnf.xz2013-11-20 19:15 1.1M 
[ ]1401.dzn.xz2013-11-20 19:15 60K 
[ ]1401.uai.evid2013-11-20 19:15 2  
[ ]1401.uai.xz2013-11-20 19:15 47K 
[ ]1401.wcsp.xz2013-11-20 19:15 40K 
[ ]1401_direct.lp.xz2013-11-20 19:15 44K 
[ ]1401_direct.wcnf.xz2013-11-20 19:15 46K 
[ ]1401_support.lp.xz2013-11-20 19:15 656K 
[ ]1401_support.wcnf.xz2013-11-20 19:15 1.2M 
[ ]1403.dzn.xz2013-11-20 19:15 79K 
[ ]1403.uai.evid2013-11-20 19:15 2  
[ ]1403.uai.xz2013-11-20 19:15 60K 
[ ]1403.wcsp.xz2013-11-20 19:15 50K 
[ ]1403_direct.lp.xz2013-11-20 19:15 55K 
[ ]1403_direct.wcnf.xz2013-11-20 19:15 60K 
[ ]1403_support.lp.xz2013-11-20 19:15 889K 
[ ]1403_support.wcnf.xz2013-11-20 19:15 1.6M 
[ ]1405.dzn.xz2013-11-20 19:15 107K 
[ ]1405.uai.evid2013-11-20 19:15 2  
[ ]1405.uai.xz2013-11-20 19:15 81K 
[ ]1405.wcsp.xz2013-11-20 19:15 68K 
[ ]1405_direct.lp.xz2013-11-20 19:15 78K 
[ ]1405_direct.wcnf.xz2013-11-20 19:15 87K 
[ ]1405_support.lp.xz2013-11-20 19:15 1.2M 
[ ]1405_support.wcnf.xz2013-11-20 19:15 2.1M 
[ ]1407.dzn.xz2013-11-20 19:15 130K 
[ ]1407.uai.evid2013-11-20 19:15 2  
[ ]1407.uai.xz2013-11-20 19:15 98K 
[ ]1407.wcsp.xz2013-11-20 19:15 81K 
[ ]1407_direct.lp.xz2013-11-20 19:15 96K 
[ ]1407_direct.wcnf.xz2013-11-20 19:15 107K 
[ ]1407_support.lp.xz2013-11-20 19:15 1.6M 
[ ]1407_support.wcnf.xz2013-11-20 19:15 2.7M 
[ ]1502.dzn.xz2013-11-20 19:15 1.9K 
[ ]1502.uai.evid2013-11-20 19:15 2  
[ ]1502.uai.xz2013-11-20 19:15 1.6K 
[ ]1502.wcsp.xz2013-11-20 19:15 1.4K 
[ ]1502_direct.lp.xz2013-11-20 19:15 2.5K 
[ ]1502_direct.wcnf.xz2013-11-20 19:15 2.7K 
[ ]1502_support.lp.xz2013-11-20 19:15 15K 
[ ]1502_support.wcnf.xz2013-11-20 19:15 21K 
[ ]1504.dzn.xz2013-11-20 19:15 22K 
[ ]1504.uai.evid2013-11-20 19:15 2  
[ ]1504.uai.xz2013-11-20 19:15 17K 
[ ]1504.wcsp.xz2013-11-20 19:15 14K 
[ ]1504_direct.lp.xz2013-11-20 19:15 19K 
[ ]1504_direct.wcnf.xz2013-11-20 19:15 21K 
[ ]1504_support.lp.xz2013-11-20 19:15 244K 
[ ]1504_support.wcnf.xz2013-11-20 19:15 439K 
[ ]1506.dzn.xz2013-11-20 19:15 93K 
[ ]1506.uai.evid2013-11-20 19:15 2  
[ ]1506.uai.xz2013-11-20 19:15 70K 
[ ]1506.wcsp.xz2013-11-20 19:15 56K 
[ ]1506_direct.lp.xz2013-11-20 19:15 65K 
[ ]1506_direct.wcnf.xz2013-11-20 19:15 75K 
[ ]1506_support.lp.xz2013-11-20 19:15 1.1M 
[ ]1506_support.wcnf.xz2013-11-20 19:15 2.0M 
[DIR]SPOT5/2013-11-20 19:15 -  
[TXT]readme.txt2013-11-20 19:15 6.0K 
[ ]spot2dzn.awk2013-11-20 19:15 2.5K 
[ ]spot2dzn.sh2013-11-20 19:15 84  
[TXT]spot5.mzn2013-11-20 19:15 3.3K