Index of /~degivry/evalgm/WPMS/MaxClique

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[ ]MANN_a9.clq.dzn.xz20-Nov-2013 19:13 392  
[ ]MANN_a9.clq.uai.evid20-Nov-2013 19:13 2  
[ ]MANN_a9.clq.uai.xz20-Nov-2013 19:13 340  
[ ]MANN_a9.clq.wcnf.xz20-Nov-2013 19:13 548  
[ ]MANN_a9.clq.wcsp.xz20-Nov-2013 19:13 352  
[ ]MANN_a9.clq_direct.lp.xz20-Nov-2013 19:13 488  
[ ]MANN_a9.clq_support.lp.xz20-Nov-2013 19:13 1.8K 
[ ]MANN_a27.clq.dzn.xz20-Nov-2013 19:13 1.6K 
[ ]MANN_a27.clq.uai.evid20-Nov-2013 19:13 2  
[ ]MANN_a27.clq.uai.xz20-Nov-2013 19:13 1.3K 
[ ]MANN_a27.clq.wcnf.xz20-Nov-2013 19:13 1.9K 
[ ]MANN_a27.clq.wcsp.xz20-Nov-2013 19:13 1.4K 
[ ]MANN_a27.clq_direct.lp.xz20-Nov-2013 19:13 2.2K 
[ ]MANN_a27.clq_support.lp.xz20-Nov-2013 19:13 15K 
[ ]MANN_a45.clq.dzn.xz20-Nov-2013 19:13 3.5K 
[ ]MANN_a45.clq.uai.evid20-Nov-2013 19:13 2  
[ ]MANN_a45.clq.uai.xz20-Nov-2013 19:13 3.0K 
[ ]MANN_a45.clq.wcnf.xz20-Nov-2013 19:13 4.1K 
[ ]MANN_a45.clq.wcsp.xz20-Nov-2013 19:13 3.4K 
[ ]MANN_a45.clq_direct.lp.xz20-Nov-2013 19:13 5.2K 
[ ]MANN_a45.clq_support.lp.xz20-Nov-2013 19:13 36K 
[ ]MANN_a81.clq.dzn.xz20-Nov-2013 19:13 10K 
[ ]MANN_a81.clq.uai.evid20-Nov-2013 19:13 2  
[ ]MANN_a81.clq.uai.xz20-Nov-2013 19:13 8.7K 
[ ]MANN_a81.clq.wcnf.xz20-Nov-2013 19:13 9.8K 
[ ]MANN_a81.clq.wcsp.xz20-Nov-2013 19:13 9.8K 
[ ]MANN_a81.clq_direct.lp.xz20-Nov-2013 19:13 16K 
[ ]MANN_a81.clq_support.lp.xz20-Nov-2013 19:13 121K 
[ ]brock200_1.clq.dzn.xz20-Nov-2013 19:13 5.0K 
[ ]brock200_1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]brock200_1.clq.uai.xz20-Nov-2013 19:13 4.7K 
[ ]brock200_1.clq.wcnf.xz20-Nov-2013 19:13 5.1K 
[ ]brock200_1.clq.wcsp.xz20-Nov-2013 19:13 4.8K 
[ ]brock200_1.clq_direct.lp.xz20-Nov-2013 19:13 5.4K 
[ ]brock200_1.clq_support.lp.xz20-Nov-2013 19:13 70K 
[ ]brock200_2.clq.dzn.xz20-Nov-2013 19:13 7.1K 
[ ]brock200_2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]brock200_2.clq.uai.xz20-Nov-2013 19:13 6.9K 
[ ]brock200_2.clq.wcnf.xz20-Nov-2013 19:13 7.6K 
[ ]brock200_2.clq.wcsp.xz20-Nov-2013 19:13 7.1K 
[ ]brock200_2.clq_direct.lp.xz20-Nov-2013 19:13 8.0K 
[ ]brock200_2.clq_support.lp.xz20-Nov-2013 19:13 123K 
[ ]brock200_3.clq.dzn.xz20-Nov-2013 19:13 6.3K 
[ ]brock200_3.clq.uai.evid20-Nov-2013 19:13 2  
[ ]brock200_3.clq.uai.xz20-Nov-2013 19:13 6.0K 
[ ]brock200_3.clq.wcnf.xz20-Nov-2013 19:13 6.7K 
[ ]brock200_3.clq.wcsp.xz20-Nov-2013 19:13 6.3K 
[ ]brock200_3.clq_direct.lp.xz20-Nov-2013 19:13 6.9K 
[ ]brock200_3.clq_support.lp.xz20-Nov-2013 19:13 101K 
[ ]brock200_4.clq.dzn.xz20-Nov-2013 19:13 5.8K 
[ ]brock200_4.clq.uai.evid20-Nov-2013 19:13 2  
[ ]brock200_4.clq.uai.xz20-Nov-2013 19:13 5.6K 
[ ]brock200_4.clq.wcnf.xz20-Nov-2013 19:13 5.9K 
[ ]brock200_4.clq.wcsp.xz20-Nov-2013 19:13 6.0K 
[ ]brock200_4.clq_direct.lp.xz20-Nov-2013 19:13 6.4K 
[ ]brock200_4.clq_support.lp.xz20-Nov-2013 19:13 88K 
[ ]brock400_1.clq.dzn.xz20-Nov-2013 19:13 16K 
[ ]brock400_1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]brock400_1.clq.uai.xz20-Nov-2013 19:13 16K 
[ ]brock400_1.clq.wcnf.xz20-Nov-2013 19:13 16K 
[ ]brock400_1.clq.wcsp.xz20-Nov-2013 19:13 16K 
[ ]brock400_1.clq_direct.lp.xz20-Nov-2013 19:13 18K 
[ ]brock400_1.clq_support.lp.xz20-Nov-2013 19:13 260K 
[ ]brock400_2.clq.dzn.xz20-Nov-2013 19:13 16K 
[ ]brock400_2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]brock400_2.clq.uai.xz20-Nov-2013 19:13 16K 
[ ]brock400_2.clq.wcnf.xz20-Nov-2013 19:13 16K 
[ ]brock400_2.clq.wcsp.xz20-Nov-2013 19:13 16K 
[ ]brock400_2.clq_direct.lp.xz20-Nov-2013 19:13 18K 
[ ]brock400_2.clq_support.lp.xz20-Nov-2013 19:13 252K 
[ ]brock400_3.clq.dzn.xz20-Nov-2013 19:13 16K 
[ ]brock400_3.clq.uai.evid20-Nov-2013 19:13 2  
[ ]brock400_3.clq.uai.xz20-Nov-2013 19:14 16K 
[ ]brock400_3.clq.wcnf.xz20-Nov-2013 19:13 16K 
[ ]brock400_3.clq.wcsp.xz20-Nov-2013 19:13 17K 
[ ]brock400_3.clq_direct.lp.xz20-Nov-2013 19:13 18K 
[ ]brock400_3.clq_support.lp.xz20-Nov-2013 19:13 255K 
[ ]brock400_4.clq.dzn.xz20-Nov-2013 19:13 16K 
[ ]brock400_4.clq.uai.evid20-Nov-2013 19:13 2  
[ ]brock400_4.clq.uai.xz20-Nov-2013 19:13 16K 
[ ]brock400_4.clq.wcnf.xz20-Nov-2013 19:13 17K 
[ ]brock400_4.clq.wcsp.xz20-Nov-2013 19:13 16K 
[ ]brock400_4.clq_direct.lp.xz20-Nov-2013 19:13 18K 
[ ]brock400_4.clq_support.lp.xz20-Nov-2013 19:13 249K 
[ ]brock800_1.clq.dzn.xz20-Nov-2013 19:13 70K 
[ ]brock800_1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]brock800_1.clq.uai.xz20-Nov-2013 19:13 70K 
[ ]brock800_1.clq.wcnf.xz20-Nov-2013 19:13 70K 
[ ]brock800_1.clq.wcsp.xz20-Nov-2013 19:13 75K 
[ ]brock800_1.clq_direct.lp.xz20-Nov-2013 19:13 80K 
[ ]brock800_1.clq_support.lp.xz20-Nov-2013 19:13 1.3M 
[ ]brock800_2.clq.dzn.xz20-Nov-2013 19:13 71K 
[ ]brock800_2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]brock800_2.clq.uai.xz20-Nov-2013 19:13 70K 
[ ]brock800_2.clq.wcnf.xz20-Nov-2013 19:13 70K 
[ ]brock800_2.clq.wcsp.xz20-Nov-2013 19:13 74K 
[ ]brock800_2.clq_direct.lp.xz20-Nov-2013 19:13 81K 
[ ]brock800_2.clq_support.lp.xz20-Nov-2013 19:13 1.4M 
[ ]brock800_3.clq.dzn.xz20-Nov-2013 19:13 70K 
[ ]brock800_3.clq.uai.evid20-Nov-2013 19:13 2  
[ ]brock800_3.clq.uai.xz20-Nov-2013 19:13 70K 
[ ]brock800_3.clq.wcnf.xz20-Nov-2013 19:13 70K 
[ ]brock800_3.clq.wcsp.xz20-Nov-2013 19:13 73K 
[ ]brock800_3.clq_direct.lp.xz20-Nov-2013 19:13 81K 
[ ]brock800_3.clq_support.lp.xz20-Nov-2013 19:14 1.3M 
[ ]brock800_4.clq.dzn.xz20-Nov-2013 19:13 71K 
[ ]brock800_4.clq.uai.evid20-Nov-2013 19:13 2  
[ ]brock800_4.clq.uai.xz20-Nov-2013 19:13 70K 
[ ]brock800_4.clq.wcnf.xz20-Nov-2013 19:13 70K 
[ ]brock800_4.clq.wcsp.xz20-Nov-2013 19:13 77K 
[ ]brock800_4.clq_direct.lp.xz20-Nov-2013 19:13 80K 
[ ]brock800_4.clq_support.lp.xz20-Nov-2013 19:13 1.3M 
[ ]c-fat200-1.clq.dzn.xz20-Nov-2013 19:13 7.4K 
[ ]c-fat200-1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]c-fat200-1.clq.uai.xz20-Nov-2013 19:14 6.9K 
[ ]c-fat200-1.clq.wcnf.xz20-Nov-2013 19:13 8.0K 
[ ]c-fat200-1.clq.wcsp.xz20-Nov-2013 19:13 8.6K 
[ ]c-fat200-1.clq_direct.lp.xz20-Nov-2013 19:13 9.0K 
[ ]c-fat200-1.clq_support.lp.xz20-Nov-2013 19:13 179K 
[ ]c-fat200-2.clq.dzn.xz20-Nov-2013 19:13 8.0K 
[ ]c-fat200-2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]c-fat200-2.clq.uai.xz20-Nov-2013 19:13 7.8K 
[ ]c-fat200-2.clq.wcnf.xz20-Nov-2013 19:13 8.2K 
[ ]c-fat200-2.clq.wcsp.xz20-Nov-2013 19:13 8.7K 
[ ]c-fat200-2.clq_direct.lp.xz20-Nov-2013 19:13 9.1K 
[ ]c-fat200-2.clq_support.lp.xz20-Nov-2013 19:13 164K 
[ ]c-fat200-5.clq.dzn.xz20-Nov-2013 19:13 7.3K 
[ ]c-fat200-5.clq.uai.evid20-Nov-2013 19:13 2  
[ ]c-fat200-5.clq.uai.xz20-Nov-2013 19:13 7.3K 
[ ]c-fat200-5.clq.wcnf.xz20-Nov-2013 19:13 7.5K 
[ ]c-fat200-5.clq.wcsp.xz20-Nov-2013 19:13 9.2K 
[ ]c-fat200-5.clq_direct.lp.xz20-Nov-2013 19:13 7.9K 
[ ]c-fat200-5.clq_support.lp.xz20-Nov-2013 19:13 128K 
[ ]c-fat500-1.clq.dzn.xz20-Nov-2013 19:13 27K 
[ ]c-fat500-1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]c-fat500-1.clq.uai.xz20-Nov-2013 19:14 25K 
[ ]c-fat500-1.clq.wcnf.xz20-Nov-2013 19:13 28K 
[ ]c-fat500-1.clq.wcsp.xz20-Nov-2013 19:14 36K 
[ ]c-fat500-1.clq_direct.lp.xz20-Nov-2013 19:13 38K 
[ ]c-fat500-1.clq_support.lp.xz20-Nov-2013 19:13 1.1M 
[ ]c-fat500-2.clq.dzn.xz20-Nov-2013 19:13 30K 
[ ]c-fat500-2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]c-fat500-2.clq.uai.xz20-Nov-2013 19:13 29K 
[ ]c-fat500-2.clq.wcnf.xz20-Nov-2013 19:13 31K 
[ ]c-fat500-2.clq.wcsp.xz20-Nov-2013 19:13 37K 
[ ]c-fat500-2.clq_direct.lp.xz20-Nov-2013 19:13 38K 
[ ]c-fat500-2.clq_support.lp.xz20-Nov-2013 19:14 1.0M 
[ ]c-fat500-5.clq.dzn.xz20-Nov-2013 19:13 35K 
[ ]c-fat500-5.clq.uai.evid20-Nov-2013 19:13 2  
[ ]c-fat500-5.clq.uai.xz20-Nov-2013 19:13 36K 
[ ]c-fat500-5.clq.wcnf.xz20-Nov-2013 19:13 39K 
[ ]c-fat500-5.clq.wcsp.xz20-Nov-2013 19:13 41K 
[ ]c-fat500-5.clq_direct.lp.xz20-Nov-2013 19:13 46K 
[ ]c-fat500-5.clq_support.lp.xz20-Nov-2013 19:13 1.0M 
[ ]c-fat500-10.clq.dzn.xz20-Nov-2013 19:13 37K 
[ ]c-fat500-10.clq.uai.evid20-Nov-2013 19:13 2  
[ ]c-fat500-10.clq.uai.xz20-Nov-2013 19:13 37K 
[ ]c-fat500-10.clq.wcnf.xz20-Nov-2013 19:13 37K 
[ ]c-fat500-10.clq.wcsp.xz20-Nov-2013 19:13 40K 
[ ]c-fat500-10.clq_direct.lp.xz20-Nov-2013 19:13 42K 
[ ]c-fat500-10.clq_support.lp.xz20-Nov-2013 19:13 872K 
[ ]hamming6-2.clq.dzn.xz20-Nov-2013 19:13 612  
[ ]hamming6-2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]hamming6-2.clq.uai.xz20-Nov-2013 19:13 556  
[ ]hamming6-2.clq.wcnf.xz20-Nov-2013 19:13 712  
[ ]hamming6-2.clq.wcsp.xz20-Nov-2013 19:13 580  
[ ]hamming6-2.clq_direct.lp.xz20-Nov-2013 19:13 824  
[ ]hamming6-2.clq_support.lp.xz20-Nov-2013 19:13 4.0K 
[ ]hamming6-4.clq.dzn.xz20-Nov-2013 19:13 1.1K 
[ ]hamming6-4.clq.uai.evid20-Nov-2013 19:13 2  
[ ]hamming6-4.clq.uai.xz20-Nov-2013 19:13 1.1K 
[ ]hamming6-4.clq.wcnf.xz20-Nov-2013 19:14 1.6K 
[ ]hamming6-4.clq.wcsp.xz20-Nov-2013 19:13 1.5K 
[ ]hamming6-4.clq_direct.lp.xz20-Nov-2013 19:13 1.6K 
[ ]hamming6-4.clq_support.lp.xz20-Nov-2013 19:14 15K 
[ ]hamming8-2.clq.dzn.xz20-Nov-2013 19:13 2.3K 
[ ]hamming8-2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]hamming8-2.clq.uai.xz20-Nov-2013 19:13 2.1K 
[ ]hamming8-2.clq.wcnf.xz20-Nov-2013 19:13 2.2K 
[ ]hamming8-2.clq.wcsp.xz20-Nov-2013 19:13 2.0K 
[ ]hamming8-2.clq_direct.lp.xz20-Nov-2013 19:13 2.7K 
[ ]hamming8-2.clq_support.lp.xz20-Nov-2013 19:13 20K 
[ ]hamming8-4.clq.dzn.xz20-Nov-2013 19:13 8.7K 
[ ]hamming8-4.clq.uai.evid20-Nov-2013 19:13 2  
[ ]hamming8-4.clq.uai.xz20-Nov-2013 19:13 8.4K 
[ ]hamming8-4.clq.wcnf.xz20-Nov-2013 19:13 8.8K 
[ ]hamming8-4.clq.wcsp.xz20-Nov-2013 19:13 8.6K 
[ ]hamming8-4.clq_direct.lp.xz20-Nov-2013 19:13 9.6K 
[ ]hamming8-4.clq_support.lp.xz20-Nov-2013 19:13 149K 
[ ]hamming10-2.clq.dzn.xz20-Nov-2013 19:13 9.5K 
[ ]hamming10-2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]hamming10-2.clq.uai.xz20-Nov-2013 19:13 8.4K 
[ ]hamming10-2.clq.wcnf.xz20-Nov-2013 19:13 9.2K 
[ ]hamming10-2.clq.wcsp.xz20-Nov-2013 19:13 9.2K 
[ ]hamming10-2.clq_direct.lp.xz20-Nov-2013 19:13 11K 
[ ]hamming10-2.clq_support.lp.xz20-Nov-2013 19:13 88K 
[ ]hamming10-4.clq.dzn.xz20-Nov-2013 19:13 71K 
[ ]hamming10-4.clq.uai.evid20-Nov-2013 19:13 2  
[ ]hamming10-4.clq.uai.xz20-Nov-2013 19:13 68K 
[ ]hamming10-4.clq.wcnf.xz20-Nov-2013 19:13 72K 
[ ]hamming10-4.clq.wcsp.xz20-Nov-2013 19:14 73K 
[ ]hamming10-4.clq_direct.lp.xz20-Nov-2013 19:13 75K 
[ ]hamming10-4.clq_support.lp.xz20-Nov-2013 19:13 1.1M 
[ ]johnson8-2-4.clq.dzn.xz20-Nov-2013 19:13 452  
[ ]johnson8-2-4.clq.uai.evid20-Nov-2013 19:14 2  
[ ]johnson8-2-4.clq.uai.xz20-Nov-2013 19:14 428  
[ ]johnson8-2-4.clq.wcnf.xz20-Nov-2013 19:13 608  
[ ]johnson8-2-4.clq.wcsp.xz20-Nov-2013 19:13 428  
[ ]johnson8-2-4.clq_direct.lp.xz20-Nov-2013 19:13 584  
[ ]johnson8-2-4.clq_support.lp.xz20-Nov-2013 19:14 2.9K 
[ ]johnson8-4-4.clq.dzn.xz20-Nov-2013 19:13 920  
[ ]johnson8-4-4.clq.uai.evid20-Nov-2013 19:13 2  
[ ]johnson8-4-4.clq.uai.xz20-Nov-2013 19:13 880  
[ ]johnson8-4-4.clq.wcnf.xz20-Nov-2013 19:13 1.1K 
[ ]johnson8-4-4.clq.wcsp.xz20-Nov-2013 19:13 928  
[ ]johnson8-4-4.clq_direct.lp.xz20-Nov-2013 19:13 1.2K 
[ ]johnson8-4-4.clq_support.lp.xz20-Nov-2013 19:14 8.2K 
[ ]johnson16-2-4.clq.dzn.xz20-Nov-2013 19:13 2.1K 
[ ]johnson16-2-4.clq.uai.evid20-Nov-2013 19:13 2  
[ ]johnson16-2-4.clq.uai.xz20-Nov-2013 19:13 2.0K 
[ ]johnson16-2-4.clq.wcnf.xz20-Nov-2013 19:13 2.3K 
[ ]johnson16-2-4.clq.wcsp.xz20-Nov-2013 19:13 2.0K 
[ ]johnson16-2-4.clq_direct.lp.xz20-Nov-2013 19:13 2.4K 
[ ]johnson16-2-4.clq_support.lp.xz20-Nov-2013 19:13 23K 
[ ]johnson32-2-4.clq.dzn.xz20-Nov-2013 19:13 13K 
[ ]johnson32-2-4.clq.uai.evid20-Nov-2013 19:13 2  
[ ]johnson32-2-4.clq.uai.xz20-Nov-2013 19:13 13K 
[ ]johnson32-2-4.clq.wcnf.xz20-Nov-2013 19:13 14K 
[ ]johnson32-2-4.clq.wcsp.xz20-Nov-2013 19:13 14K 
[ ]johnson32-2-4.clq_direct.lp.xz20-Nov-2013 19:13 16K 
[ ]johnson32-2-4.clq_support.lp.xz20-Nov-2013 19:14 200K 
[ ]keller4.clq.dzn.xz20-Nov-2013 19:13 4.1K 
[ ]keller4.clq.uai.evid20-Nov-2013 19:13 2  
[ ]keller4.clq.uai.xz20-Nov-2013 19:14 4.1K 
[ ]keller4.clq.wcnf.xz20-Nov-2013 19:13 4.4K 
[ ]keller4.clq.wcsp.xz20-Nov-2013 19:13 4.6K 
[ ]keller4.clq_direct.lp.xz20-Nov-2013 19:13 4.7K 
[ ]keller4.clq_support.lp.xz20-Nov-2013 19:13 63K 
[ ]keller5.clq.dzn.xz20-Nov-2013 19:13 44K 
[ ]keller5.clq.uai.evid20-Nov-2013 19:13 2  
[ ]keller5.clq.uai.xz20-Nov-2013 19:13 43K 
[ ]keller5.clq.wcnf.xz20-Nov-2013 19:13 42K 
[ ]keller5.clq.wcsp.xz20-Nov-2013 19:13 46K 
[ ]keller5.clq_direct.lp.xz20-Nov-2013 19:13 51K 
[ ]keller5.clq_support.lp.xz20-Nov-2013 19:13 831K 
[ ]p_hat300-1.clq.dzn.xz20-Nov-2013 19:13 16K 
[ ]p_hat300-1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]p_hat300-1.clq.uai.xz20-Nov-2013 19:13 16K 
[ ]p_hat300-1.clq.wcnf.xz20-Nov-2013 19:13 17K 
[ ]p_hat300-1.clq.wcsp.xz20-Nov-2013 19:13 17K 
[ ]p_hat300-1.clq_direct.lp.xz20-Nov-2013 19:13 18K 
[ ]p_hat300-1.clq_support.lp.xz20-Nov-2013 19:13 379K 
[ ]p_hat300-2.clq.dzn.xz20-Nov-2013 19:13 14K 
[ ]p_hat300-2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]p_hat300-2.clq.uai.xz20-Nov-2013 19:13 14K 
[ ]p_hat300-2.clq.wcnf.xz20-Nov-2013 19:13 14K 
[ ]p_hat300-2.clq.wcsp.xz20-Nov-2013 19:13 15K 
[ ]p_hat300-2.clq_direct.lp.xz20-Nov-2013 19:13 16K 
[ ]p_hat300-2.clq_support.lp.xz20-Nov-2013 19:13 277K 
[ ]p_hat300-3.clq.dzn.xz20-Nov-2013 19:13 9.6K 
[ ]p_hat300-3.clq.uai.evid20-Nov-2013 19:13 2  
[ ]p_hat300-3.clq.uai.xz20-Nov-2013 19:14 9.5K 
[ ]p_hat300-3.clq.wcnf.xz20-Nov-2013 19:14 10K 
[ ]p_hat300-3.clq.wcsp.xz20-Nov-2013 19:13 11K 
[ ]p_hat300-3.clq_direct.lp.xz20-Nov-2013 19:13 11K 
[ ]p_hat300-3.clq_support.lp.xz20-Nov-2013 19:13 148K 
[ ]p_hat500-1.clq.dzn.xz20-Nov-2013 19:13 41K 
[ ]p_hat500-1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]p_hat500-1.clq.uai.xz20-Nov-2013 19:13 40K 
[ ]p_hat500-1.clq.wcnf.xz20-Nov-2013 19:13 42K 
[ ]p_hat500-1.clq.wcsp.xz20-Nov-2013 19:13 45K 
[ ]p_hat500-1.clq_direct.lp.xz20-Nov-2013 19:13 46K 
[ ]p_hat500-1.clq_support.lp.xz20-Nov-2013 19:13 1.0M 
[ ]p_hat500-2.clq.dzn.xz20-Nov-2013 19:13 34K 
[ ]p_hat500-2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]p_hat500-2.clq.uai.xz20-Nov-2013 19:13 34K 
[ ]p_hat500-2.clq.wcnf.xz20-Nov-2013 19:13 34K 
[ ]p_hat500-2.clq.wcsp.xz20-Nov-2013 19:13 38K 
[ ]p_hat500-2.clq_direct.lp.xz20-Nov-2013 19:13 39K 
[ ]p_hat500-2.clq_support.lp.xz20-Nov-2013 19:13 799K 
[ ]p_hat500-3.clq.dzn.xz20-Nov-2013 19:13 24K 
[ ]p_hat500-3.clq.uai.evid20-Nov-2013 19:14 2  
[ ]p_hat500-3.clq.uai.xz20-Nov-2013 19:13 23K 
[ ]p_hat500-3.clq.wcnf.xz20-Nov-2013 19:14 24K 
[ ]p_hat500-3.clq.wcsp.xz20-Nov-2013 19:14 28K 
[ ]p_hat500-3.clq_direct.lp.xz20-Nov-2013 19:13 26K 
[ ]p_hat500-3.clq_support.lp.xz20-Nov-2013 19:13 415K 
[ ]p_hat700-1.clq.dzn.xz20-Nov-2013 19:13 76K 
[ ]p_hat700-1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]p_hat700-1.clq.uai.xz20-Nov-2013 19:13 76K 
[ ]p_hat700-1.clq.wcnf.xz20-Nov-2013 19:13 77K 
[ ]p_hat700-1.clq.wcsp.xz20-Nov-2013 19:13 88K 
[ ]p_hat700-1.clq_direct.lp.xz20-Nov-2013 19:13 89K 
[ ]p_hat700-1.clq_support.lp.xz20-Nov-2013 19:13 1.9M 
[ ]p_hat700-2.clq.dzn.xz20-Nov-2013 19:13 64K 
[ ]p_hat700-2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]p_hat700-2.clq.uai.xz20-Nov-2013 19:13 64K 
[ ]p_hat700-2.clq.wcnf.xz20-Nov-2013 19:13 65K 
[ ]p_hat700-2.clq.wcsp.xz20-Nov-2013 19:13 69K 
[ ]p_hat700-2.clq_direct.lp.xz20-Nov-2013 19:13 74K 
[ ]p_hat700-2.clq_support.lp.xz20-Nov-2013 19:14 1.4M 
[ ]p_hat700-3.clq.dzn.xz20-Nov-2013 19:13 45K 
[ ]p_hat700-3.clq.uai.evid20-Nov-2013 19:13 2  
[ ]p_hat700-3.clq.uai.xz20-Nov-2013 19:13 44K 
[ ]p_hat700-3.clq.wcnf.xz20-Nov-2013 19:13 44K 
[ ]p_hat700-3.clq.wcsp.xz20-Nov-2013 19:13 46K 
[ ]p_hat700-3.clq_direct.lp.xz20-Nov-2013 19:13 50K 
[ ]p_hat700-3.clq_support.lp.xz20-Nov-2013 19:13 785K 
[ ]p_hat1000-1.clq.dzn.xz20-Nov-2013 19:13 191K 
[ ]p_hat1000-1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]p_hat1000-1.clq.uai.xz20-Nov-2013 19:13 150K 
[ ]p_hat1000-1.clq.wcnf.xz20-Nov-2013 19:13 208K 
[ ]p_hat1000-1.clq.wcsp.xz20-Nov-2013 19:13 185K 
[ ]p_hat1000-1.clq_direct.lp.xz20-Nov-2013 19:13 179K 
[ ]p_hat1000-1.clq_support.lp.xz20-Nov-2013 19:13 3.9M 
[ ]p_hat1000-2.clq.dzn.xz20-Nov-2013 19:13 142K 
[ ]p_hat1000-2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]p_hat1000-2.clq.uai.xz20-Nov-2013 19:13 127K 
[ ]p_hat1000-2.clq.wcnf.xz20-Nov-2013 19:14 143K 
[ ]p_hat1000-2.clq.wcsp.xz20-Nov-2013 19:13 154K 
[ ]p_hat1000-2.clq_direct.lp.xz20-Nov-2013 19:13 150K 
[ ]p_hat1000-2.clq_support.lp.xz20-Nov-2013 19:14 2.8M 
[ ]p_hat1000-3.clq.dzn.xz20-Nov-2013 19:13 95K 
[ ]p_hat1000-3.clq.uai.evid20-Nov-2013 19:13 2  
[ ]p_hat1000-3.clq.uai.xz20-Nov-2013 19:13 87K 
[ ]p_hat1000-3.clq.wcnf.xz20-Nov-2013 19:13 97K 
[ ]p_hat1000-3.clq.wcsp.xz20-Nov-2013 19:13 101K 
[ ]p_hat1000-3.clq_direct.lp.xz20-Nov-2013 19:13 101K 
[ ]p_hat1000-3.clq_support.lp.xz20-Nov-2013 19:13 1.6M 
[ ]san200_0.7_1.clq.dzn.xz20-Nov-2013 19:13 5.4K 
[ ]san200_0.7_1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]san200_0.7_1.clq.uai.xz20-Nov-2013 19:13 5.2K 
[ ]san200_0.7_1.clq.wcnf.xz20-Nov-2013 19:13 5.7K 
[ ]san200_0.7_1.clq.wcsp.xz20-Nov-2013 19:13 5.4K 
[ ]san200_0.7_1.clq_direct.lp.xz20-Nov-2013 19:13 5.9K 
[ ]san200_0.7_1.clq_support.lp.xz20-Nov-2013 19:13 80K 
[ ]san200_0.7_2.clq.dzn.xz20-Nov-2013 19:13 5.4K 
[ ]san200_0.7_2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]san200_0.7_2.clq.uai.xz20-Nov-2013 19:13 5.1K 
[ ]san200_0.7_2.clq.wcnf.xz20-Nov-2013 19:13 5.7K 
[ ]san200_0.7_2.clq.wcsp.xz20-Nov-2013 19:13 5.7K 
[ ]san200_0.7_2.clq_direct.lp.xz20-Nov-2013 19:13 6.0K 
[ ]san200_0.7_2.clq_support.lp.xz20-Nov-2013 19:13 80K 
[ ]san200_0.9_1.clq.dzn.xz20-Nov-2013 19:13 2.8K 
[ ]san200_0.9_1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]san200_0.9_1.clq.uai.xz20-Nov-2013 19:13 2.7K 
[ ]san200_0.9_1.clq.wcnf.xz20-Nov-2013 19:13 3.1K 
[ ]san200_0.9_1.clq.wcsp.xz20-Nov-2013 19:14 2.8K 
[ ]san200_0.9_1.clq_direct.lp.xz20-Nov-2013 19:13 3.3K 
[ ]san200_0.9_1.clq_support.lp.xz20-Nov-2013 19:13 32K 
[ ]san200_0.9_2.clq.dzn.xz20-Nov-2013 19:13 2.8K 
[ ]san200_0.9_2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]san200_0.9_2.clq.uai.xz20-Nov-2013 19:13 2.7K 
[ ]san200_0.9_2.clq.wcnf.xz20-Nov-2013 19:13 3.1K 
[ ]san200_0.9_2.clq.wcsp.xz20-Nov-2013 19:13 2.9K 
[ ]san200_0.9_2.clq_direct.lp.xz20-Nov-2013 19:13 3.3K 
[ ]san200_0.9_2.clq_support.lp.xz20-Nov-2013 19:14 33K 
[ ]san200_0.9_3.clq.dzn.xz20-Nov-2013 19:13 2.9K 
[ ]san200_0.9_3.clq.uai.evid20-Nov-2013 19:13 2  
[ ]san200_0.9_3.clq.uai.xz20-Nov-2013 19:13 2.7K 
[ ]san200_0.9_3.clq.wcnf.xz20-Nov-2013 19:13 3.1K 
[ ]san200_0.9_3.clq.wcsp.xz20-Nov-2013 19:13 2.7K 
[ ]san200_0.9_3.clq_direct.lp.xz20-Nov-2013 19:13 3.3K 
[ ]san200_0.9_3.clq_support.lp.xz20-Nov-2013 19:13 32K 
[ ]san400_0.5_1.clq.dzn.xz20-Nov-2013 19:13 23K 
[ ]san400_0.5_1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]san400_0.5_1.clq.uai.xz20-Nov-2013 19:13 23K 
[ ]san400_0.5_1.clq.wcnf.xz20-Nov-2013 19:13 23K 
[ ]san400_0.5_1.clq.wcsp.xz20-Nov-2013 19:14 26K 
[ ]san400_0.5_1.clq_direct.lp.xz20-Nov-2013 19:13 26K 
[ ]san400_0.5_1.clq_support.lp.xz20-Nov-2013 19:13 452K 
[ ]san400_0.7_1.clq.dzn.xz20-Nov-2013 19:13 18K 
[ ]san400_0.7_1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]san400_0.7_1.clq.uai.xz20-Nov-2013 19:13 17K 
[ ]san400_0.7_1.clq.wcnf.xz20-Nov-2013 19:13 18K 
[ ]san400_0.7_1.clq.wcsp.xz20-Nov-2013 19:13 19K 
[ ]san400_0.7_1.clq_direct.lp.xz20-Nov-2013 19:13 20K 
[ ]san400_0.7_1.clq_support.lp.xz20-Nov-2013 19:14 301K 
[ ]san400_0.7_2.clq.dzn.xz20-Nov-2013 19:13 18K 
[ ]san400_0.7_2.clq.uai.evid20-Nov-2013 19:13 2  
[ ]san400_0.7_2.clq.uai.xz20-Nov-2013 19:13 18K 
[ ]san400_0.7_2.clq.wcnf.xz20-Nov-2013 19:13 18K 
[ ]san400_0.7_2.clq.wcsp.xz20-Nov-2013 19:13 18K 
[ ]san400_0.7_2.clq_direct.lp.xz20-Nov-2013 19:13 20K 
[ ]san400_0.7_2.clq_support.lp.xz20-Nov-2013 19:13 297K 
[ ]san400_0.7_3.clq.dzn.xz20-Nov-2013 19:13 18K 
[ ]san400_0.7_3.clq.uai.evid20-Nov-2013 19:13 2  
[ ]san400_0.7_3.clq.uai.xz20-Nov-2013 19:13 17K 
[ ]san400_0.7_3.clq.wcnf.xz20-Nov-2013 19:13 19K 
[ ]san400_0.7_3.clq.wcsp.xz20-Nov-2013 19:13 18K 
[ ]san400_0.7_3.clq_direct.lp.xz20-Nov-2013 19:13 20K 
[ ]san400_0.7_3.clq_support.lp.xz20-Nov-2013 19:13 297K 
[ ]san400_0.9_1.clq.dzn.xz20-Nov-2013 19:13 8.7K 
[ ]san400_0.9_1.clq.uai.evid20-Nov-2013 19:13 2  
[ ]san400_0.9_1.clq.uai.xz20-Nov-2013 19:13 8.5K 
[ ]san400_0.9_1.clq.wcnf.xz20-Nov-2013 19:13 9.0K 
[ ]san400_0.9_1.clq.wcsp.xz20-Nov-2013 19:13 9.4K 
[ ]san400_0.9_1.clq_direct.lp.xz20-Nov-2013 19:13 9.9K 
[ ]san400_0.9_1.clq_support.lp.xz20-Nov-2013 19:13 116K 
[ ]san1000.clq.dzn.xz20-Nov-2013 19:13 139K 
[ ]san1000.clq.uai.evid20-Nov-2013 19:13 2  
[ ]san1000.clq.uai.xz20-Nov-2013 19:13 129K 
[ ]san1000.clq.wcnf.xz20-Nov-2013 19:13 146K 
[ ]san1000.clq.wcsp.xz20-Nov-2013 19:13 156K 
[ ]san1000.clq_direct.lp.xz20-Nov-2013 19:13 151K 
[ ]san1000.clq_support.lp.xz20-Nov-2013 19:14 3.0M 
[ ]sanr200_0.7.clq.dzn.xz20-Nov-2013 19:13 5.4K 
[ ]sanr200_0.7.clq.uai.evid20-Nov-2013 19:13 2  
[ ]sanr200_0.7.clq.uai.xz20-Nov-2013 19:13 5.2K 
[ ]sanr200_0.7.clq.wcnf.xz20-Nov-2013 19:13 5.7K 
[ ]sanr200_0.7.clq.wcsp.xz20-Nov-2013 19:13 5.4K 
[ ]sanr200_0.7.clq_direct.lp.xz20-Nov-2013 19:13 6.1K 
[ ]sanr200_0.7.clq_support.lp.xz20-Nov-2013 19:14 78K 
[ ]sanr200_0.9.clq.dzn.xz20-Nov-2013 19:13 2.9K 
[ ]sanr200_0.9.clq.uai.evid20-Nov-2013 19:13 2  
[ ]sanr200_0.9.clq.uai.xz20-Nov-2013 19:13 2.7K 
[ ]sanr200_0.9.clq.wcnf.xz20-Nov-2013 19:13 3.2K 
[ ]sanr200_0.9.clq.wcsp.xz20-Nov-2013 19:13 2.7K 
[ ]sanr200_0.9.clq_direct.lp.xz20-Nov-2013 19:13 3.3K 
[ ]sanr200_0.9.clq_support.lp.xz20-Nov-2013 19:13 33K 
[ ]sanr400_0.5.clq.dzn.xz20-Nov-2013 19:13 23K 
[ ]sanr400_0.5.clq.uai.evid20-Nov-2013 19:14 2  
[ ]sanr400_0.5.clq.uai.xz20-Nov-2013 19:13 23K 
[ ]sanr400_0.5.clq.wcnf.xz20-Nov-2013 19:13 23K 
[ ]sanr400_0.5.clq.wcsp.xz20-Nov-2013 19:13 24K 
[ ]sanr400_0.5.clq_direct.lp.xz20-Nov-2013 19:13 26K 
[ ]sanr400_0.5.clq_support.lp.xz20-Nov-2013 19:13 471K 
[ ]sanr400_0.7.clq.dzn.xz20-Nov-2013 19:14 18K 
[ ]sanr400_0.7.clq.uai.evid20-Nov-2013 19:13 2  
[ ]sanr400_0.7.clq.uai.xz20-Nov-2013 19:13 17K 
[ ]sanr400_0.7.clq.wcnf.xz20-Nov-2013 19:13 18K 
[ ]sanr400_0.7.clq.wcsp.xz20-Nov-2013 19:13 19K 
[ ]sanr400_0.7.clq_direct.lp.xz20-Nov-2013 19:13 20K 
[ ]sanr400_0.7.clq_support.lp.xz20-Nov-2013 19:13 288K 
[ ]wcnf.mzn20-Nov-2013 19:13 909