Index of /~degivry/evalgm/CFN/Auction

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]CAT2dzn.awk2013-11-20 19:18 576  
[ ]CAT2dzn.sh2013-11-20 19:18 99  
[DIR]auc_paths/2013-11-22 23:20 -  
[DIR]auc_scheduling/2013-11-22 23:20 -  
[ ]cat_paths_60_70_0000.dzn.xz2013-11-20 19:19 832  
[ ]cat_paths_60_70_0000.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_70_0000.uai.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_70_0000.wcnf.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_70_0000.wcsp.xz2013-11-20 19:19 960  
[ ]cat_paths_60_70_0000_direct.lp.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_70_0000_support.lp.xz2013-11-20 19:19 8.3K 
[ ]cat_paths_60_70_0000_support.wcnf.xz2013-11-20 19:19 10K 
[ ]cat_paths_60_70_0001.dzn.xz2013-11-20 19:18 816  
[ ]cat_paths_60_70_0001.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_70_0001.uai.xz2013-11-20 19:18 916  
[ ]cat_paths_60_70_0001.wcnf.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_70_0001.wcsp.xz2013-11-20 19:19 800  
[ ]cat_paths_60_70_0001_direct.lp.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_70_0001_support.lp.xz2013-11-20 19:19 5.9K 
[ ]cat_paths_60_70_0001_support.wcnf.xz2013-11-20 19:18 6.5K 
[ ]cat_paths_60_70_0002.dzn.xz2013-11-20 19:19 828  
[ ]cat_paths_60_70_0002.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_70_0002.uai.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_70_0002.wcnf.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_70_0002.wcsp.xz2013-11-20 19:18 956  
[ ]cat_paths_60_70_0002_direct.lp.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_70_0002_support.lp.xz2013-11-20 19:18 8.9K 
[ ]cat_paths_60_70_0002_support.wcnf.xz2013-11-20 19:18 10K 
[ ]cat_paths_60_70_0003.dzn.xz2013-11-20 19:19 808  
[ ]cat_paths_60_70_0003.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_70_0003.uai.xz2013-11-20 19:18 952  
[ ]cat_paths_60_70_0003.wcnf.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_70_0003.wcsp.xz2013-11-20 19:18 868  
[ ]cat_paths_60_70_0003_direct.lp.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_70_0003_support.lp.xz2013-11-20 19:19 7.8K 
[ ]cat_paths_60_70_0003_support.wcnf.xz2013-11-20 19:18 9.1K 
[ ]cat_paths_60_70_0004.dzn.xz2013-11-20 19:18 808  
[ ]cat_paths_60_70_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_70_0004.uai.xz2013-11-20 19:18 936  
[ ]cat_paths_60_70_0004.wcnf.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_70_0004.wcsp.xz2013-11-20 19:18 816  
[ ]cat_paths_60_70_0004_direct.lp.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_70_0004_support.lp.xz2013-11-20 19:18 6.6K 
[ ]cat_paths_60_70_0004_support.wcnf.xz2013-11-20 19:19 7.4K 
[ ]cat_paths_60_70_0005.dzn.xz2013-11-20 19:19 828  
[ ]cat_paths_60_70_0005.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_70_0005.uai.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_70_0005.wcnf.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_70_0005.wcsp.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_70_0005_direct.lp.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_70_0005_support.lp.xz2013-11-20 19:18 8.6K 
[ ]cat_paths_60_70_0005_support.wcnf.xz2013-11-20 19:18 10K 
[ ]cat_paths_60_70_0006.dzn.xz2013-11-20 19:18 828  
[ ]cat_paths_60_70_0006.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_70_0006.uai.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_70_0006.wcnf.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_70_0006.wcsp.xz2013-11-20 19:19 1.0K 
[ ]cat_paths_60_70_0006_direct.lp.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_70_0006_support.lp.xz2013-11-20 19:19 8.5K 
[ ]cat_paths_60_70_0006_support.wcnf.xz2013-11-20 19:18 9.8K 
[ ]cat_paths_60_70_0007.dzn.xz2013-11-20 19:18 844  
[ ]cat_paths_60_70_0007.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_70_0007.uai.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_70_0007.wcnf.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_70_0007.wcsp.xz2013-11-20 19:19 916  
[ ]cat_paths_60_70_0007_direct.lp.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_70_0007_support.lp.xz2013-11-20 19:19 8.2K 
[ ]cat_paths_60_70_0007_support.wcnf.xz2013-11-20 19:19 9.3K 
[ ]cat_paths_60_80_0000.dzn.xz2013-11-20 19:18 864  
[ ]cat_paths_60_80_0000.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_80_0000.uai.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_80_0000.wcnf.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_80_0000.wcsp.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_80_0000_direct.lp.xz2013-11-20 19:19 1.3K 
[ ]cat_paths_60_80_0000_support.lp.xz2013-11-20 19:19 10K 
[ ]cat_paths_60_80_0000_support.wcnf.xz2013-11-20 19:18 12K 
[ ]cat_paths_60_80_0001.dzn.xz2013-11-20 19:18 888  
[ ]cat_paths_60_80_0001.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_80_0001.uai.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_80_0001.wcnf.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_80_0001.wcsp.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_80_0001_direct.lp.xz2013-11-20 19:19 1.3K 
[ ]cat_paths_60_80_0001_support.lp.xz2013-11-20 19:19 8.9K 
[ ]cat_paths_60_80_0001_support.wcnf.xz2013-11-20 19:19 10K 
[ ]cat_paths_60_80_0002.dzn.xz2013-11-20 19:18 872  
[ ]cat_paths_60_80_0002.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_80_0002.uai.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_80_0002.wcnf.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_80_0002.wcsp.xz2013-11-20 19:18 960  
[ ]cat_paths_60_80_0002_direct.lp.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_80_0002_support.lp.xz2013-11-20 19:18 8.2K 
[ ]cat_paths_60_80_0002_support.wcnf.xz2013-11-20 19:19 9.2K 
[ ]cat_paths_60_80_0003.dzn.xz2013-11-20 19:18 868  
[ ]cat_paths_60_80_0003.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_80_0003.uai.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_80_0003.wcnf.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_80_0003.wcsp.xz2013-11-20 19:19 1.0K 
[ ]cat_paths_60_80_0003_direct.lp.xz2013-11-20 19:18 1.3K 
[ ]cat_paths_60_80_0003_support.lp.xz2013-11-20 19:18 9.4K 
[ ]cat_paths_60_80_0003_support.wcnf.xz2013-11-20 19:18 10K 
[ ]cat_paths_60_80_0004.dzn.xz2013-11-20 19:18 904  
[ ]cat_paths_60_80_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_80_0004.uai.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_80_0004.wcnf.xz2013-11-20 19:19 1.3K 
[ ]cat_paths_60_80_0004.wcsp.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_80_0004_direct.lp.xz2013-11-20 19:19 1.3K 
[ ]cat_paths_60_80_0004_support.lp.xz2013-11-20 19:18 10K 
[ ]cat_paths_60_80_0004_support.wcnf.xz2013-11-20 19:18 11K 
[ ]cat_paths_60_80_0005.dzn.xz2013-11-20 19:18 904  
[ ]cat_paths_60_80_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_80_0005.uai.xz2013-11-20 19:18 1.4K 
[ ]cat_paths_60_80_0005.wcnf.xz2013-11-20 19:19 1.5K 
[ ]cat_paths_60_80_0005.wcsp.xz2013-11-20 19:19 1.3K 
[ ]cat_paths_60_80_0005_direct.lp.xz2013-11-20 19:18 1.5K 
[ ]cat_paths_60_80_0005_support.lp.xz2013-11-20 19:18 13K 
[ ]cat_paths_60_80_0005_support.wcnf.xz2013-11-20 19:18 16K 
[ ]cat_paths_60_80_0006.dzn.xz2013-11-20 19:19 864  
[ ]cat_paths_60_80_0006.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_80_0006.uai.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_80_0006.wcnf.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_80_0006.wcsp.xz2013-11-20 19:19 1.0K 
[ ]cat_paths_60_80_0006_direct.lp.xz2013-11-20 19:18 1.3K 
[ ]cat_paths_60_80_0006_support.lp.xz2013-11-20 19:18 9.2K 
[ ]cat_paths_60_80_0006_support.wcnf.xz2013-11-20 19:18 11K 
[ ]cat_paths_60_80_0007.dzn.xz2013-11-20 19:19 872  
[ ]cat_paths_60_80_0007.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_80_0007.uai.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_80_0007.wcnf.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_80_0007.wcsp.xz2013-11-20 19:19 1.0K 
[ ]cat_paths_60_80_0007_direct.lp.xz2013-11-20 19:19 1.3K 
[ ]cat_paths_60_80_0007_support.lp.xz2013-11-20 19:19 9.8K 
[ ]cat_paths_60_80_0007_support.wcnf.xz2013-11-20 19:18 12K 
[ ]cat_paths_60_90_0000.dzn.xz2013-11-20 19:18 936  
[ ]cat_paths_60_90_0000.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_90_0000.uai.xz2013-11-20 19:18 1.3K 
[ ]cat_paths_60_90_0000.wcnf.xz2013-11-20 19:18 1.4K 
[ ]cat_paths_60_90_0000.wcsp.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_90_0000_direct.lp.xz2013-11-20 19:19 1.4K 
[ ]cat_paths_60_90_0000_support.lp.xz2013-11-20 19:19 11K 
[ ]cat_paths_60_90_0000_support.wcnf.xz2013-11-20 19:18 13K 
[ ]cat_paths_60_90_0001.dzn.xz2013-11-20 19:19 924  
[ ]cat_paths_60_90_0001.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_90_0001.uai.xz2013-11-20 19:18 1.3K 
[ ]cat_paths_60_90_0001.wcnf.xz2013-11-20 19:18 1.4K 
[ ]cat_paths_60_90_0001.wcsp.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_90_0001_direct.lp.xz2013-11-20 19:18 1.5K 
[ ]cat_paths_60_90_0001_support.lp.xz2013-11-20 19:18 12K 
[ ]cat_paths_60_90_0001_support.wcnf.xz2013-11-20 19:18 13K 
[ ]cat_paths_60_90_0002.dzn.xz2013-11-20 19:18 948  
[ ]cat_paths_60_90_0002.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_90_0002.uai.xz2013-11-20 19:19 1.5K 
[ ]cat_paths_60_90_0002.wcnf.xz2013-11-20 19:18 1.6K 
[ ]cat_paths_60_90_0002.wcsp.xz2013-11-20 19:18 1.4K 
[ ]cat_paths_60_90_0002_direct.lp.xz2013-11-20 19:18 1.7K 
[ ]cat_paths_60_90_0002_support.lp.xz2013-11-20 19:18 16K 
[ ]cat_paths_60_90_0002_support.wcnf.xz2013-11-20 19:19 19K 
[ ]cat_paths_60_90_0003.dzn.xz2013-11-20 19:18 908  
[ ]cat_paths_60_90_0003.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_90_0003.uai.xz2013-11-20 19:19 1.3K 
[ ]cat_paths_60_90_0003.wcnf.xz2013-11-20 19:18 1.4K 
[ ]cat_paths_60_90_0003.wcsp.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_90_0003_direct.lp.xz2013-11-20 19:19 1.4K 
[ ]cat_paths_60_90_0003_support.lp.xz2013-11-20 19:19 11K 
[ ]cat_paths_60_90_0003_support.wcnf.xz2013-11-20 19:18 13K 
[ ]cat_paths_60_90_0004.dzn.xz2013-11-20 19:18 924  
[ ]cat_paths_60_90_0004.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_90_0004.uai.xz2013-11-20 19:19 1.3K 
[ ]cat_paths_60_90_0004.wcnf.xz2013-11-20 19:19 1.3K 
[ ]cat_paths_60_90_0004.wcsp.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_90_0004_direct.lp.xz2013-11-20 19:18 1.4K 
[ ]cat_paths_60_90_0004_support.lp.xz2013-11-20 19:19 9.7K 
[ ]cat_paths_60_90_0004_support.wcnf.xz2013-11-20 19:18 11K 
[ ]cat_paths_60_90_0005.dzn.xz2013-11-20 19:18 940  
[ ]cat_paths_60_90_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_90_0005.uai.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_90_0005.wcnf.xz2013-11-20 19:18 1.3K 
[ ]cat_paths_60_90_0005.wcsp.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_90_0005_direct.lp.xz2013-11-20 19:19 1.4K 
[ ]cat_paths_60_90_0005_support.lp.xz2013-11-20 19:19 11K 
[ ]cat_paths_60_90_0005_support.wcnf.xz2013-11-20 19:18 13K 
[ ]cat_paths_60_90_0006.dzn.xz2013-11-20 19:18 908  
[ ]cat_paths_60_90_0006.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_90_0006.uai.xz2013-11-20 19:19 1.3K 
[ ]cat_paths_60_90_0006.wcnf.xz2013-11-20 19:19 1.4K 
[ ]cat_paths_60_90_0006.wcsp.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_90_0006_direct.lp.xz2013-11-20 19:18 1.4K 
[ ]cat_paths_60_90_0006_support.lp.xz2013-11-20 19:19 12K 
[ ]cat_paths_60_90_0006_support.wcnf.xz2013-11-20 19:18 14K 
[ ]cat_paths_60_90_0007.dzn.xz2013-11-20 19:18 920  
[ ]cat_paths_60_90_0007.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_90_0007.uai.xz2013-11-20 19:19 1.3K 
[ ]cat_paths_60_90_0007.wcnf.xz2013-11-20 19:18 1.4K 
[ ]cat_paths_60_90_0007.wcsp.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_90_0007_direct.lp.xz2013-11-20 19:19 1.4K 
[ ]cat_paths_60_90_0007_support.lp.xz2013-11-20 19:19 11K 
[ ]cat_paths_60_90_0007_support.wcnf.xz2013-11-20 19:19 13K 
[ ]cat_paths_60_100_0000.dzn.xz2013-11-20 19:18 964  
[ ]cat_paths_60_100_0000.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_100_0000.uai.xz2013-11-20 19:18 1.6K 
[ ]cat_paths_60_100_0000.wcnf.xz2013-11-20 19:18 1.6K 
[ ]cat_paths_60_100_0000.wcsp.xz2013-11-20 19:18 1.5K 
[ ]cat_paths_60_100_0000_direct.lp.xz2013-11-20 19:19 1.7K 
[ ]cat_paths_60_100_0000_support.lp.xz2013-11-20 19:18 15K 
[ ]cat_paths_60_100_0000_support.wcnf.xz2013-11-20 19:18 16K 
[ ]cat_paths_60_100_0001.dzn.xz2013-11-20 19:18 952  
[ ]cat_paths_60_100_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_100_0001.uai.xz2013-11-20 19:19 1.7K 
[ ]cat_paths_60_100_0001.wcnf.xz2013-11-20 19:18 1.7K 
[ ]cat_paths_60_100_0001.wcsp.xz2013-11-20 19:18 1.6K 
[ ]cat_paths_60_100_0001_direct.lp.xz2013-11-20 19:19 1.8K 
[ ]cat_paths_60_100_0001_support.lp.xz2013-11-20 19:18 15K 
[ ]cat_paths_60_100_0001_support.wcnf.xz2013-11-20 19:19 18K 
[ ]cat_paths_60_100_0002.dzn.xz2013-11-20 19:18 968  
[ ]cat_paths_60_100_0002.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_100_0002.uai.xz2013-11-20 19:18 1.6K 
[ ]cat_paths_60_100_0002.wcnf.xz2013-11-20 19:18 1.7K 
[ ]cat_paths_60_100_0002.wcsp.xz2013-11-20 19:18 1.5K 
[ ]cat_paths_60_100_0002_direct.lp.xz2013-11-20 19:18 1.7K 
[ ]cat_paths_60_100_0002_support.lp.xz2013-11-20 19:18 14K 
[ ]cat_paths_60_100_0002_support.wcnf.xz2013-11-20 19:18 17K 
[ ]cat_paths_60_100_0003.dzn.xz2013-11-20 19:19 952  
[ ]cat_paths_60_100_0003.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_100_0003.uai.xz2013-11-20 19:19 1.5K 
[ ]cat_paths_60_100_0003.wcnf.xz2013-11-20 19:18 1.7K 
[ ]cat_paths_60_100_0003.wcsp.xz2013-11-20 19:18 1.4K 
[ ]cat_paths_60_100_0003_direct.lp.xz2013-11-20 19:19 1.6K 
[ ]cat_paths_60_100_0003_support.lp.xz2013-11-20 19:19 15K 
[ ]cat_paths_60_100_0003_support.wcnf.xz2013-11-20 19:18 18K 
[ ]cat_paths_60_100_0004.dzn.xz2013-11-20 19:18 964  
[ ]cat_paths_60_100_0004.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_100_0004.uai.xz2013-11-20 19:18 1.7K 
[ ]cat_paths_60_100_0004.wcnf.xz2013-11-20 19:18 1.7K 
[ ]cat_paths_60_100_0004.wcsp.xz2013-11-20 19:19 1.6K 
[ ]cat_paths_60_100_0004_direct.lp.xz2013-11-20 19:19 1.8K 
[ ]cat_paths_60_100_0004_support.lp.xz2013-11-20 19:18 16K 
[ ]cat_paths_60_100_0004_support.wcnf.xz2013-11-20 19:18 19K 
[ ]cat_paths_60_100_0005.dzn.xz2013-11-20 19:19 940  
[ ]cat_paths_60_100_0005.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_100_0005.uai.xz2013-11-20 19:18 1.4K 
[ ]cat_paths_60_100_0005.wcnf.xz2013-11-20 19:18 1.6K 
[ ]cat_paths_60_100_0005.wcsp.xz2013-11-20 19:19 1.3K 
[ ]cat_paths_60_100_0005_direct.lp.xz2013-11-20 19:18 1.5K 
[ ]cat_paths_60_100_0005_support.lp.xz2013-11-20 19:18 13K 
[ ]cat_paths_60_100_0005_support.wcnf.xz2013-11-20 19:18 15K 
[ ]cat_paths_60_100_0006.dzn.xz2013-11-20 19:18 972  
[ ]cat_paths_60_100_0006.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_100_0006.uai.xz2013-11-20 19:19 1.9K 
[ ]cat_paths_60_100_0006.wcnf.xz2013-11-20 19:19 2.0K 
[ ]cat_paths_60_100_0006.wcsp.xz2013-11-20 19:18 1.7K 
[ ]cat_paths_60_100_0006_direct.lp.xz2013-11-20 19:18 1.9K 
[ ]cat_paths_60_100_0006_support.lp.xz2013-11-20 19:19 17K 
[ ]cat_paths_60_100_0006_support.wcnf.xz2013-11-20 19:18 21K 
[ ]cat_paths_60_100_0007.dzn.xz2013-11-20 19:18 972  
[ ]cat_paths_60_100_0007.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_100_0007.uai.xz2013-11-20 19:18 1.5K 
[ ]cat_paths_60_100_0007.wcnf.xz2013-11-20 19:19 1.6K 
[ ]cat_paths_60_100_0007.wcsp.xz2013-11-20 19:18 1.3K 
[ ]cat_paths_60_100_0007_direct.lp.xz2013-11-20 19:19 1.6K 
[ ]cat_paths_60_100_0007_support.lp.xz2013-11-20 19:18 15K 
[ ]cat_paths_60_100_0007_support.wcnf.xz2013-11-20 19:19 17K 
[ ]cat_paths_60_110_0000.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_110_0000.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_110_0000.uai.xz2013-11-20 19:18 1.8K 
[ ]cat_paths_60_110_0000.wcnf.xz2013-11-20 19:19 1.8K 
[ ]cat_paths_60_110_0000.wcsp.xz2013-11-20 19:19 1.7K 
[ ]cat_paths_60_110_0000_direct.lp.xz2013-11-20 19:19 1.9K 
[ ]cat_paths_60_110_0000_support.lp.xz2013-11-20 19:18 16K 
[ ]cat_paths_60_110_0000_support.wcnf.xz2013-11-20 19:18 18K 
[ ]cat_paths_60_110_0001.dzn.xz2013-11-20 19:19 1.0K 
[ ]cat_paths_60_110_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_110_0001.uai.xz2013-11-20 19:19 2.5K 
[ ]cat_paths_60_110_0001.wcnf.xz2013-11-20 19:18 2.4K 
[ ]cat_paths_60_110_0001.wcsp.xz2013-11-20 19:18 2.3K 
[ ]cat_paths_60_110_0001_direct.lp.xz2013-11-20 19:18 2.5K 
[ ]cat_paths_60_110_0001_support.lp.xz2013-11-20 19:18 22K 
[ ]cat_paths_60_110_0001_support.wcnf.xz2013-11-20 19:18 29K 
[ ]cat_paths_60_110_0002.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_110_0002.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_110_0002.uai.xz2013-11-20 19:19 1.9K 
[ ]cat_paths_60_110_0002.wcnf.xz2013-11-20 19:18 2.0K 
[ ]cat_paths_60_110_0002.wcsp.xz2013-11-20 19:18 1.7K 
[ ]cat_paths_60_110_0002_direct.lp.xz2013-11-20 19:19 2.0K 
[ ]cat_paths_60_110_0002_support.lp.xz2013-11-20 19:19 17K 
[ ]cat_paths_60_110_0002_support.wcnf.xz2013-11-20 19:18 20K 
[ ]cat_paths_60_110_0003.dzn.xz2013-11-20 19:19 1.0K 
[ ]cat_paths_60_110_0003.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_110_0003.uai.xz2013-11-20 19:19 1.8K 
[ ]cat_paths_60_110_0003.wcnf.xz2013-11-20 19:19 1.8K 
[ ]cat_paths_60_110_0003.wcsp.xz2013-11-20 19:19 1.7K 
[ ]cat_paths_60_110_0003_direct.lp.xz2013-11-20 19:19 1.9K 
[ ]cat_paths_60_110_0003_support.lp.xz2013-11-20 19:18 16K 
[ ]cat_paths_60_110_0003_support.wcnf.xz2013-11-20 19:18 19K 
[ ]cat_paths_60_110_0004.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_110_0004.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_110_0004.uai.xz2013-11-20 19:19 1.8K 
[ ]cat_paths_60_110_0004.wcnf.xz2013-11-20 19:18 1.8K 
[ ]cat_paths_60_110_0004.wcsp.xz2013-11-20 19:18 1.6K 
[ ]cat_paths_60_110_0004_direct.lp.xz2013-11-20 19:19 1.8K 
[ ]cat_paths_60_110_0004_support.lp.xz2013-11-20 19:18 15K 
[ ]cat_paths_60_110_0004_support.wcnf.xz2013-11-20 19:19 17K 
[ ]cat_paths_60_110_0005.dzn.xz2013-11-20 19:19 1.0K 
[ ]cat_paths_60_110_0005.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_110_0005.uai.xz2013-11-20 19:18 2.3K 
[ ]cat_paths_60_110_0005.wcnf.xz2013-11-20 19:19 2.5K 
[ ]cat_paths_60_110_0005.wcsp.xz2013-11-20 19:19 2.3K 
[ ]cat_paths_60_110_0005_direct.lp.xz2013-11-20 19:18 2.5K 
[ ]cat_paths_60_110_0005_support.lp.xz2013-11-20 19:19 25K 
[ ]cat_paths_60_110_0005_support.wcnf.xz2013-11-20 19:19 32K 
[ ]cat_paths_60_110_0006.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_110_0006.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_110_0006.uai.xz2013-11-20 19:19 2.0K 
[ ]cat_paths_60_110_0006.wcnf.xz2013-11-20 19:19 2.0K 
[ ]cat_paths_60_110_0006.wcsp.xz2013-11-20 19:18 1.8K 
[ ]cat_paths_60_110_0006_direct.lp.xz2013-11-20 19:19 2.1K 
[ ]cat_paths_60_110_0006_support.lp.xz2013-11-20 19:18 18K 
[ ]cat_paths_60_110_0006_support.wcnf.xz2013-11-20 19:19 21K 
[ ]cat_paths_60_110_0007.dzn.xz2013-11-20 19:19 1.0K 
[ ]cat_paths_60_110_0007.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_110_0007.uai.xz2013-11-20 19:19 2.0K 
[ ]cat_paths_60_110_0007.wcnf.xz2013-11-20 19:19 2.0K 
[ ]cat_paths_60_110_0007.wcsp.xz2013-11-20 19:18 1.8K 
[ ]cat_paths_60_110_0007_direct.lp.xz2013-11-20 19:18 2.0K 
[ ]cat_paths_60_110_0007_support.lp.xz2013-11-20 19:19 17K 
[ ]cat_paths_60_110_0007_support.wcnf.xz2013-11-20 19:19 20K 
[ ]cat_paths_60_120_0000.dzn.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_120_0000.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_120_0000.uai.xz2013-11-20 19:18 2.1K 
[ ]cat_paths_60_120_0000.wcnf.xz2013-11-20 19:18 2.2K 
[ ]cat_paths_60_120_0000.wcsp.xz2013-11-20 19:19 2.0K 
[ ]cat_paths_60_120_0000_direct.lp.xz2013-11-20 19:18 2.2K 
[ ]cat_paths_60_120_0000_support.lp.xz2013-11-20 19:18 19K 
[ ]cat_paths_60_120_0000_support.wcnf.xz2013-11-20 19:19 22K 
[ ]cat_paths_60_120_0001.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_120_0001.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_120_0001.uai.xz2013-11-20 19:18 2.4K 
[ ]cat_paths_60_120_0001.wcnf.xz2013-11-20 19:19 2.5K 
[ ]cat_paths_60_120_0001.wcsp.xz2013-11-20 19:18 2.3K 
[ ]cat_paths_60_120_0001_direct.lp.xz2013-11-20 19:19 2.5K 
[ ]cat_paths_60_120_0001_support.lp.xz2013-11-20 19:19 24K 
[ ]cat_paths_60_120_0001_support.wcnf.xz2013-11-20 19:18 29K 
[ ]cat_paths_60_120_0002.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_120_0002.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_120_0002.uai.xz2013-11-20 19:18 2.4K 
[ ]cat_paths_60_120_0002.wcnf.xz2013-11-20 19:18 2.4K 
[ ]cat_paths_60_120_0002.wcsp.xz2013-11-20 19:19 2.2K 
[ ]cat_paths_60_120_0002_direct.lp.xz2013-11-20 19:18 2.4K 
[ ]cat_paths_60_120_0002_support.lp.xz2013-11-20 19:18 22K 
[ ]cat_paths_60_120_0002_support.wcnf.xz2013-11-20 19:19 27K 
[ ]cat_paths_60_120_0003.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_120_0003.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_120_0003.uai.xz2013-11-20 19:19 2.3K 
[ ]cat_paths_60_120_0003.wcnf.xz2013-11-20 19:18 2.3K 
[ ]cat_paths_60_120_0003.wcsp.xz2013-11-20 19:19 2.2K 
[ ]cat_paths_60_120_0003_direct.lp.xz2013-11-20 19:19 2.4K 
[ ]cat_paths_60_120_0003_support.lp.xz2013-11-20 19:19 22K 
[ ]cat_paths_60_120_0003_support.wcnf.xz2013-11-20 19:18 28K 
[ ]cat_paths_60_120_0004.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_120_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_120_0004.uai.xz2013-11-20 19:18 2.2K 
[ ]cat_paths_60_120_0004.wcnf.xz2013-11-20 19:19 2.3K 
[ ]cat_paths_60_120_0004.wcsp.xz2013-11-20 19:18 2.1K 
[ ]cat_paths_60_120_0004_direct.lp.xz2013-11-20 19:19 2.3K 
[ ]cat_paths_60_120_0004_support.lp.xz2013-11-20 19:19 21K 
[ ]cat_paths_60_120_0004_support.wcnf.xz2013-11-20 19:19 25K 
[ ]cat_paths_60_120_0005.dzn.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_120_0005.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_120_0005.uai.xz2013-11-20 19:19 2.0K 
[ ]cat_paths_60_120_0005.wcnf.xz2013-11-20 19:18 2.1K 
[ ]cat_paths_60_120_0005.wcsp.xz2013-11-20 19:19 1.8K 
[ ]cat_paths_60_120_0005_direct.lp.xz2013-11-20 19:18 2.1K 
[ ]cat_paths_60_120_0005_support.lp.xz2013-11-20 19:19 17K 
[ ]cat_paths_60_120_0005_support.wcnf.xz2013-11-20 19:18 20K 
[ ]cat_paths_60_120_0006.dzn.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_120_0006.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_120_0006.uai.xz2013-11-20 19:18 2.5K 
[ ]cat_paths_60_120_0006.wcnf.xz2013-11-20 19:18 2.5K 
[ ]cat_paths_60_120_0006.wcsp.xz2013-11-20 19:19 2.3K 
[ ]cat_paths_60_120_0006_direct.lp.xz2013-11-20 19:19 2.5K 
[ ]cat_paths_60_120_0006_support.lp.xz2013-11-20 19:18 23K 
[ ]cat_paths_60_120_0006_support.wcnf.xz2013-11-20 19:18 29K 
[ ]cat_paths_60_120_0007.dzn.xz2013-11-20 19:19 1.0K 
[ ]cat_paths_60_120_0007.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_120_0007.uai.xz2013-11-20 19:18 1.9K 
[ ]cat_paths_60_120_0007.wcnf.xz2013-11-20 19:18 2.0K 
[ ]cat_paths_60_120_0007.wcsp.xz2013-11-20 19:19 1.7K 
[ ]cat_paths_60_120_0007_direct.lp.xz2013-11-20 19:18 2.0K 
[ ]cat_paths_60_120_0007_support.lp.xz2013-11-20 19:19 16K 
[ ]cat_paths_60_120_0007_support.wcnf.xz2013-11-20 19:18 19K 
[ ]cat_paths_60_130_0000.dzn.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_130_0000.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_130_0000.uai.xz2013-11-20 19:18 2.7K 
[ ]cat_paths_60_130_0000.wcnf.xz2013-11-20 19:18 2.7K 
[ ]cat_paths_60_130_0000.wcsp.xz2013-11-20 19:18 2.6K 
[ ]cat_paths_60_130_0000_direct.lp.xz2013-11-20 19:18 2.8K 
[ ]cat_paths_60_130_0000_support.lp.xz2013-11-20 19:19 28K 
[ ]cat_paths_60_130_0000_support.wcnf.xz2013-11-20 19:19 34K 
[ ]cat_paths_60_130_0001.dzn.xz2013-11-20 19:19 1.0K 
[ ]cat_paths_60_130_0001.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_130_0001.uai.xz2013-11-20 19:18 2.7K 
[ ]cat_paths_60_130_0001.wcnf.xz2013-11-20 19:18 2.8K 
[ ]cat_paths_60_130_0001.wcsp.xz2013-11-20 19:18 2.7K 
[ ]cat_paths_60_130_0001_direct.lp.xz2013-11-20 19:18 2.8K 
[ ]cat_paths_60_130_0001_support.lp.xz2013-11-20 19:19 27K 
[ ]cat_paths_60_130_0001_support.wcnf.xz2013-11-20 19:18 35K 
[ ]cat_paths_60_130_0002.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_paths_60_130_0002.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_130_0002.uai.xz2013-11-20 19:18 2.5K 
[ ]cat_paths_60_130_0002.wcnf.xz2013-11-20 19:19 2.5K 
[ ]cat_paths_60_130_0002.wcsp.xz2013-11-20 19:19 2.4K 
[ ]cat_paths_60_130_0002_direct.lp.xz2013-11-20 19:19 2.6K 
[ ]cat_paths_60_130_0002_support.lp.xz2013-11-20 19:18 23K 
[ ]cat_paths_60_130_0002_support.wcnf.xz2013-11-20 19:18 27K 
[ ]cat_paths_60_130_0003.dzn.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_130_0003.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_130_0003.uai.xz2013-11-20 19:19 2.7K 
[ ]cat_paths_60_130_0003.wcnf.xz2013-11-20 19:18 2.7K 
[ ]cat_paths_60_130_0003.wcsp.xz2013-11-20 19:18 2.7K 
[ ]cat_paths_60_130_0003_direct.lp.xz2013-11-20 19:18 2.8K 
[ ]cat_paths_60_130_0003_support.lp.xz2013-11-20 19:19 27K 
[ ]cat_paths_60_130_0003_support.wcnf.xz2013-11-20 19:18 33K 
[ ]cat_paths_60_130_0004.dzn.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_130_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_130_0004.uai.xz2013-11-20 19:19 2.6K 
[ ]cat_paths_60_130_0004.wcnf.xz2013-11-20 19:18 2.6K 
[ ]cat_paths_60_130_0004.wcsp.xz2013-11-20 19:18 2.5K 
[ ]cat_paths_60_130_0004_direct.lp.xz2013-11-20 19:18 2.7K 
[ ]cat_paths_60_130_0004_support.lp.xz2013-11-20 19:18 25K 
[ ]cat_paths_60_130_0004_support.wcnf.xz2013-11-20 19:19 30K 
[ ]cat_paths_60_130_0005.dzn.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_130_0005.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_130_0005.uai.xz2013-11-20 19:18 2.2K 
[ ]cat_paths_60_130_0005.wcnf.xz2013-11-20 19:19 2.2K 
[ ]cat_paths_60_130_0005.wcsp.xz2013-11-20 19:18 2.0K 
[ ]cat_paths_60_130_0005_direct.lp.xz2013-11-20 19:19 2.2K 
[ ]cat_paths_60_130_0005_support.lp.xz2013-11-20 19:19 19K 
[ ]cat_paths_60_130_0005_support.wcnf.xz2013-11-20 19:18 22K 
[ ]cat_paths_60_130_0006.dzn.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_130_0006.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_130_0006.uai.xz2013-11-20 19:19 2.4K 
[ ]cat_paths_60_130_0006.wcnf.xz2013-11-20 19:18 2.4K 
[ ]cat_paths_60_130_0006.wcsp.xz2013-11-20 19:19 2.3K 
[ ]cat_paths_60_130_0006_direct.lp.xz2013-11-20 19:18 2.6K 
[ ]cat_paths_60_130_0006_support.lp.xz2013-11-20 19:19 23K 
[ ]cat_paths_60_130_0006_support.wcnf.xz2013-11-20 19:19 28K 
[ ]cat_paths_60_130_0007.dzn.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_130_0007.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_130_0007.uai.xz2013-11-20 19:18 2.7K 
[ ]cat_paths_60_130_0007.wcnf.xz2013-11-20 19:18 2.7K 
[ ]cat_paths_60_130_0007.wcsp.xz2013-11-20 19:19 2.6K 
[ ]cat_paths_60_130_0007_direct.lp.xz2013-11-20 19:19 2.8K 
[ ]cat_paths_60_130_0007_support.lp.xz2013-11-20 19:18 26K 
[ ]cat_paths_60_130_0007_support.wcnf.xz2013-11-20 19:18 32K 
[ ]cat_paths_60_140_0000.dzn.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_140_0000.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_140_0000.uai.xz2013-11-20 19:19 2.9K 
[ ]cat_paths_60_140_0000.wcnf.xz2013-11-20 19:19 2.9K 
[ ]cat_paths_60_140_0000.wcsp.xz2013-11-20 19:19 2.9K 
[ ]cat_paths_60_140_0000_direct.lp.xz2013-11-20 19:19 3.0K 
[ ]cat_paths_60_140_0000_support.lp.xz2013-11-20 19:19 31K 
[ ]cat_paths_60_140_0000_support.wcnf.xz2013-11-20 19:18 38K 
[ ]cat_paths_60_140_0001.dzn.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_140_0001.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_140_0001.uai.xz2013-11-20 19:18 3.0K 
[ ]cat_paths_60_140_0001.wcnf.xz2013-11-20 19:19 3.0K 
[ ]cat_paths_60_140_0001.wcsp.xz2013-11-20 19:19 2.9K 
[ ]cat_paths_60_140_0001_direct.lp.xz2013-11-20 19:19 3.1K 
[ ]cat_paths_60_140_0001_support.lp.xz2013-11-20 19:18 31K 
[ ]cat_paths_60_140_0001_support.wcnf.xz2013-11-20 19:18 38K 
[ ]cat_paths_60_140_0002.dzn.xz2013-11-20 19:19 1.1K 
[ ]cat_paths_60_140_0002.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_140_0002.uai.xz2013-11-20 19:18 2.8K 
[ ]cat_paths_60_140_0002.wcnf.xz2013-11-20 19:19 2.8K 
[ ]cat_paths_60_140_0002.wcsp.xz2013-11-20 19:19 2.7K 
[ ]cat_paths_60_140_0002_direct.lp.xz2013-11-20 19:18 3.0K 
[ ]cat_paths_60_140_0002_support.lp.xz2013-11-20 19:19 28K 
[ ]cat_paths_60_140_0002_support.wcnf.xz2013-11-20 19:18 34K 
[ ]cat_paths_60_140_0003.dzn.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_140_0003.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_140_0003.uai.xz2013-11-20 19:18 2.9K 
[ ]cat_paths_60_140_0003.wcnf.xz2013-11-20 19:19 2.9K 
[ ]cat_paths_60_140_0003.wcsp.xz2013-11-20 19:19 2.9K 
[ ]cat_paths_60_140_0003_direct.lp.xz2013-11-20 19:18 3.0K 
[ ]cat_paths_60_140_0003_support.lp.xz2013-11-20 19:18 29K 
[ ]cat_paths_60_140_0003_support.wcnf.xz2013-11-20 19:18 36K 
[ ]cat_paths_60_140_0004.dzn.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_140_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_140_0004.uai.xz2013-11-20 19:18 3.1K 
[ ]cat_paths_60_140_0004.wcnf.xz2013-11-20 19:19 3.2K 
[ ]cat_paths_60_140_0004.wcsp.xz2013-11-20 19:19 3.1K 
[ ]cat_paths_60_140_0004_direct.lp.xz2013-11-20 19:19 3.3K 
[ ]cat_paths_60_140_0004_support.lp.xz2013-11-20 19:18 33K 
[ ]cat_paths_60_140_0004_support.wcnf.xz2013-11-20 19:18 40K 
[ ]cat_paths_60_140_0005.dzn.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_140_0005.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_140_0005.uai.xz2013-11-20 19:19 2.8K 
[ ]cat_paths_60_140_0005.wcnf.xz2013-11-20 19:19 2.9K 
[ ]cat_paths_60_140_0005.wcsp.xz2013-11-20 19:19 2.8K 
[ ]cat_paths_60_140_0005_direct.lp.xz2013-11-20 19:18 3.0K 
[ ]cat_paths_60_140_0005_support.lp.xz2013-11-20 19:19 29K 
[ ]cat_paths_60_140_0005_support.wcnf.xz2013-11-20 19:18 36K 
[ ]cat_paths_60_140_0006.dzn.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_140_0006.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_140_0006.uai.xz2013-11-20 19:18 3.1K 
[ ]cat_paths_60_140_0006.wcnf.xz2013-11-20 19:18 3.1K 
[ ]cat_paths_60_140_0006.wcsp.xz2013-11-20 19:18 3.1K 
[ ]cat_paths_60_140_0006_direct.lp.xz2013-11-20 19:18 3.2K 
[ ]cat_paths_60_140_0006_support.lp.xz2013-11-20 19:18 32K 
[ ]cat_paths_60_140_0006_support.wcnf.xz2013-11-20 19:19 40K 
[ ]cat_paths_60_140_0007.dzn.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_140_0007.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_140_0007.uai.xz2013-11-20 19:18 2.7K 
[ ]cat_paths_60_140_0007.wcnf.xz2013-11-20 19:19 2.7K 
[ ]cat_paths_60_140_0007.wcsp.xz2013-11-20 19:18 2.6K 
[ ]cat_paths_60_140_0007_direct.lp.xz2013-11-20 19:19 2.8K 
[ ]cat_paths_60_140_0007_support.lp.xz2013-11-20 19:18 26K 
[ ]cat_paths_60_140_0007_support.wcnf.xz2013-11-20 19:19 30K 
[ ]cat_paths_60_150_0000.dzn.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_150_0000.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_150_0000.uai.xz2013-11-20 19:18 3.1K 
[ ]cat_paths_60_150_0000.wcnf.xz2013-11-20 19:18 3.1K 
[ ]cat_paths_60_150_0000.wcsp.xz2013-11-20 19:18 3.0K 
[ ]cat_paths_60_150_0000_direct.lp.xz2013-11-20 19:18 3.2K 
[ ]cat_paths_60_150_0000_support.lp.xz2013-11-20 19:19 32K 
[ ]cat_paths_60_150_0000_support.wcnf.xz2013-11-20 19:18 38K 
[ ]cat_paths_60_150_0001.dzn.xz2013-11-20 19:18 1.1K 
[ ]cat_paths_60_150_0001.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_150_0001.uai.xz2013-11-20 19:18 3.4K 
[ ]cat_paths_60_150_0001.wcnf.xz2013-11-20 19:18 3.5K 
[ ]cat_paths_60_150_0001.wcsp.xz2013-11-20 19:18 3.4K 
[ ]cat_paths_60_150_0001_direct.lp.xz2013-11-20 19:19 3.6K 
[ ]cat_paths_60_150_0001_support.lp.xz2013-11-20 19:19 37K 
[ ]cat_paths_60_150_0001_support.wcnf.xz2013-11-20 19:19 45K 
[ ]cat_paths_60_150_0002.dzn.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_150_0002.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_150_0002.uai.xz2013-11-20 19:18 3.1K 
[ ]cat_paths_60_150_0002.wcnf.xz2013-11-20 19:18 3.1K 
[ ]cat_paths_60_150_0002.wcsp.xz2013-11-20 19:19 3.0K 
[ ]cat_paths_60_150_0002_direct.lp.xz2013-11-20 19:18 3.2K 
[ ]cat_paths_60_150_0002_support.lp.xz2013-11-20 19:18 32K 
[ ]cat_paths_60_150_0002_support.wcnf.xz2013-11-20 19:19 38K 
[ ]cat_paths_60_150_0003.dzn.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_150_0003.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_150_0003.uai.xz2013-11-20 19:18 3.1K 
[ ]cat_paths_60_150_0003.wcnf.xz2013-11-20 19:19 3.2K 
[ ]cat_paths_60_150_0003.wcsp.xz2013-11-20 19:19 3.0K 
[ ]cat_paths_60_150_0003_direct.lp.xz2013-11-20 19:18 3.2K 
[ ]cat_paths_60_150_0003_support.lp.xz2013-11-20 19:18 31K 
[ ]cat_paths_60_150_0003_support.wcnf.xz2013-11-20 19:18 38K 
[ ]cat_paths_60_150_0004.dzn.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_150_0004.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_150_0004.uai.xz2013-11-20 19:18 2.8K 
[ ]cat_paths_60_150_0004.wcnf.xz2013-11-20 19:19 2.8K 
[ ]cat_paths_60_150_0004.wcsp.xz2013-11-20 19:19 2.6K 
[ ]cat_paths_60_150_0004_direct.lp.xz2013-11-20 19:18 2.9K 
[ ]cat_paths_60_150_0004_support.lp.xz2013-11-20 19:18 27K 
[ ]cat_paths_60_150_0004_support.wcnf.xz2013-11-20 19:19 32K 
[ ]cat_paths_60_150_0005.dzn.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_150_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_150_0005.uai.xz2013-11-20 19:19 3.2K 
[ ]cat_paths_60_150_0005.wcnf.xz2013-11-20 19:18 3.2K 
[ ]cat_paths_60_150_0005.wcsp.xz2013-11-20 19:19 3.2K 
[ ]cat_paths_60_150_0005_direct.lp.xz2013-11-20 19:19 3.3K 
[ ]cat_paths_60_150_0005_support.lp.xz2013-11-20 19:19 34K 
[ ]cat_paths_60_150_0005_support.wcnf.xz2013-11-20 19:18 41K 
[ ]cat_paths_60_150_0006.dzn.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_150_0006.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_150_0006.uai.xz2013-11-20 19:18 3.5K 
[ ]cat_paths_60_150_0006.wcnf.xz2013-11-20 19:18 3.8K 
[ ]cat_paths_60_150_0006.wcsp.xz2013-11-20 19:19 3.5K 
[ ]cat_paths_60_150_0006_direct.lp.xz2013-11-20 19:19 3.7K 
[ ]cat_paths_60_150_0006_support.lp.xz2013-11-20 19:18 40K 
[ ]cat_paths_60_150_0006_support.wcnf.xz2013-11-20 19:18 47K 
[ ]cat_paths_60_150_0007.dzn.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_150_0007.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_150_0007.uai.xz2013-11-20 19:18 3.2K 
[ ]cat_paths_60_150_0007.wcnf.xz2013-11-20 19:18 3.4K 
[ ]cat_paths_60_150_0007.wcsp.xz2013-11-20 19:18 3.2K 
[ ]cat_paths_60_150_0007_direct.lp.xz2013-11-20 19:19 3.4K 
[ ]cat_paths_60_150_0007_support.lp.xz2013-11-20 19:18 37K 
[ ]cat_paths_60_150_0007_support.wcnf.xz2013-11-20 19:19 44K 
[ ]cat_paths_60_160_0000.dzn.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_160_0000.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_160_0000.uai.xz2013-11-20 19:18 3.3K 
[ ]cat_paths_60_160_0000.wcnf.xz2013-11-20 19:18 3.3K 
[ ]cat_paths_60_160_0000.wcsp.xz2013-11-20 19:18 3.3K 
[ ]cat_paths_60_160_0000_direct.lp.xz2013-11-20 19:18 3.5K 
[ ]cat_paths_60_160_0000_support.lp.xz2013-11-20 19:19 35K 
[ ]cat_paths_60_160_0000_support.wcnf.xz2013-11-20 19:18 42K 
[ ]cat_paths_60_160_0001.dzn.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_160_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_160_0001.uai.xz2013-11-20 19:19 3.4K 
[ ]cat_paths_60_160_0001.wcnf.xz2013-11-20 19:19 3.4K 
[ ]cat_paths_60_160_0001.wcsp.xz2013-11-20 19:18 3.4K 
[ ]cat_paths_60_160_0001_direct.lp.xz2013-11-20 19:19 3.6K 
[ ]cat_paths_60_160_0001_support.lp.xz2013-11-20 19:19 36K 
[ ]cat_paths_60_160_0001_support.wcnf.xz2013-11-20 19:18 43K 
[ ]cat_paths_60_160_0002.dzn.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_160_0002.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_160_0002.uai.xz2013-11-20 19:18 3.4K 
[ ]cat_paths_60_160_0002.wcnf.xz2013-11-20 19:19 3.4K 
[ ]cat_paths_60_160_0002.wcsp.xz2013-11-20 19:19 3.4K 
[ ]cat_paths_60_160_0002_direct.lp.xz2013-11-20 19:19 3.5K 
[ ]cat_paths_60_160_0002_support.lp.xz2013-11-20 19:19 36K 
[ ]cat_paths_60_160_0002_support.wcnf.xz2013-11-20 19:18 42K 
[ ]cat_paths_60_160_0003.dzn.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_160_0003.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_160_0003.uai.xz2013-11-20 19:19 3.5K 
[ ]cat_paths_60_160_0003.wcnf.xz2013-11-20 19:18 3.6K 
[ ]cat_paths_60_160_0003.wcsp.xz2013-11-20 19:18 3.4K 
[ ]cat_paths_60_160_0003_direct.lp.xz2013-11-20 19:18 3.6K 
[ ]cat_paths_60_160_0003_support.lp.xz2013-11-20 19:18 37K 
[ ]cat_paths_60_160_0003_support.wcnf.xz2013-11-20 19:18 44K 
[ ]cat_paths_60_160_0004.dzn.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_160_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_160_0004.uai.xz2013-11-20 19:19 3.8K 
[ ]cat_paths_60_160_0004.wcnf.xz2013-11-20 19:18 3.9K 
[ ]cat_paths_60_160_0004.wcsp.xz2013-11-20 19:18 3.9K 
[ ]cat_paths_60_160_0004_direct.lp.xz2013-11-20 19:19 3.9K 
[ ]cat_paths_60_160_0004_support.lp.xz2013-11-20 19:18 43K 
[ ]cat_paths_60_160_0004_support.wcnf.xz2013-11-20 19:18 52K 
[ ]cat_paths_60_160_0005.dzn.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_160_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_160_0005.uai.xz2013-11-20 19:19 3.4K 
[ ]cat_paths_60_160_0005.wcnf.xz2013-11-20 19:19 3.4K 
[ ]cat_paths_60_160_0005.wcsp.xz2013-11-20 19:18 3.3K 
[ ]cat_paths_60_160_0005_direct.lp.xz2013-11-20 19:19 3.5K 
[ ]cat_paths_60_160_0005_support.lp.xz2013-11-20 19:19 36K 
[ ]cat_paths_60_160_0005_support.wcnf.xz2013-11-20 19:18 42K 
[ ]cat_paths_60_160_0006.dzn.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_160_0006.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_160_0006.uai.xz2013-11-20 19:18 3.2K 
[ ]cat_paths_60_160_0006.wcnf.xz2013-11-20 19:19 3.4K 
[ ]cat_paths_60_160_0006.wcsp.xz2013-11-20 19:19 3.2K 
[ ]cat_paths_60_160_0006_direct.lp.xz2013-11-20 19:18 3.4K 
[ ]cat_paths_60_160_0006_support.lp.xz2013-11-20 19:19 34K 
[ ]cat_paths_60_160_0006_support.wcnf.xz2013-11-20 19:18 40K 
[ ]cat_paths_60_160_0007.dzn.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_160_0007.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_160_0007.uai.xz2013-11-20 19:19 3.3K 
[ ]cat_paths_60_160_0007.wcnf.xz2013-11-20 19:19 3.3K 
[ ]cat_paths_60_160_0007.wcsp.xz2013-11-20 19:18 3.2K 
[ ]cat_paths_60_160_0007_direct.lp.xz2013-11-20 19:19 3.5K 
[ ]cat_paths_60_160_0007_support.lp.xz2013-11-20 19:18 35K 
[ ]cat_paths_60_160_0007_support.wcnf.xz2013-11-20 19:18 40K 
[ ]cat_paths_60_170_0000.dzn.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_170_0000.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_170_0000.uai.xz2013-11-20 19:19 3.9K 
[ ]cat_paths_60_170_0000.wcnf.xz2013-11-20 19:18 3.9K 
[ ]cat_paths_60_170_0000.wcsp.xz2013-11-20 19:18 3.8K 
[ ]cat_paths_60_170_0000_direct.lp.xz2013-11-20 19:19 4.0K 
[ ]cat_paths_60_170_0000_support.lp.xz2013-11-20 19:19 43K 
[ ]cat_paths_60_170_0000_support.wcnf.xz2013-11-20 19:19 51K 
[ ]cat_paths_60_170_0003.dzn.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_170_0003.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_170_0003.uai.xz2013-11-20 19:18 4.0K 
[ ]cat_paths_60_170_0003.wcnf.xz2013-11-20 19:18 4.0K 
[ ]cat_paths_60_170_0003.wcsp.xz2013-11-20 19:18 4.0K 
[ ]cat_paths_60_170_0003_direct.lp.xz2013-11-20 19:18 4.2K 
[ ]cat_paths_60_170_0003_support.lp.xz2013-11-20 19:19 45K 
[ ]cat_paths_60_170_0003_support.wcnf.xz2013-11-20 19:18 55K 
[ ]cat_paths_60_170_0004.dzn.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_170_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_170_0004.uai.xz2013-11-20 19:18 3.7K 
[ ]cat_paths_60_170_0004.wcnf.xz2013-11-20 19:19 3.7K 
[ ]cat_paths_60_170_0004.wcsp.xz2013-11-20 19:19 3.6K 
[ ]cat_paths_60_170_0004_direct.lp.xz2013-11-20 19:18 3.8K 
[ ]cat_paths_60_170_0004_support.lp.xz2013-11-20 19:18 39K 
[ ]cat_paths_60_170_0004_support.wcnf.xz2013-11-20 19:18 46K 
[ ]cat_paths_60_170_0005.dzn.xz2013-11-20 19:19 1.2K 
[ ]cat_paths_60_170_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_paths_60_170_0005.uai.xz2013-11-20 19:19 3.3K 
[ ]cat_paths_60_170_0005.wcnf.xz2013-11-20 19:18 3.3K 
[ ]cat_paths_60_170_0005.wcsp.xz2013-11-20 19:19 3.1K 
[ ]cat_paths_60_170_0005_direct.lp.xz2013-11-20 19:18 3.5K 
[ ]cat_paths_60_170_0005_support.lp.xz2013-11-20 19:18 33K 
[ ]cat_paths_60_170_0005_support.wcnf.xz2013-11-20 19:18 38K 
[ ]cat_paths_60_170_0006.dzn.xz2013-11-20 19:19 1.3K 
[ ]cat_paths_60_170_0006.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_170_0006.uai.xz2013-11-20 19:19 3.9K 
[ ]cat_paths_60_170_0006.wcnf.xz2013-11-20 19:18 4.0K 
[ ]cat_paths_60_170_0006.wcsp.xz2013-11-20 19:18 3.9K 
[ ]cat_paths_60_170_0006_direct.lp.xz2013-11-20 19:18 4.2K 
[ ]cat_paths_60_170_0006_support.lp.xz2013-11-20 19:19 45K 
[ ]cat_paths_60_170_0006_support.wcnf.xz2013-11-20 19:18 54K 
[ ]cat_paths_60_170_0007.dzn.xz2013-11-20 19:18 1.2K 
[ ]cat_paths_60_170_0007.uai.evid2013-11-20 19:18 2  
[ ]cat_paths_60_170_0007.uai.xz2013-11-20 19:18 3.9K 
[ ]cat_paths_60_170_0007.wcnf.xz2013-11-20 19:19 4.1K 
[ ]cat_paths_60_170_0007.wcsp.xz2013-11-20 19:18 3.9K 
[ ]cat_paths_60_170_0007_direct.lp.xz2013-11-20 19:18 4.0K 
[ ]cat_paths_60_170_0007_support.lp.xz2013-11-20 19:18 43K 
[ ]cat_paths_60_170_0007_support.wcnf.xz2013-11-20 19:18 50K 
[ ]cat_sched_60_70_0000.dzn.xz2013-11-20 19:18 700  
[ ]cat_sched_60_70_0000.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_70_0000.uai.xz2013-11-20 19:19 1.7K 
[ ]cat_sched_60_70_0000.wcnf.xz2013-11-20 19:19 1.8K 
[ ]cat_sched_60_70_0000.wcsp.xz2013-11-20 19:19 1.9K 
[ ]cat_sched_60_70_0000_direct.lp.xz2013-11-20 19:18 2.1K 
[ ]cat_sched_60_70_0000_support.lp.xz2013-11-20 19:19 31K 
[ ]cat_sched_60_70_0000_support.wcnf.xz2013-11-20 19:18 44K 
[ ]cat_sched_60_70_0001.dzn.xz2013-11-20 19:19 688  
[ ]cat_sched_60_70_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_70_0001.uai.xz2013-11-20 19:18 1.5K 
[ ]cat_sched_60_70_0001.wcnf.xz2013-11-20 19:19 1.7K 
[ ]cat_sched_60_70_0001.wcsp.xz2013-11-20 19:18 1.8K 
[ ]cat_sched_60_70_0001_direct.lp.xz2013-11-20 19:18 2.1K 
[ ]cat_sched_60_70_0001_support.lp.xz2013-11-20 19:19 29K 
[ ]cat_sched_60_70_0001_support.wcnf.xz2013-11-20 19:18 43K 
[ ]cat_sched_60_70_0002.dzn.xz2013-11-20 19:19 772  
[ ]cat_sched_60_70_0002.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_70_0002.uai.xz2013-11-20 19:18 2.2K 
[ ]cat_sched_60_70_0002.wcnf.xz2013-11-20 19:18 2.3K 
[ ]cat_sched_60_70_0002.wcsp.xz2013-11-20 19:18 2.5K 
[ ]cat_sched_60_70_0002_direct.lp.xz2013-11-20 19:18 2.6K 
[ ]cat_sched_60_70_0002_support.lp.xz2013-11-20 19:18 38K 
[ ]cat_sched_60_70_0002_support.wcnf.xz2013-11-20 19:18 53K 
[ ]cat_sched_60_70_0003.dzn.xz2013-11-20 19:19 684  
[ ]cat_sched_60_70_0003.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_70_0003.uai.xz2013-11-20 19:19 1.5K 
[ ]cat_sched_60_70_0003.wcnf.xz2013-11-20 19:18 1.7K 
[ ]cat_sched_60_70_0003.wcsp.xz2013-11-20 19:18 1.6K 
[ ]cat_sched_60_70_0003_direct.lp.xz2013-11-20 19:18 2.1K 
[ ]cat_sched_60_70_0003_support.lp.xz2013-11-20 19:19 26K 
[ ]cat_sched_60_70_0003_support.wcnf.xz2013-11-20 19:18 36K 
[ ]cat_sched_60_70_0004.dzn.xz2013-11-20 19:19 708  
[ ]cat_sched_60_70_0004.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_70_0004.uai.xz2013-11-20 19:18 1.9K 
[ ]cat_sched_60_70_0004.wcnf.xz2013-11-20 19:18 2.0K 
[ ]cat_sched_60_70_0004.wcsp.xz2013-11-20 19:19 2.4K 
[ ]cat_sched_60_70_0004_direct.lp.xz2013-11-20 19:18 2.2K 
[ ]cat_sched_60_70_0004_support.lp.xz2013-11-20 19:18 34K 
[ ]cat_sched_60_70_0004_support.wcnf.xz2013-11-20 19:19 50K 
[ ]cat_sched_60_70_0005.dzn.xz2013-11-20 19:18 728  
[ ]cat_sched_60_70_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_70_0005.uai.xz2013-11-20 19:18 2.2K 
[ ]cat_sched_60_70_0005.wcnf.xz2013-11-20 19:18 2.2K 
[ ]cat_sched_60_70_0005.wcsp.xz2013-11-20 19:18 2.8K 
[ ]cat_sched_60_70_0005_direct.lp.xz2013-11-20 19:19 2.5K 
[ ]cat_sched_60_70_0005_support.lp.xz2013-11-20 19:19 40K 
[ ]cat_sched_60_70_0005_support.wcnf.xz2013-11-20 19:18 55K 
[ ]cat_sched_60_80_0000.dzn.xz2013-11-20 19:18 628  
[ ]cat_sched_60_80_0000.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_80_0000.uai.xz2013-11-20 19:18 2.2K 
[ ]cat_sched_60_80_0000.wcnf.xz2013-11-20 19:18 2.4K 
[ ]cat_sched_60_80_0000.wcsp.xz2013-11-20 19:18 2.7K 
[ ]cat_sched_60_80_0000_direct.lp.xz2013-11-20 19:19 2.8K 
[ ]cat_sched_60_80_0000_support.lp.xz2013-11-20 19:18 41K 
[ ]cat_sched_60_80_0000_support.wcnf.xz2013-11-20 19:18 58K 
[ ]cat_sched_60_80_0001.dzn.xz2013-11-20 19:18 600  
[ ]cat_sched_60_80_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_80_0001.uai.xz2013-11-20 19:19 1.5K 
[ ]cat_sched_60_80_0001.wcnf.xz2013-11-20 19:18 1.6K 
[ ]cat_sched_60_80_0001.wcsp.xz2013-11-20 19:19 1.7K 
[ ]cat_sched_60_80_0001_direct.lp.xz2013-11-20 19:18 1.9K 
[ ]cat_sched_60_80_0001_support.lp.xz2013-11-20 19:18 25K 
[ ]cat_sched_60_80_0001_support.wcnf.xz2013-11-20 19:19 36K 
[ ]cat_sched_60_80_0002.dzn.xz2013-11-20 19:18 684  
[ ]cat_sched_60_80_0002.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_80_0002.uai.xz2013-11-20 19:19 2.6K 
[ ]cat_sched_60_80_0002.wcnf.xz2013-11-20 19:19 2.6K 
[ ]cat_sched_60_80_0002.wcsp.xz2013-11-20 19:19 2.9K 
[ ]cat_sched_60_80_0002_direct.lp.xz2013-11-20 19:19 3.0K 
[ ]cat_sched_60_80_0002_support.lp.xz2013-11-20 19:18 45K 
[ ]cat_sched_60_80_0002_support.wcnf.xz2013-11-20 19:18 62K 
[ ]cat_sched_60_80_0003.dzn.xz2013-11-20 19:19 732  
[ ]cat_sched_60_80_0003.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_80_0003.uai.xz2013-11-20 19:19 2.0K 
[ ]cat_sched_60_80_0003.wcnf.xz2013-11-20 19:19 2.2K 
[ ]cat_sched_60_80_0003.wcsp.xz2013-11-20 19:19 2.5K 
[ ]cat_sched_60_80_0003_direct.lp.xz2013-11-20 19:18 2.6K 
[ ]cat_sched_60_80_0003_support.lp.xz2013-11-20 19:19 38K 
[ ]cat_sched_60_80_0003_support.wcnf.xz2013-11-20 19:18 50K 
[ ]cat_sched_60_80_0004.dzn.xz2013-11-20 19:19 712  
[ ]cat_sched_60_80_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_80_0004.uai.xz2013-11-20 19:19 2.2K 
[ ]cat_sched_60_80_0004.wcnf.xz2013-11-20 19:18 2.3K 
[ ]cat_sched_60_80_0004.wcsp.xz2013-11-20 19:18 2.6K 
[ ]cat_sched_60_80_0004_direct.lp.xz2013-11-20 19:19 2.7K 
[ ]cat_sched_60_80_0004_support.lp.xz2013-11-20 19:19 39K 
[ ]cat_sched_60_80_0004_support.wcnf.xz2013-11-20 19:18 56K 
[ ]cat_sched_60_80_0005.dzn.xz2013-11-20 19:18 700  
[ ]cat_sched_60_80_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_80_0005.uai.xz2013-11-20 19:18 2.0K 
[ ]cat_sched_60_80_0005.wcnf.xz2013-11-20 19:18 2.1K 
[ ]cat_sched_60_80_0005.wcsp.xz2013-11-20 19:18 2.2K 
[ ]cat_sched_60_80_0005_direct.lp.xz2013-11-20 19:18 2.5K 
[ ]cat_sched_60_80_0005_support.lp.xz2013-11-20 19:18 35K 
[ ]cat_sched_60_80_0005_support.wcnf.xz2013-11-20 19:18 49K 
[ ]cat_sched_60_90_0000.dzn.xz2013-11-20 19:19 676  
[ ]cat_sched_60_90_0000.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_90_0000.uai.xz2013-11-20 19:18 1.6K 
[ ]cat_sched_60_90_0000.wcnf.xz2013-11-20 19:19 1.8K 
[ ]cat_sched_60_90_0000.wcsp.xz2013-11-20 19:18 1.8K 
[ ]cat_sched_60_90_0000_direct.lp.xz2013-11-20 19:19 2.1K 
[ ]cat_sched_60_90_0000_support.lp.xz2013-11-20 19:18 28K 
[ ]cat_sched_60_90_0000_support.wcnf.xz2013-11-20 19:19 43K 
[ ]cat_sched_60_90_0001.dzn.xz2013-11-20 19:19 712  
[ ]cat_sched_60_90_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_90_0001.uai.xz2013-11-20 19:18 2.1K 
[ ]cat_sched_60_90_0001.wcnf.xz2013-11-20 19:18 2.2K 
[ ]cat_sched_60_90_0001.wcsp.xz2013-11-20 19:18 2.3K 
[ ]cat_sched_60_90_0001_direct.lp.xz2013-11-20 19:18 2.3K 
[ ]cat_sched_60_90_0001_support.lp.xz2013-11-20 19:19 38K 
[ ]cat_sched_60_90_0001_support.wcnf.xz2013-11-20 19:19 55K 
[ ]cat_sched_60_90_0002.dzn.xz2013-11-20 19:18 716  
[ ]cat_sched_60_90_0002.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_90_0002.uai.xz2013-11-20 19:19 2.0K 
[ ]cat_sched_60_90_0002.wcnf.xz2013-11-20 19:19 2.2K 
[ ]cat_sched_60_90_0002.wcsp.xz2013-11-20 19:18 2.5K 
[ ]cat_sched_60_90_0002_direct.lp.xz2013-11-20 19:19 2.4K 
[ ]cat_sched_60_90_0002_support.lp.xz2013-11-20 19:19 40K 
[ ]cat_sched_60_90_0002_support.wcnf.xz2013-11-20 19:18 53K 
[ ]cat_sched_60_90_0003.dzn.xz2013-11-20 19:19 636  
[ ]cat_sched_60_90_0003.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_90_0003.uai.xz2013-11-20 19:19 1.7K 
[ ]cat_sched_60_90_0003.wcnf.xz2013-11-20 19:19 1.9K 
[ ]cat_sched_60_90_0003.wcsp.xz2013-11-20 19:19 1.9K 
[ ]cat_sched_60_90_0003_direct.lp.xz2013-11-20 19:18 2.1K 
[ ]cat_sched_60_90_0003_support.lp.xz2013-11-20 19:19 30K 
[ ]cat_sched_60_90_0003_support.wcnf.xz2013-11-20 19:19 45K 
[ ]cat_sched_60_90_0004.dzn.xz2013-11-20 19:19 660  
[ ]cat_sched_60_90_0004.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_90_0004.uai.xz2013-11-20 19:19 2.2K 
[ ]cat_sched_60_90_0004.wcnf.xz2013-11-20 19:19 2.5K 
[ ]cat_sched_60_90_0004.wcsp.xz2013-11-20 19:19 2.3K 
[ ]cat_sched_60_90_0004_direct.lp.xz2013-11-20 19:18 2.6K 
[ ]cat_sched_60_90_0004_support.lp.xz2013-11-20 19:18 39K 
[ ]cat_sched_60_90_0004_support.wcnf.xz2013-11-20 19:18 55K 
[ ]cat_sched_60_90_0005.dzn.xz2013-11-20 19:18 680  
[ ]cat_sched_60_90_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_90_0005.uai.xz2013-11-20 19:19 1.6K 
[ ]cat_sched_60_90_0005.wcnf.xz2013-11-20 19:18 1.8K 
[ ]cat_sched_60_90_0005.wcsp.xz2013-11-20 19:18 1.9K 
[ ]cat_sched_60_90_0005_direct.lp.xz2013-11-20 19:18 2.1K 
[ ]cat_sched_60_90_0005_support.lp.xz2013-11-20 19:19 32K 
[ ]cat_sched_60_90_0005_support.wcnf.xz2013-11-20 19:19 44K 
[ ]cat_sched_60_100_0000.dzn.xz2013-11-20 19:19 864  
[ ]cat_sched_60_100_0000.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_100_0000.uai.xz2013-11-20 19:18 3.3K 
[ ]cat_sched_60_100_0000.wcnf.xz2013-11-20 19:18 4.1K 
[ ]cat_sched_60_100_0000.wcsp.xz2013-11-20 19:18 4.1K 
[ ]cat_sched_60_100_0000_direct.lp.xz2013-11-20 19:18 3.9K 
[ ]cat_sched_60_100_0000_support.lp.xz2013-11-20 19:19 67K 
[ ]cat_sched_60_100_0000_support.wcnf.xz2013-11-20 19:19 95K 
[ ]cat_sched_60_100_0001.dzn.xz2013-11-20 19:18 724  
[ ]cat_sched_60_100_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_100_0001.uai.xz2013-11-20 19:18 2.2K 
[ ]cat_sched_60_100_0001.wcnf.xz2013-11-20 19:19 2.4K 
[ ]cat_sched_60_100_0001.wcsp.xz2013-11-20 19:19 2.5K 
[ ]cat_sched_60_100_0001_direct.lp.xz2013-11-20 19:19 2.6K 
[ ]cat_sched_60_100_0001_support.lp.xz2013-11-20 19:19 41K 
[ ]cat_sched_60_100_0001_support.wcnf.xz2013-11-20 19:19 57K 
[ ]cat_sched_60_100_0002.dzn.xz2013-11-20 19:19 756  
[ ]cat_sched_60_100_0002.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_100_0002.uai.xz2013-11-20 19:18 2.2K 
[ ]cat_sched_60_100_0002.wcnf.xz2013-11-20 19:18 2.5K 
[ ]cat_sched_60_100_0002.wcsp.xz2013-11-20 19:19 3.3K 
[ ]cat_sched_60_100_0002_direct.lp.xz2013-11-20 19:19 2.9K 
[ ]cat_sched_60_100_0002_support.lp.xz2013-11-20 19:18 44K 
[ ]cat_sched_60_100_0002_support.wcnf.xz2013-11-20 19:18 59K 
[ ]cat_sched_60_100_0003.dzn.xz2013-11-20 19:18 752  
[ ]cat_sched_60_100_0003.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_100_0003.uai.xz2013-11-20 19:18 2.5K 
[ ]cat_sched_60_100_0003.wcnf.xz2013-11-20 19:18 2.6K 
[ ]cat_sched_60_100_0003.wcsp.xz2013-11-20 19:19 2.8K 
[ ]cat_sched_60_100_0003_direct.lp.xz2013-11-20 19:19 3.2K 
[ ]cat_sched_60_100_0003_support.lp.xz2013-11-20 19:18 43K 
[ ]cat_sched_60_100_0003_support.wcnf.xz2013-11-20 19:18 59K 
[ ]cat_sched_60_100_0004.dzn.xz2013-11-20 19:18 744  
[ ]cat_sched_60_100_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_100_0004.uai.xz2013-11-20 19:19 2.2K 
[ ]cat_sched_60_100_0004.wcnf.xz2013-11-20 19:18 2.2K 
[ ]cat_sched_60_100_0004.wcsp.xz2013-11-20 19:18 2.7K 
[ ]cat_sched_60_100_0004_direct.lp.xz2013-11-20 19:18 2.9K 
[ ]cat_sched_60_100_0004_support.lp.xz2013-11-20 19:18 40K 
[ ]cat_sched_60_100_0004_support.wcnf.xz2013-11-20 19:19 56K 
[ ]cat_sched_60_100_0005.dzn.xz2013-11-20 19:19 740  
[ ]cat_sched_60_100_0005.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_100_0005.uai.xz2013-11-20 19:18 2.0K 
[ ]cat_sched_60_100_0005.wcnf.xz2013-11-20 19:18 2.2K 
[ ]cat_sched_60_100_0005.wcsp.xz2013-11-20 19:18 2.2K 
[ ]cat_sched_60_100_0005_direct.lp.xz2013-11-20 19:19 2.5K 
[ ]cat_sched_60_100_0005_support.lp.xz2013-11-20 19:18 33K 
[ ]cat_sched_60_100_0005_support.wcnf.xz2013-11-20 19:19 48K 
[ ]cat_sched_60_110_0000.dzn.xz2013-11-20 19:18 808  
[ ]cat_sched_60_110_0000.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_110_0000.uai.xz2013-11-20 19:19 3.6K 
[ ]cat_sched_60_110_0000.wcnf.xz2013-11-20 19:18 3.8K 
[ ]cat_sched_60_110_0000.wcsp.xz2013-11-20 19:18 4.2K 
[ ]cat_sched_60_110_0000_direct.lp.xz2013-11-20 19:19 4.2K 
[ ]cat_sched_60_110_0000_support.lp.xz2013-11-20 19:18 66K 
[ ]cat_sched_60_110_0000_support.wcnf.xz2013-11-20 19:19 104K 
[ ]cat_sched_60_110_0001.dzn.xz2013-11-20 19:18 820  
[ ]cat_sched_60_110_0001.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_110_0001.uai.xz2013-11-20 19:19 3.4K 
[ ]cat_sched_60_110_0001.wcnf.xz2013-11-20 19:19 3.6K 
[ ]cat_sched_60_110_0001.wcsp.xz2013-11-20 19:18 3.9K 
[ ]cat_sched_60_110_0001_direct.lp.xz2013-11-20 19:19 3.8K 
[ ]cat_sched_60_110_0001_support.lp.xz2013-11-20 19:19 66K 
[ ]cat_sched_60_110_0001_support.wcnf.xz2013-11-20 19:18 94K 
[ ]cat_sched_60_110_0002.dzn.xz2013-11-20 19:18 840  
[ ]cat_sched_60_110_0002.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_110_0002.uai.xz2013-11-20 19:19 2.8K 
[ ]cat_sched_60_110_0002.wcnf.xz2013-11-20 19:19 2.9K 
[ ]cat_sched_60_110_0002.wcsp.xz2013-11-20 19:19 3.5K 
[ ]cat_sched_60_110_0002_direct.lp.xz2013-11-20 19:18 3.4K 
[ ]cat_sched_60_110_0002_support.lp.xz2013-11-20 19:19 51K 
[ ]cat_sched_60_110_0002_support.wcnf.xz2013-11-20 19:19 73K 
[ ]cat_sched_60_110_0003.dzn.xz2013-11-20 19:18 800  
[ ]cat_sched_60_110_0003.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_110_0003.uai.xz2013-11-20 19:18 2.7K 
[ ]cat_sched_60_110_0003.wcnf.xz2013-11-20 19:19 3.0K 
[ ]cat_sched_60_110_0003.wcsp.xz2013-11-20 19:19 3.1K 
[ ]cat_sched_60_110_0003_direct.lp.xz2013-11-20 19:18 3.2K 
[ ]cat_sched_60_110_0003_support.lp.xz2013-11-20 19:18 52K 
[ ]cat_sched_60_110_0003_support.wcnf.xz2013-11-20 19:18 69K 
[ ]cat_sched_60_110_0004.dzn.xz2013-11-20 19:19 764  
[ ]cat_sched_60_110_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_110_0004.uai.xz2013-11-20 19:19 2.5K 
[ ]cat_sched_60_110_0004.wcnf.xz2013-11-20 19:18 2.7K 
[ ]cat_sched_60_110_0004.wcsp.xz2013-11-20 19:18 2.9K 
[ ]cat_sched_60_110_0004_direct.lp.xz2013-11-20 19:18 3.0K 
[ ]cat_sched_60_110_0004_support.lp.xz2013-11-20 19:19 45K 
[ ]cat_sched_60_110_0004_support.wcnf.xz2013-11-20 19:19 62K 
[ ]cat_sched_60_110_0005.dzn.xz2013-11-20 19:19 712  
[ ]cat_sched_60_110_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_110_0005.uai.xz2013-11-20 19:18 2.6K 
[ ]cat_sched_60_110_0005.wcnf.xz2013-11-20 19:18 2.7K 
[ ]cat_sched_60_110_0005.wcsp.xz2013-11-20 19:18 3.0K 
[ ]cat_sched_60_110_0005_direct.lp.xz2013-11-20 19:19 3.2K 
[ ]cat_sched_60_110_0005_support.lp.xz2013-11-20 19:18 47K 
[ ]cat_sched_60_110_0005_support.wcnf.xz2013-11-20 19:19 66K 
[ ]cat_sched_60_120_0000.dzn.xz2013-11-20 19:18 816  
[ ]cat_sched_60_120_0000.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_120_0000.uai.xz2013-11-20 19:19 3.7K 
[ ]cat_sched_60_120_0000.wcnf.xz2013-11-20 19:18 4.1K 
[ ]cat_sched_60_120_0000.wcsp.xz2013-11-20 19:18 4.3K 
[ ]cat_sched_60_120_0000_direct.lp.xz2013-11-20 19:18 4.4K 
[ ]cat_sched_60_120_0000_support.lp.xz2013-11-20 19:19 66K 
[ ]cat_sched_60_120_0000_support.wcnf.xz2013-11-20 19:18 102K 
[ ]cat_sched_60_120_0001.dzn.xz2013-11-20 19:18 844  
[ ]cat_sched_60_120_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_120_0001.uai.xz2013-11-20 19:18 3.5K 
[ ]cat_sched_60_120_0001.wcnf.xz2013-11-20 19:19 4.3K 
[ ]cat_sched_60_120_0001.wcsp.xz2013-11-20 19:18 4.1K 
[ ]cat_sched_60_120_0001_direct.lp.xz2013-11-20 19:19 4.2K 
[ ]cat_sched_60_120_0001_support.lp.xz2013-11-20 19:19 68K 
[ ]cat_sched_60_120_0001_support.wcnf.xz2013-11-20 19:19 108K 
[ ]cat_sched_60_120_0002.dzn.xz2013-11-20 19:18 884  
[ ]cat_sched_60_120_0002.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_120_0002.uai.xz2013-11-20 19:19 3.3K 
[ ]cat_sched_60_120_0002.wcnf.xz2013-11-20 19:18 3.7K 
[ ]cat_sched_60_120_0002.wcsp.xz2013-11-20 19:18 3.7K 
[ ]cat_sched_60_120_0002_direct.lp.xz2013-11-20 19:19 4.0K 
[ ]cat_sched_60_120_0002_support.lp.xz2013-11-20 19:18 65K 
[ ]cat_sched_60_120_0002_support.wcnf.xz2013-11-20 19:18 91K 
[ ]cat_sched_60_120_0003.dzn.xz2013-11-20 19:19 736  
[ ]cat_sched_60_120_0003.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_120_0003.uai.xz2013-11-20 19:18 3.5K 
[ ]cat_sched_60_120_0003.wcnf.xz2013-11-20 19:19 4.3K 
[ ]cat_sched_60_120_0003.wcsp.xz2013-11-20 19:18 4.3K 
[ ]cat_sched_60_120_0003_direct.lp.xz2013-11-20 19:19 3.9K 
[ ]cat_sched_60_120_0003_support.lp.xz2013-11-20 19:18 60K 
[ ]cat_sched_60_120_0003_support.wcnf.xz2013-11-20 19:19 94K 
[ ]cat_sched_60_120_0004.dzn.xz2013-11-20 19:18 784  
[ ]cat_sched_60_120_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_120_0004.uai.xz2013-11-20 19:19 3.9K 
[ ]cat_sched_60_120_0004.wcnf.xz2013-11-20 19:18 3.8K 
[ ]cat_sched_60_120_0004.wcsp.xz2013-11-20 19:18 4.2K 
[ ]cat_sched_60_120_0004_direct.lp.xz2013-11-20 19:18 4.3K 
[ ]cat_sched_60_120_0004_support.lp.xz2013-11-20 19:19 69K 
[ ]cat_sched_60_120_0004_support.wcnf.xz2013-11-20 19:19 106K 
[ ]cat_sched_60_120_0005.dzn.xz2013-11-20 19:18 784  
[ ]cat_sched_60_120_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_120_0005.uai.xz2013-11-20 19:19 3.2K 
[ ]cat_sched_60_120_0005.wcnf.xz2013-11-20 19:18 3.8K 
[ ]cat_sched_60_120_0005.wcsp.xz2013-11-20 19:19 3.9K 
[ ]cat_sched_60_120_0005_direct.lp.xz2013-11-20 19:18 3.9K 
[ ]cat_sched_60_120_0005_support.lp.xz2013-11-20 19:18 60K 
[ ]cat_sched_60_120_0005_support.wcnf.xz2013-11-20 19:19 86K 
[ ]cat_sched_60_130_0000.dzn.xz2013-11-20 19:18 896  
[ ]cat_sched_60_130_0000.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_130_0000.uai.xz2013-11-20 19:19 3.7K 
[ ]cat_sched_60_130_0000.wcnf.xz2013-11-20 19:19 4.4K 
[ ]cat_sched_60_130_0000.wcsp.xz2013-11-20 19:18 4.7K 
[ ]cat_sched_60_130_0000_direct.lp.xz2013-11-20 19:18 4.2K 
[ ]cat_sched_60_130_0000_support.lp.xz2013-11-20 19:19 65K 
[ ]cat_sched_60_130_0000_support.wcnf.xz2013-11-20 19:19 102K 
[ ]cat_sched_60_130_0001.dzn.xz2013-11-20 19:18 856  
[ ]cat_sched_60_130_0001.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_130_0001.uai.xz2013-11-20 19:18 3.1K 
[ ]cat_sched_60_130_0001.wcnf.xz2013-11-20 19:18 3.4K 
[ ]cat_sched_60_130_0001.wcsp.xz2013-11-20 19:19 3.6K 
[ ]cat_sched_60_130_0001_direct.lp.xz2013-11-20 19:19 3.8K 
[ ]cat_sched_60_130_0001_support.lp.xz2013-11-20 19:18 58K 
[ ]cat_sched_60_130_0001_support.wcnf.xz2013-11-20 19:18 79K 
[ ]cat_sched_60_130_0002.dzn.xz2013-11-20 19:19 860  
[ ]cat_sched_60_130_0002.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_130_0002.uai.xz2013-11-20 19:19 3.4K 
[ ]cat_sched_60_130_0002.wcnf.xz2013-11-20 19:18 3.8K 
[ ]cat_sched_60_130_0002.wcsp.xz2013-11-20 19:19 3.9K 
[ ]cat_sched_60_130_0002_direct.lp.xz2013-11-20 19:18 4.1K 
[ ]cat_sched_60_130_0002_support.lp.xz2013-11-20 19:18 62K 
[ ]cat_sched_60_130_0002_support.wcnf.xz2013-11-20 19:18 91K 
[ ]cat_sched_60_130_0003.dzn.xz2013-11-20 19:19 808  
[ ]cat_sched_60_130_0003.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_130_0003.uai.xz2013-11-20 19:19 2.9K 
[ ]cat_sched_60_130_0003.wcnf.xz2013-11-20 19:18 3.6K 
[ ]cat_sched_60_130_0003.wcsp.xz2013-11-20 19:18 3.8K 
[ ]cat_sched_60_130_0003_direct.lp.xz2013-11-20 19:18 3.6K 
[ ]cat_sched_60_130_0003_support.lp.xz2013-11-20 19:18 61K 
[ ]cat_sched_60_130_0003_support.wcnf.xz2013-11-20 19:18 86K 
[ ]cat_sched_60_130_0004.dzn.xz2013-11-20 19:18 820  
[ ]cat_sched_60_130_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_130_0004.uai.xz2013-11-20 19:18 3.9K 
[ ]cat_sched_60_130_0004.wcnf.xz2013-11-20 19:19 3.9K 
[ ]cat_sched_60_130_0004.wcsp.xz2013-11-20 19:18 4.3K 
[ ]cat_sched_60_130_0004_direct.lp.xz2013-11-20 19:19 4.4K 
[ ]cat_sched_60_130_0004_support.lp.xz2013-11-20 19:19 68K 
[ ]cat_sched_60_130_0004_support.wcnf.xz2013-11-20 19:18 104K 
[ ]cat_sched_60_130_0005.dzn.xz2013-11-20 19:19 848  
[ ]cat_sched_60_130_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_130_0005.uai.xz2013-11-20 19:19 3.1K 
[ ]cat_sched_60_130_0005.wcnf.xz2013-11-20 19:18 3.8K 
[ ]cat_sched_60_130_0005.wcsp.xz2013-11-20 19:19 4.1K 
[ ]cat_sched_60_130_0005_direct.lp.xz2013-11-20 19:19 3.7K 
[ ]cat_sched_60_130_0005_support.lp.xz2013-11-20 19:19 59K 
[ ]cat_sched_60_130_0005_support.wcnf.xz2013-11-20 19:18 83K 
[ ]cat_sched_60_140_0000.dzn.xz2013-11-20 19:19 840  
[ ]cat_sched_60_140_0000.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_140_0000.uai.xz2013-11-20 19:19 3.7K 
[ ]cat_sched_60_140_0000.wcnf.xz2013-11-20 19:19 4.4K 
[ ]cat_sched_60_140_0000.wcsp.xz2013-11-20 19:19 4.4K 
[ ]cat_sched_60_140_0000_direct.lp.xz2013-11-20 19:19 4.2K 
[ ]cat_sched_60_140_0000_support.lp.xz2013-11-20 19:18 64K 
[ ]cat_sched_60_140_0000_support.wcnf.xz2013-11-20 19:19 103K 
[ ]cat_sched_60_140_0001.dzn.xz2013-11-20 19:18 892  
[ ]cat_sched_60_140_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_140_0001.uai.xz2013-11-20 19:19 4.2K 
[ ]cat_sched_60_140_0001.wcnf.xz2013-11-20 19:19 5.1K 
[ ]cat_sched_60_140_0001.wcsp.xz2013-11-20 19:19 4.8K 
[ ]cat_sched_60_140_0001_direct.lp.xz2013-11-20 19:19 4.9K 
[ ]cat_sched_60_140_0001_support.lp.xz2013-11-20 19:18 77K 
[ ]cat_sched_60_140_0001_support.wcnf.xz2013-11-20 19:19 129K 
[ ]cat_sched_60_140_0002.dzn.xz2013-11-20 19:19 856  
[ ]cat_sched_60_140_0002.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_140_0002.uai.xz2013-11-20 19:18 3.9K 
[ ]cat_sched_60_140_0002.wcnf.xz2013-11-20 19:19 4.4K 
[ ]cat_sched_60_140_0002.wcsp.xz2013-11-20 19:19 5.0K 
[ ]cat_sched_60_140_0002_direct.lp.xz2013-11-20 19:18 4.8K 
[ ]cat_sched_60_140_0002_support.lp.xz2013-11-20 19:19 73K 
[ ]cat_sched_60_140_0002_support.wcnf.xz2013-11-20 19:18 102K 
[ ]cat_sched_60_140_0003.dzn.xz2013-11-20 19:18 900  
[ ]cat_sched_60_140_0003.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_140_0003.uai.xz2013-11-20 19:18 3.8K 
[ ]cat_sched_60_140_0003.wcnf.xz2013-11-20 19:19 4.6K 
[ ]cat_sched_60_140_0003.wcsp.xz2013-11-20 19:19 4.6K 
[ ]cat_sched_60_140_0003_direct.lp.xz2013-11-20 19:18 4.5K 
[ ]cat_sched_60_140_0003_support.lp.xz2013-11-20 19:19 67K 
[ ]cat_sched_60_140_0003_support.wcnf.xz2013-11-20 19:19 106K 
[ ]cat_sched_60_140_0004.dzn.xz2013-11-20 19:19 812  
[ ]cat_sched_60_140_0004.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_140_0004.uai.xz2013-11-20 19:19 3.6K 
[ ]cat_sched_60_140_0004.wcnf.xz2013-11-20 19:18 3.9K 
[ ]cat_sched_60_140_0004.wcsp.xz2013-11-20 19:18 4.1K 
[ ]cat_sched_60_140_0004_direct.lp.xz2013-11-20 19:18 4.2K 
[ ]cat_sched_60_140_0004_support.lp.xz2013-11-20 19:19 71K 
[ ]cat_sched_60_140_0004_support.wcnf.xz2013-11-20 19:19 102K 
[ ]cat_sched_60_140_0005.dzn.xz2013-11-20 19:18 824  
[ ]cat_sched_60_140_0005.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_140_0005.uai.xz2013-11-20 19:19 3.5K 
[ ]cat_sched_60_140_0005.wcnf.xz2013-11-20 19:19 4.4K 
[ ]cat_sched_60_140_0005.wcsp.xz2013-11-20 19:19 4.4K 
[ ]cat_sched_60_140_0005_direct.lp.xz2013-11-20 19:18 4.1K 
[ ]cat_sched_60_140_0005_support.lp.xz2013-11-20 19:18 63K 
[ ]cat_sched_60_140_0005_support.wcnf.xz2013-11-20 19:18 95K 
[ ]cat_sched_60_150_0000.dzn.xz2013-11-20 19:18 820  
[ ]cat_sched_60_150_0000.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_150_0000.uai.xz2013-11-20 19:19 3.7K 
[ ]cat_sched_60_150_0000.wcnf.xz2013-11-20 19:18 4.6K 
[ ]cat_sched_60_150_0000.wcsp.xz2013-11-20 19:19 4.6K 
[ ]cat_sched_60_150_0000_direct.lp.xz2013-11-20 19:19 4.3K 
[ ]cat_sched_60_150_0000_support.lp.xz2013-11-20 19:19 67K 
[ ]cat_sched_60_150_0000_support.wcnf.xz2013-11-20 19:18 109K 
[ ]cat_sched_60_150_0001.dzn.xz2013-11-20 19:19 920  
[ ]cat_sched_60_150_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_150_0001.uai.xz2013-11-20 19:19 3.9K 
[ ]cat_sched_60_150_0001.wcnf.xz2013-11-20 19:18 4.2K 
[ ]cat_sched_60_150_0001.wcsp.xz2013-11-20 19:19 4.5K 
[ ]cat_sched_60_150_0001_direct.lp.xz2013-11-20 19:18 4.5K 
[ ]cat_sched_60_150_0001_support.lp.xz2013-11-20 19:18 70K 
[ ]cat_sched_60_150_0001_support.wcnf.xz2013-11-20 19:18 107K 
[ ]cat_sched_60_150_0002.dzn.xz2013-11-20 19:19 816  
[ ]cat_sched_60_150_0002.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_150_0002.uai.xz2013-11-20 19:18 3.2K 
[ ]cat_sched_60_150_0002.wcnf.xz2013-11-20 19:19 3.4K 
[ ]cat_sched_60_150_0002.wcsp.xz2013-11-20 19:19 3.5K 
[ ]cat_sched_60_150_0002_direct.lp.xz2013-11-20 19:19 3.7K 
[ ]cat_sched_60_150_0002_support.lp.xz2013-11-20 19:18 58K 
[ ]cat_sched_60_150_0002_support.wcnf.xz2013-11-20 19:18 78K 
[ ]cat_sched_60_150_0003.dzn.xz2013-11-20 19:18 828  
[ ]cat_sched_60_150_0003.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_150_0003.uai.xz2013-11-20 19:18 3.1K 
[ ]cat_sched_60_150_0003.wcnf.xz2013-11-20 19:19 3.2K 
[ ]cat_sched_60_150_0003.wcsp.xz2013-11-20 19:18 3.6K 
[ ]cat_sched_60_150_0003_direct.lp.xz2013-11-20 19:19 3.6K 
[ ]cat_sched_60_150_0003_support.lp.xz2013-11-20 19:19 60K 
[ ]cat_sched_60_150_0003_support.wcnf.xz2013-11-20 19:18 83K 
[ ]cat_sched_60_150_0004.dzn.xz2013-11-20 19:18 828  
[ ]cat_sched_60_150_0004.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_150_0004.uai.xz2013-11-20 19:18 3.7K 
[ ]cat_sched_60_150_0004.wcnf.xz2013-11-20 19:19 4.4K 
[ ]cat_sched_60_150_0004.wcsp.xz2013-11-20 19:18 4.9K 
[ ]cat_sched_60_150_0004_direct.lp.xz2013-11-20 19:18 4.3K 
[ ]cat_sched_60_150_0004_support.lp.xz2013-11-20 19:18 68K 
[ ]cat_sched_60_150_0004_support.wcnf.xz2013-11-20 19:19 111K 
[ ]cat_sched_60_150_0005.dzn.xz2013-11-20 19:19 872  
[ ]cat_sched_60_150_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_150_0005.uai.xz2013-11-20 19:18 4.7K 
[ ]cat_sched_60_150_0005.wcnf.xz2013-11-20 19:18 5.6K 
[ ]cat_sched_60_150_0005.wcsp.xz2013-11-20 19:19 6.1K 
[ ]cat_sched_60_150_0005_direct.lp.xz2013-11-20 19:19 5.5K 
[ ]cat_sched_60_150_0005_support.lp.xz2013-11-20 19:19 92K 
[ ]cat_sched_60_150_0005_support.wcnf.xz2013-11-20 19:18 144K 
[ ]cat_sched_60_160_0000.dzn.xz2013-11-20 19:18 864  
[ ]cat_sched_60_160_0000.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_160_0000.uai.xz2013-11-20 19:19 3.5K 
[ ]cat_sched_60_160_0000.wcnf.xz2013-11-20 19:18 3.7K 
[ ]cat_sched_60_160_0000.wcsp.xz2013-11-20 19:19 3.7K 
[ ]cat_sched_60_160_0000_direct.lp.xz2013-11-20 19:18 3.9K 
[ ]cat_sched_60_160_0000_support.lp.xz2013-11-20 19:18 63K 
[ ]cat_sched_60_160_0000_support.wcnf.xz2013-11-20 19:19 87K 
[ ]cat_sched_60_160_0001.dzn.xz2013-11-20 19:18 852  
[ ]cat_sched_60_160_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_160_0001.uai.xz2013-11-20 19:18 4.0K 
[ ]cat_sched_60_160_0001.wcnf.xz2013-11-20 19:18 4.5K 
[ ]cat_sched_60_160_0001.wcsp.xz2013-11-20 19:18 4.8K 
[ ]cat_sched_60_160_0001_direct.lp.xz2013-11-20 19:19 4.9K 
[ ]cat_sched_60_160_0001_support.lp.xz2013-11-20 19:18 73K 
[ ]cat_sched_60_160_0001_support.wcnf.xz2013-11-20 19:18 108K 
[ ]cat_sched_60_160_0002.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_sched_60_160_0002.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_160_0002.uai.xz2013-11-20 19:18 4.7K 
[ ]cat_sched_60_160_0002.wcnf.xz2013-11-20 19:19 5.5K 
[ ]cat_sched_60_160_0002.wcsp.xz2013-11-20 19:18 5.6K 
[ ]cat_sched_60_160_0002_direct.lp.xz2013-11-20 19:18 5.4K 
[ ]cat_sched_60_160_0002_support.lp.xz2013-11-20 19:18 86K 
[ ]cat_sched_60_160_0002_support.wcnf.xz2013-11-20 19:19 138K 
[ ]cat_sched_60_160_0003.dzn.xz2013-11-20 19:18 892  
[ ]cat_sched_60_160_0003.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_160_0003.uai.xz2013-11-20 19:19 3.8K 
[ ]cat_sched_60_160_0003.wcnf.xz2013-11-20 19:19 4.6K 
[ ]cat_sched_60_160_0003.wcsp.xz2013-11-20 19:18 4.5K 
[ ]cat_sched_60_160_0003_direct.lp.xz2013-11-20 19:19 4.4K 
[ ]cat_sched_60_160_0003_support.lp.xz2013-11-20 19:18 65K 
[ ]cat_sched_60_160_0003_support.wcnf.xz2013-11-20 19:19 105K 
[ ]cat_sched_60_160_0004.dzn.xz2013-11-20 19:19 868  
[ ]cat_sched_60_160_0004.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_160_0004.uai.xz2013-11-20 19:19 3.5K 
[ ]cat_sched_60_160_0004.wcnf.xz2013-11-20 19:18 4.4K 
[ ]cat_sched_60_160_0004.wcsp.xz2013-11-20 19:19 4.6K 
[ ]cat_sched_60_160_0004_direct.lp.xz2013-11-20 19:18 4.1K 
[ ]cat_sched_60_160_0004_support.lp.xz2013-11-20 19:18 65K 
[ ]cat_sched_60_160_0004_support.wcnf.xz2013-11-20 19:18 100K 
[ ]cat_sched_60_160_0005.dzn.xz2013-11-20 19:18 928  
[ ]cat_sched_60_160_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_160_0005.uai.xz2013-11-20 19:19 3.7K 
[ ]cat_sched_60_160_0005.wcnf.xz2013-11-20 19:19 4.6K 
[ ]cat_sched_60_160_0005.wcsp.xz2013-11-20 19:18 4.2K 
[ ]cat_sched_60_160_0005_direct.lp.xz2013-11-20 19:19 4.2K 
[ ]cat_sched_60_160_0005_support.lp.xz2013-11-20 19:18 70K 
[ ]cat_sched_60_160_0005_support.wcnf.xz2013-11-20 19:19 99K 
[ ]cat_sched_60_170_0000.dzn.xz2013-11-20 19:18 912  
[ ]cat_sched_60_170_0000.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_170_0000.uai.xz2013-11-20 19:18 4.0K 
[ ]cat_sched_60_170_0000.wcnf.xz2013-11-20 19:19 4.5K 
[ ]cat_sched_60_170_0000.wcsp.xz2013-11-20 19:19 5.1K 
[ ]cat_sched_60_170_0000_direct.lp.xz2013-11-20 19:18 4.8K 
[ ]cat_sched_60_170_0000_support.lp.xz2013-11-20 19:18 73K 
[ ]cat_sched_60_170_0000_support.wcnf.xz2013-11-20 19:18 112K 
[ ]cat_sched_60_170_0001.dzn.xz2013-11-20 19:19 940  
[ ]cat_sched_60_170_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_170_0001.uai.xz2013-11-20 19:18 4.3K 
[ ]cat_sched_60_170_0001.wcnf.xz2013-11-20 19:18 4.8K 
[ ]cat_sched_60_170_0001.wcsp.xz2013-11-20 19:18 5.8K 
[ ]cat_sched_60_170_0001_direct.lp.xz2013-11-20 19:18 5.4K 
[ ]cat_sched_60_170_0001_support.lp.xz2013-11-20 19:19 79K 
[ ]cat_sched_60_170_0001_support.wcnf.xz2013-11-20 19:18 111K 
[ ]cat_sched_60_170_0002.dzn.xz2013-11-20 19:19 800  
[ ]cat_sched_60_170_0002.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_170_0002.uai.xz2013-11-20 19:18 3.8K 
[ ]cat_sched_60_170_0002.wcnf.xz2013-11-20 19:19 4.1K 
[ ]cat_sched_60_170_0002.wcsp.xz2013-11-20 19:19 4.2K 
[ ]cat_sched_60_170_0002_direct.lp.xz2013-11-20 19:19 4.6K 
[ ]cat_sched_60_170_0002_support.lp.xz2013-11-20 19:19 67K 
[ ]cat_sched_60_170_0002_support.wcnf.xz2013-11-20 19:19 94K 
[ ]cat_sched_60_170_0003.dzn.xz2013-11-20 19:19 932  
[ ]cat_sched_60_170_0003.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_170_0003.uai.xz2013-11-20 19:18 4.8K 
[ ]cat_sched_60_170_0003.wcnf.xz2013-11-20 19:19 5.6K 
[ ]cat_sched_60_170_0003.wcsp.xz2013-11-20 19:18 6.1K 
[ ]cat_sched_60_170_0003_direct.lp.xz2013-11-20 19:19 5.5K 
[ ]cat_sched_60_170_0003_support.lp.xz2013-11-20 19:18 88K 
[ ]cat_sched_60_170_0003_support.wcnf.xz2013-11-20 19:19 139K 
[ ]cat_sched_60_170_0004.dzn.xz2013-11-20 19:19 880  
[ ]cat_sched_60_170_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_170_0004.uai.xz2013-11-20 19:18 3.9K 
[ ]cat_sched_60_170_0004.wcnf.xz2013-11-20 19:18 4.6K 
[ ]cat_sched_60_170_0004.wcsp.xz2013-11-20 19:19 4.9K 
[ ]cat_sched_60_170_0004_direct.lp.xz2013-11-20 19:19 4.4K 
[ ]cat_sched_60_170_0004_support.lp.xz2013-11-20 19:18 64K 
[ ]cat_sched_60_170_0004_support.wcnf.xz2013-11-20 19:18 100K 
[ ]cat_sched_60_170_0005.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_sched_60_170_0005.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_170_0005.uai.xz2013-11-20 19:19 5.4K 
[ ]cat_sched_60_170_0005.wcnf.xz2013-11-20 19:19 6.5K 
[ ]cat_sched_60_170_0005.wcsp.xz2013-11-20 19:18 6.7K 
[ ]cat_sched_60_170_0005_direct.lp.xz2013-11-20 19:18 6.5K 
[ ]cat_sched_60_170_0005_support.lp.xz2013-11-20 19:18 108K 
[ ]cat_sched_60_170_0005_support.wcnf.xz2013-11-20 19:19 172K 
[ ]cat_sched_60_180_0000.dzn.xz2013-11-20 19:19 1.0K 
[ ]cat_sched_60_180_0000.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_180_0000.uai.xz2013-11-20 19:19 4.6K 
[ ]cat_sched_60_180_0000.wcnf.xz2013-11-20 19:19 5.4K 
[ ]cat_sched_60_180_0000.wcsp.xz2013-11-20 19:19 5.8K 
[ ]cat_sched_60_180_0000_direct.lp.xz2013-11-20 19:19 5.3K 
[ ]cat_sched_60_180_0000_support.lp.xz2013-11-20 19:18 81K 
[ ]cat_sched_60_180_0000_support.wcnf.xz2013-11-20 19:18 132K 
[ ]cat_sched_60_180_0001.dzn.xz2013-11-20 19:18 964  
[ ]cat_sched_60_180_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_180_0001.uai.xz2013-11-20 19:18 4.5K 
[ ]cat_sched_60_180_0001.wcnf.xz2013-11-20 19:19 5.4K 
[ ]cat_sched_60_180_0001.wcsp.xz2013-11-20 19:18 5.4K 
[ ]cat_sched_60_180_0001_direct.lp.xz2013-11-20 19:18 5.5K 
[ ]cat_sched_60_180_0001_support.lp.xz2013-11-20 19:18 86K 
[ ]cat_sched_60_180_0001_support.wcnf.xz2013-11-20 19:19 135K 
[ ]cat_sched_60_180_0002.dzn.xz2013-11-20 19:19 1.0K 
[ ]cat_sched_60_180_0002.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_180_0002.uai.xz2013-11-20 19:19 4.7K 
[ ]cat_sched_60_180_0002.wcnf.xz2013-11-20 19:18 5.0K 
[ ]cat_sched_60_180_0002.wcsp.xz2013-11-20 19:18 5.6K 
[ ]cat_sched_60_180_0002_direct.lp.xz2013-11-20 19:18 6.2K 
[ ]cat_sched_60_180_0002_support.lp.xz2013-11-20 19:19 93K 
[ ]cat_sched_60_180_0002_support.wcnf.xz2013-11-20 19:18 132K 
[ ]cat_sched_60_180_0003.dzn.xz2013-11-20 19:18 864  
[ ]cat_sched_60_180_0003.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_180_0003.uai.xz2013-11-20 19:18 4.8K 
[ ]cat_sched_60_180_0003.wcnf.xz2013-11-20 19:18 6.1K 
[ ]cat_sched_60_180_0003.wcsp.xz2013-11-20 19:18 6.3K 
[ ]cat_sched_60_180_0003_direct.lp.xz2013-11-20 19:18 6.3K 
[ ]cat_sched_60_180_0003_support.lp.xz2013-11-20 19:19 91K 
[ ]cat_sched_60_180_0003_support.wcnf.xz2013-11-20 19:18 130K 
[ ]cat_sched_60_180_0004.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_sched_60_180_0004.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_180_0004.uai.xz2013-11-20 19:19 4.7K 
[ ]cat_sched_60_180_0004.wcnf.xz2013-11-20 19:18 5.7K 
[ ]cat_sched_60_180_0004.wcsp.xz2013-11-20 19:18 6.5K 
[ ]cat_sched_60_180_0004_direct.lp.xz2013-11-20 19:18 5.5K 
[ ]cat_sched_60_180_0004_support.lp.xz2013-11-20 19:19 82K 
[ ]cat_sched_60_180_0004_support.wcnf.xz2013-11-20 19:19 118K 
[ ]cat_sched_60_180_0005.dzn.xz2013-11-20 19:19 1.0K 
[ ]cat_sched_60_180_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_180_0005.uai.xz2013-11-20 19:18 4.7K 
[ ]cat_sched_60_180_0005.wcnf.xz2013-11-20 19:19 6.1K 
[ ]cat_sched_60_180_0005.wcsp.xz2013-11-20 19:19 5.7K 
[ ]cat_sched_60_180_0005_direct.lp.xz2013-11-20 19:19 5.6K 
[ ]cat_sched_60_180_0005_support.lp.xz2013-11-20 19:19 89K 
[ ]cat_sched_60_180_0005_support.wcnf.xz2013-11-20 19:19 132K 
[ ]cat_sched_60_190_0000.dzn.xz2013-11-20 19:19 1.0K 
[ ]cat_sched_60_190_0000.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_190_0000.uai.xz2013-11-20 19:19 5.0K 
[ ]cat_sched_60_190_0000.wcnf.xz2013-11-20 19:18 6.6K 
[ ]cat_sched_60_190_0000.wcsp.xz2013-11-20 19:18 6.3K 
[ ]cat_sched_60_190_0000_direct.lp.xz2013-11-20 19:18 5.8K 
[ ]cat_sched_60_190_0000_support.lp.xz2013-11-20 19:18 96K 
[ ]cat_sched_60_190_0000_support.wcnf.xz2013-11-20 19:18 149K 
[ ]cat_sched_60_190_0001.dzn.xz2013-11-20 19:19 1.0K 
[ ]cat_sched_60_190_0001.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_190_0001.uai.xz2013-11-20 19:19 4.7K 
[ ]cat_sched_60_190_0001.wcnf.xz2013-11-20 19:19 5.1K 
[ ]cat_sched_60_190_0001.wcsp.xz2013-11-20 19:18 5.6K 
[ ]cat_sched_60_190_0001_direct.lp.xz2013-11-20 19:19 5.7K 
[ ]cat_sched_60_190_0001_support.lp.xz2013-11-20 19:19 86K 
[ ]cat_sched_60_190_0001_support.wcnf.xz2013-11-20 19:18 121K 
[ ]cat_sched_60_190_0002.dzn.xz2013-11-20 19:19 1.0K 
[ ]cat_sched_60_190_0002.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_190_0002.uai.xz2013-11-20 19:19 5.6K 
[ ]cat_sched_60_190_0002.wcnf.xz2013-11-20 19:18 5.9K 
[ ]cat_sched_60_190_0002.wcsp.xz2013-11-20 19:18 6.4K 
[ ]cat_sched_60_190_0002_direct.lp.xz2013-11-20 19:19 7.7K 
[ ]cat_sched_60_190_0002_support.lp.xz2013-11-20 19:18 110K 
[ ]cat_sched_60_190_0002_support.wcnf.xz2013-11-20 19:18 163K 
[ ]cat_sched_60_190_0003.dzn.xz2013-11-20 19:18 860  
[ ]cat_sched_60_190_0003.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_190_0003.uai.xz2013-11-20 19:19 4.2K 
[ ]cat_sched_60_190_0003.wcnf.xz2013-11-20 19:19 4.6K 
[ ]cat_sched_60_190_0003.wcsp.xz2013-11-20 19:19 4.6K 
[ ]cat_sched_60_190_0003_direct.lp.xz2013-11-20 19:18 4.9K 
[ ]cat_sched_60_190_0003_support.lp.xz2013-11-20 19:19 74K 
[ ]cat_sched_60_190_0003_support.wcnf.xz2013-11-20 19:18 101K 
[ ]cat_sched_60_190_0004.dzn.xz2013-11-20 19:19 1.0K 
[ ]cat_sched_60_190_0004.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_190_0004.uai.xz2013-11-20 19:19 5.4K 
[ ]cat_sched_60_190_0004.wcnf.xz2013-11-20 19:19 6.8K 
[ ]cat_sched_60_190_0004.wcsp.xz2013-11-20 19:18 6.6K 
[ ]cat_sched_60_190_0004_direct.lp.xz2013-11-20 19:19 6.6K 
[ ]cat_sched_60_190_0004_support.lp.xz2013-11-20 19:18 104K 
[ ]cat_sched_60_190_0004_support.wcnf.xz2013-11-20 19:19 158K 
[ ]cat_sched_60_190_0005.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_sched_60_190_0005.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_190_0005.uai.xz2013-11-20 19:18 5.3K 
[ ]cat_sched_60_190_0005.wcnf.xz2013-11-20 19:19 6.4K 
[ ]cat_sched_60_190_0005.wcsp.xz2013-11-20 19:18 6.2K 
[ ]cat_sched_60_190_0005_direct.lp.xz2013-11-20 19:18 6.1K 
[ ]cat_sched_60_190_0005_support.lp.xz2013-11-20 19:19 89K 
[ ]cat_sched_60_190_0005_support.wcnf.xz2013-11-20 19:19 134K 
[ ]cat_sched_60_200_0000.dzn.xz2013-11-20 19:18 1.1K 
[ ]cat_sched_60_200_0000.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_200_0000.uai.xz2013-11-20 19:19 6.5K 
[ ]cat_sched_60_200_0000.wcnf.xz2013-11-20 19:19 8.1K 
[ ]cat_sched_60_200_0000.wcsp.xz2013-11-20 19:18 8.9K 
[ ]cat_sched_60_200_0000_direct.lp.xz2013-11-20 19:19 12K 
[ ]cat_sched_60_200_0000_support.lp.xz2013-11-20 19:19 130K 
[ ]cat_sched_60_200_0000_support.wcnf.xz2013-11-20 19:19 195K 
[ ]cat_sched_60_200_0001.dzn.xz2013-11-20 19:19 880  
[ ]cat_sched_60_200_0001.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_200_0001.uai.xz2013-11-20 19:18 4.0K 
[ ]cat_sched_60_200_0001.wcnf.xz2013-11-20 19:19 4.5K 
[ ]cat_sched_60_200_0001.wcsp.xz2013-11-20 19:19 4.9K 
[ ]cat_sched_60_200_0001_direct.lp.xz2013-11-20 19:18 4.8K 
[ ]cat_sched_60_200_0001_support.lp.xz2013-11-20 19:19 73K 
[ ]cat_sched_60_200_0001_support.wcnf.xz2013-11-20 19:18 103K 
[ ]cat_sched_60_200_0002.dzn.xz2013-11-20 19:18 952  
[ ]cat_sched_60_200_0002.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_200_0002.uai.xz2013-11-20 19:18 5.2K 
[ ]cat_sched_60_200_0002.wcnf.xz2013-11-20 19:18 6.6K 
[ ]cat_sched_60_200_0002.wcsp.xz2013-11-20 19:19 6.8K 
[ ]cat_sched_60_200_0002_direct.lp.xz2013-11-20 19:19 6.3K 
[ ]cat_sched_60_200_0002_support.lp.xz2013-11-20 19:19 107K 
[ ]cat_sched_60_200_0002_support.wcnf.xz2013-11-20 19:19 159K 
[ ]cat_sched_60_200_0003.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_sched_60_200_0003.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_200_0003.uai.xz2013-11-20 19:18 5.2K 
[ ]cat_sched_60_200_0003.wcnf.xz2013-11-20 19:18 6.3K 
[ ]cat_sched_60_200_0003.wcsp.xz2013-11-20 19:18 6.4K 
[ ]cat_sched_60_200_0003_direct.lp.xz2013-11-20 19:19 6.0K 
[ ]cat_sched_60_200_0003_support.lp.xz2013-11-20 19:18 104K 
[ ]cat_sched_60_200_0003_support.wcnf.xz2013-11-20 19:19 163K 
[ ]cat_sched_60_200_0004.dzn.xz2013-11-20 19:18 1.0K 
[ ]cat_sched_60_200_0004.uai.evid2013-11-20 19:19 2  
[ ]cat_sched_60_200_0004.uai.xz2013-11-20 19:18 5.5K 
[ ]cat_sched_60_200_0004.wcnf.xz2013-11-20 19:18 6.9K 
[ ]cat_sched_60_200_0004.wcsp.xz2013-11-20 19:19 6.4K 
[ ]cat_sched_60_200_0004_direct.lp.xz2013-11-20 19:18 7.7K 
[ ]cat_sched_60_200_0004_support.lp.xz2013-11-20 19:19 109K 
[ ]cat_sched_60_200_0004_support.wcnf.xz2013-11-20 19:19 173K 
[ ]cat_sched_60_200_0005.dzn.xz2013-11-20 19:18 928  
[ ]cat_sched_60_200_0005.uai.evid2013-11-20 19:18 2  
[ ]cat_sched_60_200_0005.uai.xz2013-11-20 19:18 5.0K 
[ ]cat_sched_60_200_0005.wcnf.xz2013-11-20 19:19 6.4K 
[ ]cat_sched_60_200_0005.wcsp.xz2013-11-20 19:18 6.2K 
[ ]cat_sched_60_200_0005_direct.lp.xz2013-11-20 19:19 5.9K 
[ ]cat_sched_60_200_0005_support.lp.xz2013-11-20 19:18 94K 
[ ]cat_sched_60_200_0005_support.wcnf.xz2013-11-20 19:18 145K 
[TXT]combinatorial_auction.mzn2013-11-20 19:18 3.3K