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