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