Index of /~degivry/evalgm/MRF/Segmentation

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[ ]1_28_s.21.dzn.xz20-Nov-2013 20:02 79K 
[ ]1_28_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]1_28_s.21.uai.xz20-Nov-2013 20:02 604K 
[ ]1_28_s.21.wcsp.xz20-Nov-2013 20:03 79K 
[ ]1_28_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]1_28_s.21_digit2.uai.xz20-Nov-2013 20:03 141K 
[ ]1_28_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]1_28_s.21_direct.wcnf.xz20-Nov-2013 20:03 363K 
[ ]1_28_s.21_support.lp.xz20-Nov-2013 20:03 954K 
[ ]1_28_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]1_28_s.binary.dzn.xz20-Nov-2013 20:02 3.5K 
[ ]1_28_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]1_28_s.binary.uai.xz20-Nov-2013 20:02 6.4K 
[ ]1_28_s.binary.wcsp.xz20-Nov-2013 20:03 3.3K 
[ ]1_28_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]1_28_s.binary_digit2.uai.xz20-Nov-2013 20:02 4.5K 
[ ]1_28_s.binary_direct.lp.xz20-Nov-2013 20:01 15K 
[ ]1_28_s.binary_direct.wcnf.xz20-Nov-2013 20:02 4.7K 
[ ]1_28_s.binary_support.lp.xz20-Nov-2013 20:03 18K 
[ ]1_28_s.binary_support.wcnf.xz20-Nov-2013 19:59 21K 
[ ]2_2_s.21.dzn.xz20-Nov-2013 20:00 79K 
[ ]2_2_s.21.uai.evid20-Nov-2013 20:01 1  
[ ]2_2_s.21.uai.xz20-Nov-2013 20:03 602K 
[ ]2_2_s.21.wcsp.xz20-Nov-2013 20:01 79K 
[ ]2_2_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]2_2_s.21_digit2.uai.xz20-Nov-2013 20:03 135K 
[ ]2_2_s.21_direct.lp.xz20-Nov-2013 19:59 1.5M 
[ ]2_2_s.21_direct.wcnf.xz20-Nov-2013 20:00 370K 
[ ]2_2_s.21_support.lp.xz20-Nov-2013 20:00 945K 
[ ]2_2_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]2_2_s.binary.dzn.xz20-Nov-2013 20:02 3.3K 
[ ]2_2_s.binary.uai.evid20-Nov-2013 20:00 1  
[ ]2_2_s.binary.uai.xz20-Nov-2013 20:03 6.3K 
[ ]2_2_s.binary.wcsp.xz20-Nov-2013 20:02 3.3K 
[ ]2_2_s.binary_digit2.uai.evid20-Nov-2013 20:01 2  
[ ]2_2_s.binary_digit2.uai.xz20-Nov-2013 20:00 4.5K 
[ ]2_2_s.binary_direct.lp.xz20-Nov-2013 20:02 15K 
[ ]2_2_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.7K 
[ ]2_2_s.binary_support.lp.xz20-Nov-2013 20:02 18K 
[ ]2_2_s.binary_support.wcnf.xz20-Nov-2013 20:00 21K 
[ ]2_17_s.21.dzn.xz20-Nov-2013 20:03 80K 
[ ]2_17_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]2_17_s.21.uai.xz20-Nov-2013 20:00 601K 
[ ]2_17_s.21.wcsp.xz20-Nov-2013 20:02 78K 
[ ]2_17_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]2_17_s.21_digit2.uai.xz20-Nov-2013 20:03 139K 
[ ]2_17_s.21_direct.lp.xz20-Nov-2013 20:00 1.4M 
[ ]2_17_s.21_direct.wcnf.xz20-Nov-2013 20:02 354K 
[ ]2_17_s.21_support.lp.xz20-Nov-2013 20:01 949K 
[ ]2_17_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]2_17_s.binary.dzn.xz20-Nov-2013 20:02 3.5K 
[ ]2_17_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]2_17_s.binary.uai.xz20-Nov-2013 20:00 6.3K 
[ ]2_17_s.binary.wcsp.xz20-Nov-2013 20:03 3.3K 
[ ]2_17_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]2_17_s.binary_digit2.uai.xz20-Nov-2013 20:03 4.1K 
[ ]2_17_s.binary_direct.lp.xz20-Nov-2013 20:01 15K 
[ ]2_17_s.binary_direct.wcnf.xz20-Nov-2013 20:02 4.8K 
[ ]2_17_s.binary_support.lp.xz20-Nov-2013 20:03 18K 
[ ]2_17_s.binary_support.wcnf.xz20-Nov-2013 20:00 20K 
[ ]2_28_s.21.dzn.xz20-Nov-2013 20:00 80K 
[ ]2_28_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]2_28_s.21.uai.xz20-Nov-2013 20:00 606K 
[ ]2_28_s.21.wcsp.xz20-Nov-2013 20:03 79K 
[ ]2_28_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]2_28_s.21_digit2.uai.xz20-Nov-2013 20:03 134K 
[ ]2_28_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]2_28_s.21_direct.wcnf.xz20-Nov-2013 20:00 367K 
[ ]2_28_s.21_support.lp.xz20-Nov-2013 20:00 971K 
[ ]2_28_s.21_support.wcnf.xz20-Nov-2013 20:02 1.5M 
[ ]2_28_s.binary.dzn.xz20-Nov-2013 20:02 3.5K 
[ ]2_28_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]2_28_s.binary.uai.xz20-Nov-2013 20:03 6.3K 
[ ]2_28_s.binary.wcsp.xz20-Nov-2013 20:01 3.2K 
[ ]2_28_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]2_28_s.binary_digit2.uai.xz20-Nov-2013 20:03 4.3K 
[ ]2_28_s.binary_direct.lp.xz20-Nov-2013 20:02 15K 
[ ]2_28_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.8K 
[ ]2_28_s.binary_support.lp.xz20-Nov-2013 20:01 18K 
[ ]2_28_s.binary_support.wcnf.xz20-Nov-2013 20:00 21K 
[ ]3_16_s.21.dzn.xz20-Nov-2013 20:01 80K 
[ ]3_16_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]3_16_s.21.uai.xz20-Nov-2013 20:00 605K 
[ ]3_16_s.21.wcsp.xz20-Nov-2013 20:02 80K 
[ ]3_16_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]3_16_s.21_digit2.uai.xz20-Nov-2013 20:03 141K 
[ ]3_16_s.21_direct.lp.xz20-Nov-2013 20:00 1.5M 
[ ]3_16_s.21_direct.wcnf.xz20-Nov-2013 20:02 373K 
[ ]3_16_s.21_support.lp.xz20-Nov-2013 20:02 1.0M 
[ ]3_16_s.21_support.wcnf.xz20-Nov-2013 20:02 1.5M 
[ ]3_16_s.binary.dzn.xz20-Nov-2013 20:00 3.5K 
[ ]3_16_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]3_16_s.binary.uai.xz20-Nov-2013 20:00 6.5K 
[ ]3_16_s.binary.wcsp.xz20-Nov-2013 20:00 3.4K 
[ ]3_16_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]3_16_s.binary_digit2.uai.xz20-Nov-2013 20:03 4.6K 
[ ]3_16_s.binary_direct.lp.xz20-Nov-2013 19:59 15K 
[ ]3_16_s.binary_direct.wcnf.xz20-Nov-2013 20:02 4.9K 
[ ]3_16_s.binary_support.lp.xz20-Nov-2013 20:02 18K 
[ ]3_16_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]3_20_s.21.dzn.xz20-Nov-2013 20:00 81K 
[ ]3_20_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]3_20_s.21.uai.xz20-Nov-2013 20:03 612K 
[ ]3_20_s.21.wcsp.xz20-Nov-2013 20:02 79K 
[ ]3_20_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]3_20_s.21_digit2.uai.xz20-Nov-2013 20:01 143K 
[ ]3_20_s.21_direct.lp.xz20-Nov-2013 20:02 1.5M 
[ ]3_20_s.21_direct.wcnf.xz20-Nov-2013 20:02 369K 
[ ]3_20_s.21_support.lp.xz20-Nov-2013 20:00 954K 
[ ]3_20_s.21_support.wcnf.xz20-Nov-2013 20:00 1.5M 
[ ]3_20_s.binary.dzn.xz20-Nov-2013 20:00 3.6K 
[ ]3_20_s.binary.uai.evid20-Nov-2013 20:00 1  
[ ]3_20_s.binary.uai.xz20-Nov-2013 20:03 6.5K 
[ ]3_20_s.binary.wcsp.xz20-Nov-2013 20:03 3.4K 
[ ]3_20_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]3_20_s.binary_digit2.uai.xz20-Nov-2013 20:00 4.1K 
[ ]3_20_s.binary_direct.lp.xz20-Nov-2013 20:03 15K 
[ ]3_20_s.binary_direct.wcnf.xz20-Nov-2013 20:02 4.8K 
[ ]3_20_s.binary_support.lp.xz20-Nov-2013 20:02 18K 
[ ]3_20_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]4_24_s.21.dzn.xz20-Nov-2013 20:02 78K 
[ ]4_24_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]4_24_s.21.uai.xz20-Nov-2013 20:02 594K 
[ ]4_24_s.21.wcsp.xz20-Nov-2013 20:02 78K 
[ ]4_24_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]4_24_s.21_digit2.uai.xz20-Nov-2013 20:02 150K 
[ ]4_24_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]4_24_s.21_direct.wcnf.xz20-Nov-2013 20:02 370K 
[ ]4_24_s.21_support.lp.xz20-Nov-2013 20:03 946K 
[ ]4_24_s.21_support.wcnf.xz20-Nov-2013 20:00 1.5M 
[ ]4_24_s.binary.dzn.xz20-Nov-2013 20:03 3.4K 
[ ]4_24_s.binary.uai.evid20-Nov-2013 20:00 1  
[ ]4_24_s.binary.uai.xz20-Nov-2013 20:01 6.4K 
[ ]4_24_s.binary.wcsp.xz20-Nov-2013 20:00 3.4K 
[ ]4_24_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]4_24_s.binary_digit2.uai.xz20-Nov-2013 20:00 4.3K 
[ ]4_24_s.binary_direct.lp.xz20-Nov-2013 20:01 15K 
[ ]4_24_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.8K 
[ ]4_24_s.binary_support.lp.xz20-Nov-2013 20:02 18K 
[ ]4_24_s.binary_support.wcnf.xz20-Nov-2013 20:01 21K 
[ ]4_30_s.21.dzn.xz20-Nov-2013 20:01 78K 
[ ]4_30_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]4_30_s.21.uai.xz20-Nov-2013 20:01 598K 
[ ]4_30_s.21.wcsp.xz20-Nov-2013 20:03 78K 
[ ]4_30_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]4_30_s.21_digit2.uai.xz20-Nov-2013 20:02 142K 
[ ]4_30_s.21_direct.lp.xz20-Nov-2013 20:00 1.5M 
[ ]4_30_s.21_direct.wcnf.xz20-Nov-2013 20:03 357K 
[ ]4_30_s.21_support.lp.xz20-Nov-2013 20:02 961K 
[ ]4_30_s.21_support.wcnf.xz20-Nov-2013 20:03 1.5M 
[ ]4_30_s.binary.dzn.xz20-Nov-2013 20:00 3.5K 
[ ]4_30_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]4_30_s.binary.uai.xz20-Nov-2013 20:01 6.4K 
[ ]4_30_s.binary.wcsp.xz20-Nov-2013 20:01 3.3K 
[ ]4_30_s.binary_digit2.uai.evid20-Nov-2013 20:01 2  
[ ]4_30_s.binary_digit2.uai.xz20-Nov-2013 20:02 4.4K 
[ ]4_30_s.binary_direct.lp.xz20-Nov-2013 20:02 15K 
[ ]4_30_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.8K 
[ ]4_30_s.binary_support.lp.xz20-Nov-2013 19:59 18K 
[ ]4_30_s.binary_support.wcnf.xz20-Nov-2013 19:59 21K 
[ ]5_3_s.21.dzn.xz20-Nov-2013 20:02 78K 
[ ]5_3_s.21.uai.evid20-Nov-2013 20:00 1  
[ ]5_3_s.21.uai.xz20-Nov-2013 20:03 595K 
[ ]5_3_s.21.wcsp.xz20-Nov-2013 20:02 78K 
[ ]5_3_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]5_3_s.21_digit2.uai.xz20-Nov-2013 20:02 141K 
[ ]5_3_s.21_direct.lp.xz20-Nov-2013 20:00 1.5M 
[ ]5_3_s.21_direct.wcnf.xz20-Nov-2013 20:03 359K 
[ ]5_3_s.21_support.lp.xz20-Nov-2013 20:03 946K 
[ ]5_3_s.21_support.wcnf.xz20-Nov-2013 20:02 1.5M 
[ ]5_3_s.binary.dzn.xz20-Nov-2013 20:03 3.4K 
[ ]5_3_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]5_3_s.binary.uai.xz20-Nov-2013 20:01 6.3K 
[ ]5_3_s.binary.wcsp.xz20-Nov-2013 20:01 3.4K 
[ ]5_3_s.binary_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]5_3_s.binary_digit2.uai.xz20-Nov-2013 20:01 4.3K 
[ ]5_3_s.binary_direct.lp.xz20-Nov-2013 20:02 15K 
[ ]5_3_s.binary_direct.wcnf.xz20-Nov-2013 20:00 4.8K 
[ ]5_3_s.binary_support.lp.xz20-Nov-2013 20:02 18K 
[ ]5_3_s.binary_support.wcnf.xz20-Nov-2013 19:59 21K 
[ ]6_3_s.21.dzn.xz20-Nov-2013 20:01 81K 
[ ]6_3_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]6_3_s.21.uai.xz20-Nov-2013 20:00 614K 
[ ]6_3_s.21.wcsp.xz20-Nov-2013 20:02 81K 
[ ]6_3_s.21_digit2.uai.evid20-Nov-2013 20:01 2  
[ ]6_3_s.21_digit2.uai.xz20-Nov-2013 20:00 147K 
[ ]6_3_s.21_direct.lp.xz20-Nov-2013 20:01 1.5M 
[ ]6_3_s.21_direct.wcnf.xz20-Nov-2013 20:03 370K 
[ ]6_3_s.21_support.lp.xz20-Nov-2013 20:00 1.0M 
[ ]6_3_s.21_support.wcnf.xz20-Nov-2013 20:02 1.5M 
[ ]6_3_s.binary.dzn.xz20-Nov-2013 20:00 3.5K 
[ ]6_3_s.binary.uai.evid20-Nov-2013 20:00 1  
[ ]6_3_s.binary.uai.xz20-Nov-2013 20:02 6.6K 
[ ]6_3_s.binary.wcsp.xz20-Nov-2013 20:00 3.5K 
[ ]6_3_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]6_3_s.binary_digit2.uai.xz20-Nov-2013 20:00 4.5K 
[ ]6_3_s.binary_direct.lp.xz20-Nov-2013 20:02 16K 
[ ]6_3_s.binary_direct.wcnf.xz20-Nov-2013 20:02 5.1K 
[ ]6_3_s.binary_support.lp.xz20-Nov-2013 20:02 19K 
[ ]6_3_s.binary_support.wcnf.xz20-Nov-2013 20:03 21K 
[ ]6_23_s.21.dzn.xz20-Nov-2013 20:01 82K 
[ ]6_23_s.21.uai.evid20-Nov-2013 20:00 1  
[ ]6_23_s.21.uai.xz20-Nov-2013 20:00 632K 
[ ]6_23_s.21.wcsp.xz20-Nov-2013 20:01 82K 
[ ]6_23_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]6_23_s.21_digit2.uai.xz20-Nov-2013 20:02 133K 
[ ]6_23_s.21_direct.lp.xz20-Nov-2013 20:03 1.6M 
[ ]6_23_s.21_direct.wcnf.xz20-Nov-2013 20:02 383K 
[ ]6_23_s.21_support.lp.xz20-Nov-2013 20:03 1.0M 
[ ]6_23_s.21_support.wcnf.xz20-Nov-2013 20:02 1.5M 
[ ]6_23_s.binary.dzn.xz20-Nov-2013 20:03 3.6K 
[ ]6_23_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]6_23_s.binary.uai.xz20-Nov-2013 20:02 6.7K 
[ ]6_23_s.binary.wcsp.xz20-Nov-2013 20:01 3.6K 
[ ]6_23_s.binary_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]6_23_s.binary_digit2.uai.xz20-Nov-2013 20:00 4.7K 
[ ]6_23_s.binary_direct.lp.xz20-Nov-2013 20:03 16K 
[ ]6_23_s.binary_direct.wcnf.xz20-Nov-2013 20:02 5.0K 
[ ]6_23_s.binary_support.lp.xz20-Nov-2013 20:01 19K 
[ ]6_23_s.binary_support.wcnf.xz20-Nov-2013 19:59 22K 
[ ]7_9_s.21.dzn.xz20-Nov-2013 20:00 80K 
[ ]7_9_s.21.uai.evid20-Nov-2013 20:01 1  
[ ]7_9_s.21.uai.xz20-Nov-2013 20:00 611K 
[ ]7_9_s.21.wcsp.xz20-Nov-2013 20:00 80K 
[ ]7_9_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]7_9_s.21_digit2.uai.xz20-Nov-2013 20:00 136K 
[ ]7_9_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]7_9_s.21_direct.wcnf.xz20-Nov-2013 20:00 367K 
[ ]7_9_s.21_support.lp.xz20-Nov-2013 20:02 1.0M 
[ ]7_9_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]7_9_s.binary.dzn.xz20-Nov-2013 20:02 3.6K 
[ ]7_9_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]7_9_s.binary.uai.xz20-Nov-2013 20:03 6.6K 
[ ]7_9_s.binary.wcsp.xz20-Nov-2013 20:02 3.5K 
[ ]7_9_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]7_9_s.binary_digit2.uai.xz20-Nov-2013 20:03 4.2K 
[ ]7_9_s.binary_direct.lp.xz20-Nov-2013 20:01 15K 
[ ]7_9_s.binary_direct.wcnf.xz20-Nov-2013 20:02 5.0K 
[ ]7_9_s.binary_support.lp.xz20-Nov-2013 20:01 19K 
[ ]7_9_s.binary_support.wcnf.xz20-Nov-2013 20:00 22K 
[ ]7_11_s.21.dzn.xz20-Nov-2013 20:01 80K 
[ ]7_11_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]7_11_s.21.uai.xz20-Nov-2013 20:00 629K 
[ ]7_11_s.21.wcsp.xz20-Nov-2013 20:03 80K 
[ ]7_11_s.21_digit2.uai.evid20-Nov-2013 20:01 2  
[ ]7_11_s.21_digit2.uai.xz20-Nov-2013 20:01 141K 
[ ]7_11_s.21_direct.lp.xz20-Nov-2013 20:00 1.5M 
[ ]7_11_s.21_direct.wcnf.xz20-Nov-2013 20:02 370K 
[ ]7_11_s.21_support.lp.xz20-Nov-2013 20:00 1.0M 
[ ]7_11_s.21_support.wcnf.xz20-Nov-2013 19:59 1.5M 
[ ]7_11_s.binary.dzn.xz20-Nov-2013 20:03 3.5K 
[ ]7_11_s.binary.uai.evid20-Nov-2013 20:00 1  
[ ]7_11_s.binary.uai.xz20-Nov-2013 20:02 6.7K 
[ ]7_11_s.binary.wcsp.xz20-Nov-2013 20:02 3.5K 
[ ]7_11_s.binary_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]7_11_s.binary_digit2.uai.xz20-Nov-2013 20:02 4.3K 
[ ]7_11_s.binary_direct.lp.xz20-Nov-2013 20:02 16K 
[ ]7_11_s.binary_direct.wcnf.xz20-Nov-2013 20:03 5.1K 
[ ]7_11_s.binary_support.lp.xz20-Nov-2013 20:01 19K 
[ ]7_11_s.binary_support.wcnf.xz20-Nov-2013 20:03 22K 
[ ]7_12_s.21.dzn.xz20-Nov-2013 20:01 79K 
[ ]7_12_s.21.uai.evid20-Nov-2013 20:01 1  
[ ]7_12_s.21.uai.xz20-Nov-2013 20:00 606K 
[ ]7_12_s.21.wcsp.xz20-Nov-2013 20:02 79K 
[ ]7_12_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]7_12_s.21_digit2.uai.xz20-Nov-2013 20:00 142K 
[ ]7_12_s.21_direct.lp.xz20-Nov-2013 20:00 1.5M 
[ ]7_12_s.21_direct.wcnf.xz20-Nov-2013 20:02 358K 
[ ]7_12_s.21_support.lp.xz20-Nov-2013 20:01 956K 
[ ]7_12_s.21_support.wcnf.xz20-Nov-2013 20:03 1.5M 
[ ]7_12_s.binary.dzn.xz20-Nov-2013 20:01 3.4K 
[ ]7_12_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]7_12_s.binary.uai.xz20-Nov-2013 20:01 6.6K 
[ ]7_12_s.binary.wcsp.xz20-Nov-2013 20:02 3.5K 
[ ]7_12_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]7_12_s.binary_digit2.uai.xz20-Nov-2013 20:00 4.1K 
[ ]7_12_s.binary_direct.lp.xz20-Nov-2013 20:00 15K 
[ ]7_12_s.binary_direct.wcnf.xz20-Nov-2013 20:00 4.9K 
[ ]7_12_s.binary_support.lp.xz20-Nov-2013 20:01 19K 
[ ]7_12_s.binary_support.wcnf.xz20-Nov-2013 19:59 21K 
[ ]7_15_s.21.dzn.xz20-Nov-2013 20:02 79K 
[ ]7_15_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]7_15_s.21.uai.xz20-Nov-2013 20:00 604K 
[ ]7_15_s.21.wcsp.xz20-Nov-2013 20:00 79K 
[ ]7_15_s.21_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]7_15_s.21_digit2.uai.xz20-Nov-2013 20:01 125K 
[ ]7_15_s.21_direct.lp.xz20-Nov-2013 20:01 1.5M 
[ ]7_15_s.21_direct.wcnf.xz20-Nov-2013 20:03 360K 
[ ]7_15_s.21_support.lp.xz20-Nov-2013 20:02 967K 
[ ]7_15_s.21_support.wcnf.xz20-Nov-2013 19:59 1.5M 
[ ]7_15_s.binary.dzn.xz20-Nov-2013 20:03 3.6K 
[ ]7_15_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]7_15_s.binary.uai.xz20-Nov-2013 20:03 6.5K 
[ ]7_15_s.binary.wcsp.xz20-Nov-2013 20:01 3.5K 
[ ]7_15_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]7_15_s.binary_digit2.uai.xz20-Nov-2013 20:02 4.5K 
[ ]7_15_s.binary_direct.lp.xz20-Nov-2013 20:03 15K 
[ ]7_15_s.binary_direct.wcnf.xz20-Nov-2013 20:02 4.9K 
[ ]7_15_s.binary_support.lp.xz20-Nov-2013 20:03 19K 
[ ]7_15_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]7_29_s.21.dzn.xz20-Nov-2013 20:02 80K 
[ ]7_29_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]7_29_s.21.uai.xz20-Nov-2013 20:00 604K 
[ ]7_29_s.21.wcsp.xz20-Nov-2013 20:00 79K 
[ ]7_29_s.21_digit2.uai.evid20-Nov-2013 20:01 2  
[ ]7_29_s.21_digit2.uai.xz20-Nov-2013 20:02 133K 
[ ]7_29_s.21_direct.lp.xz20-Nov-2013 20:02 1.5M 
[ ]7_29_s.21_direct.wcnf.xz20-Nov-2013 20:00 360K 
[ ]7_29_s.21_support.lp.xz20-Nov-2013 20:03 949K 
[ ]7_29_s.21_support.wcnf.xz20-Nov-2013 20:03 1.5M 
[ ]7_29_s.binary.dzn.xz20-Nov-2013 20:02 3.5K 
[ ]7_29_s.binary.uai.evid20-Nov-2013 20:02 1  
[ ]7_29_s.binary.uai.xz20-Nov-2013 20:01 6.5K 
[ ]7_29_s.binary.wcsp.xz20-Nov-2013 20:02 3.5K 
[ ]7_29_s.binary_digit2.uai.evid20-Nov-2013 20:01 2  
[ ]7_29_s.binary_digit2.uai.xz20-Nov-2013 20:02 4.4K 
[ ]7_29_s.binary_direct.lp.xz20-Nov-2013 20:03 15K 
[ ]7_29_s.binary_direct.wcnf.xz20-Nov-2013 20:00 4.9K 
[ ]7_29_s.binary_support.lp.xz20-Nov-2013 20:01 18K 
[ ]7_29_s.binary_support.wcnf.xz20-Nov-2013 19:59 21K 
[ ]8_8_s.21.dzn.xz20-Nov-2013 20:00 77K 
[ ]8_8_s.21.uai.evid20-Nov-2013 20:01 1  
[ ]8_8_s.21.uai.xz20-Nov-2013 19:59 596K 
[ ]8_8_s.21.wcsp.xz20-Nov-2013 20:00 77K 
[ ]8_8_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]8_8_s.21_digit2.uai.xz20-Nov-2013 20:00 140K 
[ ]8_8_s.21_direct.lp.xz20-Nov-2013 20:00 1.5M 
[ ]8_8_s.21_direct.wcnf.xz20-Nov-2013 20:03 351K 
[ ]8_8_s.21_support.lp.xz20-Nov-2013 20:00 947K 
[ ]8_8_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]8_8_s.binary.dzn.xz20-Nov-2013 20:03 3.6K 
[ ]8_8_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]8_8_s.binary.uai.xz20-Nov-2013 20:00 6.4K 
[ ]8_8_s.binary.wcsp.xz20-Nov-2013 20:03 3.4K 
[ ]8_8_s.binary_digit2.uai.evid20-Nov-2013 20:01 2  
[ ]8_8_s.binary_digit2.uai.xz20-Nov-2013 19:59 4.4K 
[ ]8_8_s.binary_direct.lp.xz20-Nov-2013 19:59 15K 
[ ]8_8_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.9K 
[ ]8_8_s.binary_support.lp.xz20-Nov-2013 20:01 18K 
[ ]8_8_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]8_18_s.21.dzn.xz20-Nov-2013 20:01 80K 
[ ]8_18_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]8_18_s.21.uai.xz20-Nov-2013 20:00 601K 
[ ]8_18_s.21.wcsp.xz20-Nov-2013 20:02 79K 
[ ]8_18_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]8_18_s.21_digit2.uai.xz20-Nov-2013 20:01 135K 
[ ]8_18_s.21_direct.lp.xz20-Nov-2013 20:01 1.5M 
[ ]8_18_s.21_direct.wcnf.xz20-Nov-2013 20:02 355K 
[ ]8_18_s.21_support.lp.xz20-Nov-2013 20:02 966K 
[ ]8_18_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]8_18_s.binary.dzn.xz20-Nov-2013 20:02 3.5K 
[ ]8_18_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]8_18_s.binary.uai.xz20-Nov-2013 20:01 6.5K 
[ ]8_18_s.binary.wcsp.xz20-Nov-2013 20:02 3.5K 
[ ]8_18_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]8_18_s.binary_digit2.uai.xz20-Nov-2013 20:01 4.2K 
[ ]8_18_s.binary_direct.lp.xz20-Nov-2013 20:01 15K 
[ ]8_18_s.binary_direct.wcnf.xz20-Nov-2013 20:02 5.0K 
[ ]8_18_s.binary_support.lp.xz20-Nov-2013 20:01 18K 
[ ]8_18_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]8_25_s.21.dzn.xz20-Nov-2013 20:03 78K 
[ ]8_25_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]8_25_s.21.uai.xz20-Nov-2013 19:59 591K 
[ ]8_25_s.21.wcsp.xz20-Nov-2013 19:59 78K 
[ ]8_25_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]8_25_s.21_digit2.uai.xz20-Nov-2013 20:02 126K 
[ ]8_25_s.21_direct.lp.xz20-Nov-2013 20:02 1.4M 
[ ]8_25_s.21_direct.wcnf.xz20-Nov-2013 20:03 351K 
[ ]8_25_s.21_support.lp.xz20-Nov-2013 20:02 939K 
[ ]8_25_s.21_support.wcnf.xz20-Nov-2013 20:02 1.4M 
[ ]8_25_s.binary.dzn.xz20-Nov-2013 20:00 3.5K 
[ ]8_25_s.binary.uai.evid20-Nov-2013 20:00 1  
[ ]8_25_s.binary.uai.xz20-Nov-2013 20:01 6.3K 
[ ]8_25_s.binary.wcsp.xz20-Nov-2013 19:59 3.3K 
[ ]8_25_s.binary_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]8_25_s.binary_digit2.uai.xz20-Nov-2013 20:01 4.5K 
[ ]8_25_s.binary_direct.lp.xz20-Nov-2013 19:59 15K 
[ ]8_25_s.binary_direct.wcnf.xz20-Nov-2013 20:02 4.7K 
[ ]8_25_s.binary_support.lp.xz20-Nov-2013 20:02 18K 
[ ]8_25_s.binary_support.wcnf.xz20-Nov-2013 20:01 20K 
[ ]9_10_s.21.dzn.xz20-Nov-2013 20:01 80K 
[ ]9_10_s.21.uai.evid20-Nov-2013 19:59 1  
[ ]9_10_s.21.uai.xz20-Nov-2013 20:02 610K 
[ ]9_10_s.21.wcsp.xz20-Nov-2013 20:03 80K 
[ ]9_10_s.21_digit2.uai.evid20-Nov-2013 20:01 2  
[ ]9_10_s.21_digit2.uai.xz20-Nov-2013 20:03 140K 
[ ]9_10_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]9_10_s.21_direct.wcnf.xz20-Nov-2013 20:02 358K 
[ ]9_10_s.21_support.lp.xz20-Nov-2013 20:01 948K 
[ ]9_10_s.21_support.wcnf.xz20-Nov-2013 20:02 1.5M 
[ ]9_10_s.binary.dzn.xz20-Nov-2013 20:01 3.6K 
[ ]9_10_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]9_10_s.binary.uai.xz20-Nov-2013 20:00 6.5K 
[ ]9_10_s.binary.wcsp.xz20-Nov-2013 20:01 3.4K 
[ ]9_10_s.binary_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]9_10_s.binary_digit2.uai.xz20-Nov-2013 20:03 4.3K 
[ ]9_10_s.binary_direct.lp.xz20-Nov-2013 20:02 15K 
[ ]9_10_s.binary_direct.wcnf.xz20-Nov-2013 20:00 4.8K 
[ ]9_10_s.binary_support.lp.xz20-Nov-2013 20:00 18K 
[ ]9_10_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]9_24_s.21.dzn.xz20-Nov-2013 20:01 79K 
[ ]9_24_s.21.uai.evid20-Nov-2013 20:01 1  
[ ]9_24_s.21.uai.xz20-Nov-2013 20:02 615K 
[ ]9_24_s.21.wcsp.xz20-Nov-2013 20:00 78K 
[ ]9_24_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]9_24_s.21_digit2.uai.xz20-Nov-2013 20:00 140K 
[ ]9_24_s.21_direct.lp.xz20-Nov-2013 20:01 1.5M 
[ ]9_24_s.21_direct.wcnf.xz20-Nov-2013 20:03 371K 
[ ]9_24_s.21_support.lp.xz20-Nov-2013 20:02 961K 
[ ]9_24_s.21_support.wcnf.xz20-Nov-2013 20:00 1.5M 
[ ]9_24_s.binary.dzn.xz20-Nov-2013 20:00 3.6K 
[ ]9_24_s.binary.uai.evid20-Nov-2013 20:00 1  
[ ]9_24_s.binary.uai.xz20-Nov-2013 20:02 6.6K 
[ ]9_24_s.binary.wcsp.xz20-Nov-2013 20:02 3.4K 
[ ]9_24_s.binary_digit2.uai.evid20-Nov-2013 19:59 2  
[ ]9_24_s.binary_digit2.uai.xz20-Nov-2013 19:59 4.6K 
[ ]9_24_s.binary_direct.lp.xz20-Nov-2013 20:00 15K 
[ ]9_24_s.binary_direct.wcnf.xz20-Nov-2013 20:02 4.9K 
[ ]9_24_s.binary_support.lp.xz20-Nov-2013 20:03 19K 
[ ]9_24_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]10_14_s.21.dzn.xz20-Nov-2013 20:02 79K 
[ ]10_14_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]10_14_s.21.uai.xz20-Nov-2013 20:00 614K 
[ ]10_14_s.21.wcsp.xz20-Nov-2013 20:00 79K 
[ ]10_14_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]10_14_s.21_digit2.uai.xz20-Nov-2013 20:00 133K 
[ ]10_14_s.21_direct.lp.xz20-Nov-2013 20:02 1.5M 
[ ]10_14_s.21_direct.wcnf.xz20-Nov-2013 20:03 370K 
[ ]10_14_s.21_support.lp.xz20-Nov-2013 20:03 1.0M 
[ ]10_14_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]10_14_s.binary.dzn.xz20-Nov-2013 20:00 3.6K 
[ ]10_14_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]10_14_s.binary.uai.xz20-Nov-2013 20:00 6.6K 
[ ]10_14_s.binary.wcsp.xz20-Nov-2013 20:00 3.5K 
[ ]10_14_s.binary_digit2.uai.evid20-Nov-2013 20:01 2  
[ ]10_14_s.binary_digit2.uai.xz20-Nov-2013 20:03 4.3K 
[ ]10_14_s.binary_direct.lp.xz20-Nov-2013 20:00 15K 
[ ]10_14_s.binary_direct.wcnf.xz20-Nov-2013 20:03 5.0K 
[ ]10_14_s.binary_support.lp.xz20-Nov-2013 20:00 19K 
[ ]10_14_s.binary_support.wcnf.xz20-Nov-2013 20:00 21K 
[ ]10_16_s.21.dzn.xz20-Nov-2013 20:03 81K 
[ ]10_16_s.21.uai.evid20-Nov-2013 20:00 1  
[ ]10_16_s.21.uai.xz20-Nov-2013 20:01 622K 
[ ]10_16_s.21.wcsp.xz20-Nov-2013 20:03 81K 
[ ]10_16_s.21_digit2.uai.evid20-Nov-2013 20:01 2  
[ ]10_16_s.21_digit2.uai.xz20-Nov-2013 20:02 136K 
[ ]10_16_s.21_direct.lp.xz20-Nov-2013 20:00 1.5M 
[ ]10_16_s.21_direct.wcnf.xz20-Nov-2013 20:03 367K 
[ ]10_16_s.21_support.lp.xz20-Nov-2013 19:59 1.0M 
[ ]10_16_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]10_16_s.binary.dzn.xz20-Nov-2013 20:00 3.6K 
[ ]10_16_s.binary.uai.evid20-Nov-2013 20:00 1  
[ ]10_16_s.binary.uai.xz20-Nov-2013 20:00 6.7K 
[ ]10_16_s.binary.wcsp.xz20-Nov-2013 20:02 3.5K 
[ ]10_16_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]10_16_s.binary_digit2.uai.xz20-Nov-2013 19:59 4.5K 
[ ]10_16_s.binary_direct.lp.xz20-Nov-2013 20:02 16K 
[ ]10_16_s.binary_direct.wcnf.xz20-Nov-2013 20:03 5.1K 
[ ]10_16_s.binary_support.lp.xz20-Nov-2013 20:03 19K 
[ ]10_16_s.binary_support.wcnf.xz20-Nov-2013 20:02 22K 
[ ]11_3_s.21.dzn.xz20-Nov-2013 20:03 80K 
[ ]11_3_s.21.uai.evid20-Nov-2013 20:01 1  
[ ]11_3_s.21.uai.xz20-Nov-2013 20:00 617K 
[ ]11_3_s.21.wcsp.xz20-Nov-2013 20:02 80K 
[ ]11_3_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]11_3_s.21_digit2.uai.xz20-Nov-2013 20:01 130K 
[ ]11_3_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]11_3_s.21_direct.wcnf.xz20-Nov-2013 20:03 377K 
[ ]11_3_s.21_support.lp.xz20-Nov-2013 20:02 1.0M 
[ ]11_3_s.21_support.wcnf.xz20-Nov-2013 20:03 1.5M 
[ ]11_3_s.binary.dzn.xz20-Nov-2013 20:03 3.6K 
[ ]11_3_s.binary.uai.evid20-Nov-2013 19:59 1  
[ ]11_3_s.binary.uai.xz20-Nov-2013 20:03 6.6K 
[ ]11_3_s.binary.wcsp.xz20-Nov-2013 20:00 3.5K 
[ ]11_3_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]11_3_s.binary_digit2.uai.xz20-Nov-2013 19:59 4.5K 
[ ]11_3_s.binary_direct.lp.xz20-Nov-2013 20:02 16K 
[ ]11_3_s.binary_direct.wcnf.xz20-Nov-2013 20:00 5.0K 
[ ]11_3_s.binary_support.lp.xz20-Nov-2013 20:03 19K 
[ ]11_3_s.binary_support.wcnf.xz20-Nov-2013 20:00 21K 
[ ]11_4_s.21.dzn.xz20-Nov-2013 20:03 81K 
[ ]11_4_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]11_4_s.21.uai.xz20-Nov-2013 19:59 608K 
[ ]11_4_s.21.wcsp.xz20-Nov-2013 20:02 80K 
[ ]11_4_s.21_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]11_4_s.21_digit2.uai.xz20-Nov-2013 20:00 148K 
[ ]11_4_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]11_4_s.21_direct.wcnf.xz20-Nov-2013 20:03 363K 
[ ]11_4_s.21_support.lp.xz20-Nov-2013 20:02 944K 
[ ]11_4_s.21_support.wcnf.xz20-Nov-2013 20:02 1.5M 
[ ]11_4_s.binary.dzn.xz20-Nov-2013 20:01 3.4K 
[ ]11_4_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]11_4_s.binary.uai.xz20-Nov-2013 20:01 6.4K 
[ ]11_4_s.binary.wcsp.xz20-Nov-2013 20:03 3.3K 
[ ]11_4_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]11_4_s.binary_digit2.uai.xz20-Nov-2013 20:02 4.1K 
[ ]11_4_s.binary_direct.lp.xz20-Nov-2013 20:00 15K 
[ ]11_4_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.7K 
[ ]11_4_s.binary_support.lp.xz20-Nov-2013 20:01 18K 
[ ]11_4_s.binary_support.wcnf.xz20-Nov-2013 20:03 21K 
[ ]11_17_s.21.dzn.xz20-Nov-2013 20:00 80K 
[ ]11_17_s.21.uai.evid20-Nov-2013 20:00 1  
[ ]11_17_s.21.uai.xz20-Nov-2013 20:02 609K 
[ ]11_17_s.21.wcsp.xz20-Nov-2013 20:00 80K 
[ ]11_17_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]11_17_s.21_digit2.uai.xz20-Nov-2013 19:59 142K 
[ ]11_17_s.21_direct.lp.xz20-Nov-2013 20:01 1.5M 
[ ]11_17_s.21_direct.wcnf.xz20-Nov-2013 20:03 374K 
[ ]11_17_s.21_support.lp.xz20-Nov-2013 20:02 967K 
[ ]11_17_s.21_support.wcnf.xz20-Nov-2013 20:03 1.5M 
[ ]11_17_s.binary.dzn.xz20-Nov-2013 20:00 3.5K 
[ ]11_17_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]11_17_s.binary.uai.xz20-Nov-2013 20:02 6.5K 
[ ]11_17_s.binary.wcsp.xz20-Nov-2013 19:59 3.5K 
[ ]11_17_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]11_17_s.binary_digit2.uai.xz20-Nov-2013 20:02 4.5K 
[ ]11_17_s.binary_direct.lp.xz20-Nov-2013 20:02 15K 
[ ]11_17_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.9K 
[ ]11_17_s.binary_support.lp.xz20-Nov-2013 20:00 19K 
[ ]11_17_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]12_4_s.21.dzn.xz20-Nov-2013 20:03 77K 
[ ]12_4_s.21.uai.evid20-Nov-2013 20:00 1  
[ ]12_4_s.21.uai.xz20-Nov-2013 20:01 590K 
[ ]12_4_s.21.wcsp.xz20-Nov-2013 20:01 77K 
[ ]12_4_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]12_4_s.21_digit2.uai.xz20-Nov-2013 20:01 131K 
[ ]12_4_s.21_direct.lp.xz20-Nov-2013 20:02 1.4M 
[ ]12_4_s.21_direct.wcnf.xz20-Nov-2013 20:00 350K 
[ ]12_4_s.21_support.lp.xz20-Nov-2013 20:02 928K 
[ ]12_4_s.21_support.wcnf.xz20-Nov-2013 20:02 1.4M 
[ ]12_4_s.binary.dzn.xz20-Nov-2013 20:03 3.4K 
[ ]12_4_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]12_4_s.binary.uai.xz20-Nov-2013 20:02 6.3K 
[ ]12_4_s.binary.wcsp.xz20-Nov-2013 20:02 3.3K 
[ ]12_4_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]12_4_s.binary_digit2.uai.xz20-Nov-2013 20:02 4.4K 
[ ]12_4_s.binary_direct.lp.xz20-Nov-2013 20:02 15K 
[ ]12_4_s.binary_direct.wcnf.xz20-Nov-2013 20:01 4.7K 
[ ]12_4_s.binary_support.lp.xz20-Nov-2013 20:00 18K 
[ ]12_4_s.binary_support.wcnf.xz20-Nov-2013 20:02 20K 
[ ]12_15_s.21.dzn.xz20-Nov-2013 20:00 81K 
[ ]12_15_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]12_15_s.21.uai.xz20-Nov-2013 20:02 608K 
[ ]12_15_s.21.wcsp.xz20-Nov-2013 20:03 81K 
[ ]12_15_s.21_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]12_15_s.21_digit2.uai.xz20-Nov-2013 20:02 124K 
[ ]12_15_s.21_direct.lp.xz20-Nov-2013 19:59 1.5M 
[ ]12_15_s.21_direct.wcnf.xz20-Nov-2013 20:01 369K 
[ ]12_15_s.21_support.lp.xz20-Nov-2013 20:00 957K 
[ ]12_15_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]12_15_s.binary.dzn.xz20-Nov-2013 20:02 3.5K 
[ ]12_15_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]12_15_s.binary.uai.xz20-Nov-2013 20:01 6.5K 
[ ]12_15_s.binary.wcsp.xz20-Nov-2013 20:00 3.4K 
[ ]12_15_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]12_15_s.binary_digit2.uai.xz20-Nov-2013 20:03 4.4K 
[ ]12_15_s.binary_direct.lp.xz20-Nov-2013 20:01 15K 
[ ]12_15_s.binary_direct.wcnf.xz20-Nov-2013 20:00 4.9K 
[ ]12_15_s.binary_support.lp.xz20-Nov-2013 20:03 19K 
[ ]12_15_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]12_20_s.21.dzn.xz20-Nov-2013 20:02 81K 
[ ]12_20_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]12_20_s.21.uai.xz20-Nov-2013 20:02 605K 
[ ]12_20_s.21.wcsp.xz20-Nov-2013 20:03 80K 
[ ]12_20_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]12_20_s.21_digit2.uai.xz20-Nov-2013 20:01 132K 
[ ]12_20_s.21_direct.lp.xz20-Nov-2013 20:01 1.5M 
[ ]12_20_s.21_direct.wcnf.xz20-Nov-2013 20:00 361K 
[ ]12_20_s.21_support.lp.xz20-Nov-2013 20:01 944K 
[ ]12_20_s.21_support.wcnf.xz20-Nov-2013 20:00 1.5M 
[ ]12_20_s.binary.dzn.xz20-Nov-2013 20:03 3.6K 
[ ]12_20_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]12_20_s.binary.uai.xz20-Nov-2013 20:00 6.4K 
[ ]12_20_s.binary.wcsp.xz20-Nov-2013 20:01 3.3K 
[ ]12_20_s.binary_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]12_20_s.binary_digit2.uai.xz20-Nov-2013 20:00 4.5K 
[ ]12_20_s.binary_direct.lp.xz20-Nov-2013 20:00 15K 
[ ]12_20_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.8K 
[ ]12_20_s.binary_support.lp.xz20-Nov-2013 20:00 18K 
[ ]12_20_s.binary_support.wcnf.xz20-Nov-2013 20:03 20K 
[ ]13_9_s.21.dzn.xz20-Nov-2013 20:03 80K 
[ ]13_9_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]13_9_s.21.uai.xz20-Nov-2013 20:02 595K 
[ ]13_9_s.21.wcsp.xz20-Nov-2013 20:03 80K 
[ ]13_9_s.21_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]13_9_s.21_digit2.uai.xz20-Nov-2013 20:00 141K 
[ ]13_9_s.21_direct.lp.xz20-Nov-2013 20:00 1.5M 
[ ]13_9_s.21_direct.wcnf.xz20-Nov-2013 20:03 379K 
[ ]13_9_s.21_support.lp.xz20-Nov-2013 20:03 954K 
[ ]13_9_s.21_support.wcnf.xz20-Nov-2013 20:03 1.5M 
[ ]13_9_s.binary.dzn.xz20-Nov-2013 20:03 3.6K 
[ ]13_9_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]13_9_s.binary.uai.xz20-Nov-2013 20:00 6.4K 
[ ]13_9_s.binary.wcsp.xz20-Nov-2013 20:03 3.5K 
[ ]13_9_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]13_9_s.binary_digit2.uai.xz20-Nov-2013 20:01 4.2K 
[ ]13_9_s.binary_direct.lp.xz20-Nov-2013 20:02 15K 
[ ]13_9_s.binary_direct.wcnf.xz20-Nov-2013 20:00 5.0K 
[ ]13_9_s.binary_support.lp.xz20-Nov-2013 20:02 18K 
[ ]13_9_s.binary_support.wcnf.xz20-Nov-2013 20:00 21K 
[ ]13_14_s.21.dzn.xz20-Nov-2013 20:03 79K 
[ ]13_14_s.21.uai.evid20-Nov-2013 20:00 1  
[ ]13_14_s.21.uai.xz20-Nov-2013 20:00 598K 
[ ]13_14_s.21.wcsp.xz20-Nov-2013 20:03 79K 
[ ]13_14_s.21_digit2.uai.evid20-Nov-2013 20:01 2  
[ ]13_14_s.21_digit2.uai.xz20-Nov-2013 20:00 134K 
[ ]13_14_s.21_direct.lp.xz20-Nov-2013 20:01 1.5M 
[ ]13_14_s.21_direct.wcnf.xz20-Nov-2013 20:03 376K 
[ ]13_14_s.21_support.lp.xz20-Nov-2013 20:03 963K 
[ ]13_14_s.21_support.wcnf.xz20-Nov-2013 20:00 1.5M 
[ ]13_14_s.binary.dzn.xz20-Nov-2013 20:00 3.4K 
[ ]13_14_s.binary.uai.evid20-Nov-2013 20:02 1  
[ ]13_14_s.binary.uai.xz20-Nov-2013 20:00 6.5K 
[ ]13_14_s.binary.wcsp.xz20-Nov-2013 20:03 3.4K 
[ ]13_14_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]13_14_s.binary_digit2.uai.xz20-Nov-2013 20:01 4.5K 
[ ]13_14_s.binary_direct.lp.xz20-Nov-2013 20:01 15K 
[ ]13_14_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.9K 
[ ]13_14_s.binary_support.lp.xz20-Nov-2013 20:02 18K 
[ ]13_14_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]13_30_s.21.dzn.xz20-Nov-2013 20:03 80K 
[ ]13_30_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]13_30_s.21.uai.xz20-Nov-2013 20:01 599K 
[ ]13_30_s.21.wcsp.xz20-Nov-2013 20:02 79K 
[ ]13_30_s.21_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]13_30_s.21_digit2.uai.xz20-Nov-2013 20:01 144K 
[ ]13_30_s.21_direct.lp.xz20-Nov-2013 20:02 1.5M 
[ ]13_30_s.21_direct.wcnf.xz20-Nov-2013 20:00 363K 
[ ]13_30_s.21_support.lp.xz20-Nov-2013 20:01 948K 
[ ]13_30_s.21_support.wcnf.xz20-Nov-2013 20:03 1.5M 
[ ]13_30_s.binary.dzn.xz20-Nov-2013 20:03 3.4K 
[ ]13_30_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]13_30_s.binary.uai.xz20-Nov-2013 20:02 6.4K 
[ ]13_30_s.binary.wcsp.xz20-Nov-2013 20:02 3.4K 
[ ]13_30_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]13_30_s.binary_digit2.uai.xz20-Nov-2013 20:03 4.0K 
[ ]13_30_s.binary_direct.lp.xz20-Nov-2013 20:02 15K 
[ ]13_30_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.8K 
[ ]13_30_s.binary_support.lp.xz20-Nov-2013 19:59 18K 
[ ]13_30_s.binary_support.wcnf.xz20-Nov-2013 20:03 20K 
[ ]14_26_s.21.dzn.xz20-Nov-2013 20:03 80K 
[ ]14_26_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]14_26_s.21.uai.xz20-Nov-2013 20:01 606K 
[ ]14_26_s.21.wcsp.xz20-Nov-2013 20:00 79K 
[ ]14_26_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]14_26_s.21_digit2.uai.xz20-Nov-2013 20:03 140K 
[ ]14_26_s.21_direct.lp.xz20-Nov-2013 20:02 1.5M 
[ ]14_26_s.21_direct.wcnf.xz20-Nov-2013 20:03 361K 
[ ]14_26_s.21_support.lp.xz20-Nov-2013 20:02 964K 
[ ]14_26_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]14_26_s.binary.dzn.xz20-Nov-2013 20:03 3.4K 
[ ]14_26_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]14_26_s.binary.uai.xz20-Nov-2013 20:03 6.5K 
[ ]14_26_s.binary.wcsp.xz20-Nov-2013 20:03 3.3K 
[ ]14_26_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]14_26_s.binary_digit2.uai.xz20-Nov-2013 20:01 4.2K 
[ ]14_26_s.binary_direct.lp.xz20-Nov-2013 20:03 15K 
[ ]14_26_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.8K 
[ ]14_26_s.binary_support.lp.xz20-Nov-2013 20:03 19K 
[ ]14_26_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]14_30_s.21.dzn.xz20-Nov-2013 20:00 78K 
[ ]14_30_s.21.uai.evid20-Nov-2013 20:01 1  
[ ]14_30_s.21.uai.xz20-Nov-2013 20:00 607K 
[ ]14_30_s.21.wcsp.xz20-Nov-2013 20:02 78K 
[ ]14_30_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]14_30_s.21_digit2.uai.xz20-Nov-2013 20:00 141K 
[ ]14_30_s.21_direct.lp.xz20-Nov-2013 20:00 1.5M 
[ ]14_30_s.21_direct.wcnf.xz20-Nov-2013 20:01 372K 
[ ]14_30_s.21_support.lp.xz20-Nov-2013 20:01 962K 
[ ]14_30_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]14_30_s.binary.dzn.xz20-Nov-2013 20:03 3.5K 
[ ]14_30_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]14_30_s.binary.uai.xz20-Nov-2013 20:02 6.5K 
[ ]14_30_s.binary.wcsp.xz20-Nov-2013 20:03 3.4K 
[ ]14_30_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]14_30_s.binary_digit2.uai.xz20-Nov-2013 20:01 4.5K 
[ ]14_30_s.binary_direct.lp.xz20-Nov-2013 20:03 15K 
[ ]14_30_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.9K 
[ ]14_30_s.binary_support.lp.xz20-Nov-2013 20:03 18K 
[ ]14_30_s.binary_support.wcnf.xz20-Nov-2013 20:00 21K 
[ ]15_3_s.21.dzn.xz20-Nov-2013 20:03 79K 
[ ]15_3_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]15_3_s.21.uai.xz20-Nov-2013 20:03 610K 
[ ]15_3_s.21.wcsp.xz20-Nov-2013 20:00 79K 
[ ]15_3_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]15_3_s.21_digit2.uai.xz20-Nov-2013 20:01 134K 
[ ]15_3_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]15_3_s.21_direct.wcnf.xz20-Nov-2013 20:03 368K 
[ ]15_3_s.21_support.lp.xz20-Nov-2013 20:00 960K 
[ ]15_3_s.21_support.wcnf.xz20-Nov-2013 20:02 1.5M 
[ ]15_3_s.binary.dzn.xz20-Nov-2013 20:03 3.4K 
[ ]15_3_s.binary.uai.evid20-Nov-2013 20:02 1  
[ ]15_3_s.binary.uai.xz20-Nov-2013 20:01 6.6K 
[ ]15_3_s.binary.wcsp.xz20-Nov-2013 20:03 3.4K 
[ ]15_3_s.binary_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]15_3_s.binary_digit2.uai.xz20-Nov-2013 20:02 4.1K 
[ ]15_3_s.binary_direct.lp.xz20-Nov-2013 20:03 15K 
[ ]15_3_s.binary_direct.wcnf.xz20-Nov-2013 20:01 4.8K 
[ ]15_3_s.binary_support.lp.xz20-Nov-2013 20:03 19K 
[ ]15_3_s.binary_support.wcnf.xz20-Nov-2013 20:01 21K 
[ ]16_16_s.21.dzn.xz20-Nov-2013 20:00 78K 
[ ]16_16_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]16_16_s.21.uai.xz20-Nov-2013 20:03 599K 
[ ]16_16_s.21.wcsp.xz20-Nov-2013 20:02 77K 
[ ]16_16_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]16_16_s.21_digit2.uai.xz20-Nov-2013 20:03 132K 
[ ]16_16_s.21_direct.lp.xz20-Nov-2013 19:59 1.4M 
[ ]16_16_s.21_direct.wcnf.xz20-Nov-2013 20:03 357K 
[ ]16_16_s.21_support.lp.xz20-Nov-2013 20:01 923K 
[ ]16_16_s.21_support.wcnf.xz20-Nov-2013 20:02 1.5M 
[ ]16_16_s.binary.dzn.xz20-Nov-2013 20:02 3.5K 
[ ]16_16_s.binary.uai.evid20-Nov-2013 20:00 1  
[ ]16_16_s.binary.uai.xz20-Nov-2013 20:01 6.3K 
[ ]16_16_s.binary.wcsp.xz20-Nov-2013 20:00 3.3K 
[ ]16_16_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]16_16_s.binary_digit2.uai.xz20-Nov-2013 20:02 4.4K 
[ ]16_16_s.binary_direct.lp.xz20-Nov-2013 20:02 15K 
[ ]16_16_s.binary_direct.wcnf.xz20-Nov-2013 20:01 4.7K 
[ ]16_16_s.binary_support.lp.xz20-Nov-2013 20:01 18K 
[ ]16_16_s.binary_support.wcnf.xz20-Nov-2013 20:01 20K 
[ ]16_18_s.21.dzn.xz20-Nov-2013 20:00 81K 
[ ]16_18_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]16_18_s.21.uai.xz20-Nov-2013 20:01 611K 
[ ]16_18_s.21.wcsp.xz20-Nov-2013 20:01 81K 
[ ]16_18_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]16_18_s.21_digit2.uai.xz20-Nov-2013 20:00 141K 
[ ]16_18_s.21_direct.lp.xz20-Nov-2013 19:59 1.5M 
[ ]16_18_s.21_direct.wcnf.xz20-Nov-2013 20:01 368K 
[ ]16_18_s.21_support.lp.xz20-Nov-2013 20:01 944K 
[ ]16_18_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]16_18_s.binary.dzn.xz20-Nov-2013 20:02 3.7K 
[ ]16_18_s.binary.uai.evid20-Nov-2013 20:00 1  
[ ]16_18_s.binary.uai.xz20-Nov-2013 20:02 6.6K 
[ ]16_18_s.binary.wcsp.xz20-Nov-2013 20:00 3.4K 
[ ]16_18_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]16_18_s.binary_digit2.uai.xz20-Nov-2013 20:00 4.5K 
[ ]16_18_s.binary_direct.lp.xz20-Nov-2013 20:00 15K 
[ ]16_18_s.binary_direct.wcnf.xz20-Nov-2013 20:01 4.9K 
[ ]16_18_s.binary_support.lp.xz20-Nov-2013 20:03 18K 
[ ]16_18_s.binary_support.wcnf.xz20-Nov-2013 20:01 21K 
[ ]17_4_s.21.dzn.xz20-Nov-2013 20:02 81K 
[ ]17_4_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]17_4_s.21.uai.xz20-Nov-2013 20:02 616K 
[ ]17_4_s.21.wcsp.xz20-Nov-2013 20:01 80K 
[ ]17_4_s.21_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]17_4_s.21_digit2.uai.xz20-Nov-2013 20:03 141K 
[ ]17_4_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]17_4_s.21_direct.wcnf.xz20-Nov-2013 20:03 375K 
[ ]17_4_s.21_support.lp.xz20-Nov-2013 20:03 1.0M 
[ ]17_4_s.21_support.wcnf.xz20-Nov-2013 19:59 1.5M 
[ ]17_4_s.binary.dzn.xz20-Nov-2013 20:03 3.6K 
[ ]17_4_s.binary.uai.evid20-Nov-2013 20:00 1  
[ ]17_4_s.binary.uai.xz20-Nov-2013 20:02 6.6K 
[ ]17_4_s.binary.wcsp.xz20-Nov-2013 20:02 3.4K 
[ ]17_4_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]17_4_s.binary_digit2.uai.xz20-Nov-2013 20:01 4.4K 
[ ]17_4_s.binary_direct.lp.xz20-Nov-2013 20:02 16K 
[ ]17_4_s.binary_direct.wcnf.xz20-Nov-2013 20:00 5.0K 
[ ]17_4_s.binary_support.lp.xz20-Nov-2013 20:03 19K 
[ ]17_4_s.binary_support.wcnf.xz20-Nov-2013 19:59 22K 
[ ]18_1_s.21.dzn.xz20-Nov-2013 20:02 79K 
[ ]18_1_s.21.uai.evid20-Nov-2013 20:01 1  
[ ]18_1_s.21.uai.xz20-Nov-2013 20:00 591K 
[ ]18_1_s.21.wcsp.xz20-Nov-2013 20:00 79K 
[ ]18_1_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]18_1_s.21_digit2.uai.xz20-Nov-2013 20:01 143K 
[ ]18_1_s.21_direct.lp.xz20-Nov-2013 20:03 1.4M 
[ ]18_1_s.21_direct.wcnf.xz20-Nov-2013 20:00 365K 
[ ]18_1_s.21_support.lp.xz20-Nov-2013 20:01 928K 
[ ]18_1_s.21_support.wcnf.xz20-Nov-2013 20:02 1.5M 
[ ]18_1_s.binary.dzn.xz20-Nov-2013 20:02 3.3K 
[ ]18_1_s.binary.uai.evid20-Nov-2013 20:00 1  
[ ]18_1_s.binary.uai.xz20-Nov-2013 20:00 6.3K 
[ ]18_1_s.binary.wcsp.xz20-Nov-2013 20:01 3.3K 
[ ]18_1_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]18_1_s.binary_digit2.uai.xz20-Nov-2013 20:03 4.3K 
[ ]18_1_s.binary_direct.lp.xz20-Nov-2013 20:03 15K 
[ ]18_1_s.binary_direct.wcnf.xz20-Nov-2013 20:00 4.6K 
[ ]18_1_s.binary_support.lp.xz20-Nov-2013 20:01 18K 
[ ]18_1_s.binary_support.wcnf.xz20-Nov-2013 20:01 20K 
[ ]18_10_s.21.dzn.xz20-Nov-2013 20:03 77K 
[ ]18_10_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]18_10_s.21.uai.xz20-Nov-2013 20:03 595K 
[ ]18_10_s.21.wcsp.xz20-Nov-2013 20:01 78K 
[ ]18_10_s.21_digit2.uai.evid20-Nov-2013 20:01 2  
[ ]18_10_s.21_digit2.uai.xz20-Nov-2013 20:01 132K 
[ ]18_10_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]18_10_s.21_direct.wcnf.xz20-Nov-2013 20:03 354K 
[ ]18_10_s.21_support.lp.xz20-Nov-2013 20:03 951K 
[ ]18_10_s.21_support.wcnf.xz20-Nov-2013 19:59 1.5M 
[ ]18_10_s.binary.dzn.xz20-Nov-2013 20:02 3.4K 
[ ]18_10_s.binary.uai.evid20-Nov-2013 20:00 1  
[ ]18_10_s.binary.uai.xz20-Nov-2013 20:00 6.4K 
[ ]18_10_s.binary.wcsp.xz20-Nov-2013 20:00 3.4K 
[ ]18_10_s.binary_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]18_10_s.binary_digit2.uai.xz20-Nov-2013 20:00 4.5K 
[ ]18_10_s.binary_direct.lp.xz20-Nov-2013 20:01 15K 
[ ]18_10_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.9K 
[ ]18_10_s.binary_support.lp.xz20-Nov-2013 20:01 18K 
[ ]18_10_s.binary_support.wcnf.xz20-Nov-2013 20:01 21K 
[ ]18_11_s.21.dzn.xz20-Nov-2013 20:02 78K 
[ ]18_11_s.21.uai.evid20-Nov-2013 20:00 1  
[ ]18_11_s.21.uai.xz20-Nov-2013 20:01 584K 
[ ]18_11_s.21.wcsp.xz20-Nov-2013 20:00 77K 
[ ]18_11_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]18_11_s.21_digit2.uai.xz20-Nov-2013 20:01 135K 
[ ]18_11_s.21_direct.lp.xz20-Nov-2013 19:59 1.4M 
[ ]18_11_s.21_direct.wcnf.xz20-Nov-2013 20:03 354K 
[ ]18_11_s.21_support.lp.xz20-Nov-2013 20:02 927K 
[ ]18_11_s.21_support.wcnf.xz20-Nov-2013 20:03 1.4M 
[ ]18_11_s.binary.dzn.xz20-Nov-2013 20:00 3.4K 
[ ]18_11_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]18_11_s.binary.uai.xz20-Nov-2013 20:01 6.3K 
[ ]18_11_s.binary.wcsp.xz20-Nov-2013 20:01 3.3K 
[ ]18_11_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]18_11_s.binary_digit2.uai.xz20-Nov-2013 20:01 4.1K 
[ ]18_11_s.binary_direct.lp.xz20-Nov-2013 19:59 15K 
[ ]18_11_s.binary_direct.wcnf.xz20-Nov-2013 20:02 4.7K 
[ ]18_11_s.binary_support.lp.xz20-Nov-2013 20:00 18K 
[ ]18_11_s.binary_support.wcnf.xz20-Nov-2013 20:03 20K 
[ ]18_21_s.21.dzn.xz20-Nov-2013 20:00 80K 
[ ]18_21_s.21.uai.evid20-Nov-2013 20:01 1  
[ ]18_21_s.21.uai.xz20-Nov-2013 20:00 602K 
[ ]18_21_s.21.wcsp.xz20-Nov-2013 20:00 80K 
[ ]18_21_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]18_21_s.21_digit2.uai.xz20-Nov-2013 20:00 127K 
[ ]18_21_s.21_direct.lp.xz20-Nov-2013 19:59 1.5M 
[ ]18_21_s.21_direct.wcnf.xz20-Nov-2013 20:03 360K 
[ ]18_21_s.21_support.lp.xz20-Nov-2013 20:03 954K 
[ ]18_21_s.21_support.wcnf.xz20-Nov-2013 20:03 1.5M 
[ ]18_21_s.binary.dzn.xz20-Nov-2013 20:02 3.4K 
[ ]18_21_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]18_21_s.binary.uai.xz20-Nov-2013 20:01 6.5K 
[ ]18_21_s.binary.wcsp.xz20-Nov-2013 20:02 3.4K 
[ ]18_21_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]18_21_s.binary_digit2.uai.xz20-Nov-2013 20:00 4.3K 
[ ]18_21_s.binary_direct.lp.xz20-Nov-2013 20:03 15K 
[ ]18_21_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.8K 
[ ]18_21_s.binary_support.lp.xz20-Nov-2013 20:00 18K 
[ ]18_21_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]18_30_s.21.dzn.xz20-Nov-2013 20:01 79K 
[ ]18_30_s.21.uai.evid20-Nov-2013 20:01 1  
[ ]18_30_s.21.uai.xz20-Nov-2013 20:00 608K 
[ ]18_30_s.21.wcsp.xz20-Nov-2013 20:02 79K 
[ ]18_30_s.21_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]18_30_s.21_digit2.uai.xz20-Nov-2013 20:02 137K 
[ ]18_30_s.21_direct.lp.xz20-Nov-2013 19:59 1.5M 
[ ]18_30_s.21_direct.wcnf.xz20-Nov-2013 20:03 374K 
[ ]18_30_s.21_support.lp.xz20-Nov-2013 20:03 959K 
[ ]18_30_s.21_support.wcnf.xz20-Nov-2013 20:02 1.5M 
[ ]18_30_s.binary.dzn.xz20-Nov-2013 20:01 3.5K 
[ ]18_30_s.binary.uai.evid20-Nov-2013 20:02 1  
[ ]18_30_s.binary.uai.xz20-Nov-2013 20:02 6.4K 
[ ]18_30_s.binary.wcsp.xz20-Nov-2013 20:00 3.3K 
[ ]18_30_s.binary_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]18_30_s.binary_digit2.uai.xz20-Nov-2013 20:02 4.3K 
[ ]18_30_s.binary_direct.lp.xz20-Nov-2013 20:01 15K 
[ ]18_30_s.binary_direct.wcnf.xz20-Nov-2013 20:00 4.8K 
[ ]18_30_s.binary_support.lp.xz20-Nov-2013 19:59 18K 
[ ]18_30_s.binary_support.wcnf.xz20-Nov-2013 20:00 21K 
[ ]19_4_s.21.dzn.xz20-Nov-2013 20:03 78K 
[ ]19_4_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]19_4_s.21.uai.xz20-Nov-2013 20:00 610K 
[ ]19_4_s.21.wcsp.xz20-Nov-2013 20:03 79K 
[ ]19_4_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]19_4_s.21_digit2.uai.xz20-Nov-2013 20:03 132K 
[ ]19_4_s.21_direct.lp.xz20-Nov-2013 20:00 1.5M 
[ ]19_4_s.21_direct.wcnf.xz20-Nov-2013 20:03 355K 
[ ]19_4_s.21_support.lp.xz20-Nov-2013 20:02 949K 
[ ]19_4_s.21_support.wcnf.xz20-Nov-2013 19:59 1.5M 
[ ]19_4_s.binary.dzn.xz20-Nov-2013 20:01 3.6K 
[ ]19_4_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]19_4_s.binary.uai.xz20-Nov-2013 20:00 6.5K 
[ ]19_4_s.binary.wcsp.xz20-Nov-2013 20:02 3.4K 
[ ]19_4_s.binary_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]19_4_s.binary_digit2.uai.xz20-Nov-2013 20:03 4.5K 
[ ]19_4_s.binary_direct.lp.xz20-Nov-2013 19:59 15K 
[ ]19_4_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.8K 
[ ]19_4_s.binary_support.lp.xz20-Nov-2013 20:02 18K 
[ ]19_4_s.binary_support.wcnf.xz20-Nov-2013 20:01 21K 
[ ]19_12_s.21.dzn.xz20-Nov-2013 20:00 80K 
[ ]19_12_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]19_12_s.21.uai.xz20-Nov-2013 20:02 612K 
[ ]19_12_s.21.wcsp.xz20-Nov-2013 20:03 80K 
[ ]19_12_s.21_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]19_12_s.21_digit2.uai.xz20-Nov-2013 20:01 130K 
[ ]19_12_s.21_direct.lp.xz20-Nov-2013 19:59 1.5M 
[ ]19_12_s.21_direct.wcnf.xz20-Nov-2013 20:03 359K 
[ ]19_12_s.21_support.lp.xz20-Nov-2013 20:03 942K 
[ ]19_12_s.21_support.wcnf.xz20-Nov-2013 20:03 1.5M 
[ ]19_12_s.binary.dzn.xz20-Nov-2013 20:03 3.5K 
[ ]19_12_s.binary.uai.evid20-Nov-2013 20:02 1  
[ ]19_12_s.binary.uai.xz20-Nov-2013 20:00 6.5K 
[ ]19_12_s.binary.wcsp.xz20-Nov-2013 20:02 3.4K 
[ ]19_12_s.binary_digit2.uai.evid20-Nov-2013 20:01 2  
[ ]19_12_s.binary_digit2.uai.xz20-Nov-2013 20:02 4.2K 
[ ]19_12_s.binary_direct.lp.xz20-Nov-2013 19:59 15K 
[ ]19_12_s.binary_direct.wcnf.xz20-Nov-2013 20:02 4.7K 
[ ]19_12_s.binary_support.lp.xz20-Nov-2013 20:02 19K 
[ ]19_12_s.binary_support.wcnf.xz20-Nov-2013 20:01 21K 
[ ]19_20_s.21.dzn.xz20-Nov-2013 20:01 79K 
[ ]19_20_s.21.uai.evid20-Nov-2013 20:00 1  
[ ]19_20_s.21.uai.xz20-Nov-2013 20:03 612K 
[ ]19_20_s.21.wcsp.xz20-Nov-2013 20:01 79K 
[ ]19_20_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]19_20_s.21_digit2.uai.xz20-Nov-2013 20:00 125K 
[ ]19_20_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]19_20_s.21_direct.wcnf.xz20-Nov-2013 20:02 368K 
[ ]19_20_s.21_support.lp.xz20-Nov-2013 20:00 1.0M 
[ ]19_20_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]19_20_s.binary.dzn.xz20-Nov-2013 20:00 3.5K 
[ ]19_20_s.binary.uai.evid20-Nov-2013 20:01 1  
[ ]19_20_s.binary.uai.xz20-Nov-2013 20:00 6.5K 
[ ]19_20_s.binary.wcsp.xz20-Nov-2013 20:03 3.4K 
[ ]19_20_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]19_20_s.binary_digit2.uai.xz20-Nov-2013 20:00 4.6K 
[ ]19_20_s.binary_direct.lp.xz20-Nov-2013 20:02 15K 
[ ]19_20_s.binary_direct.wcnf.xz20-Nov-2013 20:03 4.9K 
[ ]19_20_s.binary_support.lp.xz20-Nov-2013 20:00 18K 
[ ]19_20_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]19_25_s.21.dzn.xz20-Nov-2013 20:02 79K 
[ ]19_25_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]19_25_s.21.uai.xz20-Nov-2013 20:00 603K 
[ ]19_25_s.21.wcsp.xz20-Nov-2013 20:03 79K 
[ ]19_25_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]19_25_s.21_digit2.uai.xz20-Nov-2013 20:01 139K 
[ ]19_25_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]19_25_s.21_direct.wcnf.xz20-Nov-2013 20:03 360K 
[ ]19_25_s.21_support.lp.xz20-Nov-2013 20:00 1.0M 
[ ]19_25_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]19_25_s.binary.dzn.xz20-Nov-2013 20:02 3.5K 
[ ]19_25_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]19_25_s.binary.uai.xz20-Nov-2013 20:03 6.5K 
[ ]19_25_s.binary.wcsp.xz20-Nov-2013 20:03 3.4K 
[ ]19_25_s.binary_digit2.uai.evid20-Nov-2013 20:02 2  
[ ]19_25_s.binary_digit2.uai.xz20-Nov-2013 20:03 4.6K 
[ ]19_25_s.binary_direct.lp.xz20-Nov-2013 20:03 15K 
[ ]19_25_s.binary_direct.wcnf.xz20-Nov-2013 20:00 4.9K 
[ ]19_25_s.binary_support.lp.xz20-Nov-2013 20:00 18K 
[ ]19_25_s.binary_support.wcnf.xz20-Nov-2013 20:03 21K 
[ ]20_5_s.21.dzn.xz20-Nov-2013 20:01 80K 
[ ]20_5_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]20_5_s.21.uai.xz20-Nov-2013 20:03 614K 
[ ]20_5_s.21.wcsp.xz20-Nov-2013 20:02 80K 
[ ]20_5_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]20_5_s.21_digit2.uai.xz20-Nov-2013 20:02 137K 
[ ]20_5_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]20_5_s.21_direct.wcnf.xz20-Nov-2013 20:02 372K 
[ ]20_5_s.21_support.lp.xz20-Nov-2013 19:59 1.0M 
[ ]20_5_s.21_support.wcnf.xz20-Nov-2013 20:00 1.5M 
[ ]20_5_s.binary.dzn.xz20-Nov-2013 20:02 3.4K 
[ ]20_5_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]20_5_s.binary.uai.xz20-Nov-2013 20:02 6.5K 
[ ]20_5_s.binary.wcsp.xz20-Nov-2013 20:03 3.3K 
[ ]20_5_s.binary_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]20_5_s.binary_digit2.uai.xz20-Nov-2013 20:03 4.5K 
[ ]20_5_s.binary_direct.lp.xz20-Nov-2013 20:01 15K 
[ ]20_5_s.binary_direct.wcnf.xz20-Nov-2013 20:00 4.8K 
[ ]20_5_s.binary_support.lp.xz20-Nov-2013 20:01 19K 
[ ]20_5_s.binary_support.wcnf.xz20-Nov-2013 20:03 21K 
[ ]20_9_s.21.dzn.xz20-Nov-2013 20:03 79K 
[ ]20_9_s.21.uai.evid20-Nov-2013 20:03 1  
[ ]20_9_s.21.uai.xz20-Nov-2013 20:00 616K 
[ ]20_9_s.21.wcsp.xz20-Nov-2013 20:02 79K 
[ ]20_9_s.21_digit2.uai.evid20-Nov-2013 20:00 2  
[ ]20_9_s.21_digit2.uai.xz20-Nov-2013 20:00 130K 
[ ]20_9_s.21_direct.lp.xz20-Nov-2013 20:03 1.5M 
[ ]20_9_s.21_direct.wcnf.xz20-Nov-2013 20:02 363K 
[ ]20_9_s.21_support.lp.xz20-Nov-2013 20:01 966K 
[ ]20_9_s.21_support.wcnf.xz20-Nov-2013 20:02 1.5M 
[ ]20_9_s.binary.dzn.xz20-Nov-2013 20:03 3.4K 
[ ]20_9_s.binary.uai.evid20-Nov-2013 20:02 1  
[ ]20_9_s.binary.uai.xz20-Nov-2013 20:00 6.5K 
[ ]20_9_s.binary.wcsp.xz20-Nov-2013 20:00 3.3K 
[ ]20_9_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]20_9_s.binary_digit2.uai.xz20-Nov-2013 20:00 4.3K 
[ ]20_9_s.binary_direct.lp.xz20-Nov-2013 20:03 15K 
[ ]20_9_s.binary_direct.wcnf.xz20-Nov-2013 20:02 4.7K 
[ ]20_9_s.binary_support.lp.xz20-Nov-2013 20:02 19K 
[ ]20_9_s.binary_support.wcnf.xz20-Nov-2013 20:02 21K 
[ ]20_12_s.21.dzn.xz20-Nov-2013 20:03 78K 
[ ]20_12_s.21.uai.evid20-Nov-2013 20:02 1  
[ ]20_12_s.21.uai.xz20-Nov-2013 20:03 600K 
[ ]20_12_s.21.wcsp.xz20-Nov-2013 20:03 78K 
[ ]20_12_s.21_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]20_12_s.21_digit2.uai.xz20-Nov-2013 20:00 132K 
[ ]20_12_s.21_direct.lp.xz20-Nov-2013 20:02 1.4M 
[ ]20_12_s.21_direct.wcnf.xz20-Nov-2013 20:02 361K 
[ ]20_12_s.21_support.lp.xz20-Nov-2013 20:03 937K 
[ ]20_12_s.21_support.wcnf.xz20-Nov-2013 20:01 1.5M 
[ ]20_12_s.binary.dzn.xz20-Nov-2013 20:01 3.5K 
[ ]20_12_s.binary.uai.evid20-Nov-2013 20:03 1  
[ ]20_12_s.binary.uai.xz20-Nov-2013 20:03 6.4K 
[ ]20_12_s.binary.wcsp.xz20-Nov-2013 20:02 3.3K 
[ ]20_12_s.binary_digit2.uai.evid20-Nov-2013 20:03 2  
[ ]20_12_s.binary_digit2.uai.xz20-Nov-2013 20:03 4.5K 
[ ]20_12_s.binary_direct.lp.xz20-Nov-2013 19:59 15K 
[ ]20_12_s.binary_direct.wcnf.xz20-Nov-2013 20:02 4.7K 
[ ]20_12_s.binary_support.lp.xz20-Nov-2013 20:01 18K 
[ ]20_12_s.binary_support.wcnf.xz20-Nov-2013 20:00 21K 
[ ]wcsp.mzn20-Nov-2013 20:03 3.9K