Index of /~degivry/evalgm/WPMS/PackupWeighted
Name
Last modified
Size
Description
Parent Directory
-
rand892_l2.wcnf.xz
20-Nov-2013 19:06
141K
rand984_l2.wcnf.xz
20-Nov-2013 19:06
238K
26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2.wcnf.xz
20-Nov-2013 19:06
180K
rand892_l1.wcsp.xz
20-Nov-2013 19:06
26K
e2f6303a-4fe9-11e0-aa4f-00163e1e087d_l1.dzn.xz
20-Nov-2013 19:06
8.2K
rand381_l1.wcnf.xz
20-Nov-2013 19:06
14K
6b0d1da0-c730-11df-a7c5-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:06
12K
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l2.dzn.xz
20-Nov-2013 19:06
86K
deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2.dzn.xz
20-Nov-2013 19:06
99K
rand208_l2.wcsp.xz
20-Nov-2013 19:06
152K
ab9005be-bacc-11e0-b0f6-00163e1e087d_l1.wcnf.xz
20-Nov-2013 19:06
3.6K
rand179_l1.wcnf.xz
20-Nov-2013 19:06
54K
d0cc7514-c730-11df-a040-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:06
11K
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:06
82K
103c9978-5408-11df-9bc1-00163e7a6f5e_l1.wcnf.xz
20-Nov-2013 19:06
68K
c2164c84-b015-11df-8b50-00163e46d37a_l1.dzn.xz
20-Nov-2013 19:06
61K
rand491_l2.wcnf.xz
20-Nov-2013 19:06
225K
f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:06
37K
8afdd89e-51b8-11e0-acd7-00163e1e087d_l1.dzn.xz
20-Nov-2013 19:06
8.3K
a754ac72-95cc-11e0-9181-00163e1e087d_l2.dzn.xz
20-Nov-2013 19:06
58K
b2540c52-51b7-11e0-aa4f-00163e1e087d_l1.dzn.xz
20-Nov-2013 19:06
8.3K
56e31304-c17a-11df-b070-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:06
7.8K
ab9005be-bacc-11e0-b0f6-00163e1e087d_l2.wcsp.xz
20-Nov-2013 19:06
183K
80e3fda2-9501-11e0-8001-00163e1e087d_l2.dzn.xz
20-Nov-2013 19:06
58K
8680dd8a-8600-11e0-b285-00163e1e087d_l2.wcnf.xz
20-Nov-2013 19:06
181K
e381ba7e-a192-11e0-8647-00163e1e087d_l2.wcsp.xz
20-Nov-2013 19:06
40K
978532fa-c730-11df-b070-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:06
12K
8b0e7c16-bab4-11e0-a883-00163e1e087d_l2.wcsp.xz
20-Nov-2013 19:06
183K
rand118_l2.wcsp.xz
20-Nov-2013 19:06
143K
rand208_l2.wcnf.xz
20-Nov-2013 19:06
225K
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:06
192K
8680dd8a-8600-11e0-b285-00163e1e087d_l2.wcsp.xz
20-Nov-2013 19:06
178K
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l2.wcsp.xz
20-Nov-2013 19:06
125K
8222799a-9af8-11df-8b50-00163e46d37a_l1.wcnf.xz
20-Nov-2013 19:06
73K
4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:06
7.8K
ab9005be-bacc-11e0-b0f6-00163e1e087d_l1.wcsp.xz
20-Nov-2013 19:06
4.3K
rand507_l1.wcnf.xz
20-Nov-2013 19:06
29K
f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:06
83K
rand30_l1.wcsp.xz
20-Nov-2013 19:06
40K
rand83_l2.wcnf.xz
20-Nov-2013 19:06
222K
rand583_l2.wcsp.xz
20-Nov-2013 19:06
68K
b2540c52-51b7-11e0-aa4f-00163e1e087d_l1.wcsp.xz
20-Nov-2013 19:06
8.5K
80cfe9a6-9b1b-11df-965e-00163e46d37a_l1.wcnf.xz
20-Nov-2013 19:06
74K
e69a0e36-9ef1-11df-9d4a-00163e46d37a_l1.wcnf.xz
20-Nov-2013 19:06
9.3K
rand583_l2.wcnf.xz
20-Nov-2013 19:06
140K
29180036-5408-11df-9f57-00163e7a6f5e_l2.wcsp.xz
20-Nov-2013 19:06
45K
e69a0e36-9ef1-11df-9d4a-00163e46d37a_l1.wcsp.xz
20-Nov-2013 19:06
12K
e2f6303a-4fe9-11e0-aa4f-00163e1e087d_l1.wcsp.xz
20-Nov-2013 19:06
8.2K
eeee44ce-5407-11df-b11f-00163e7a6f5e_l2.wcsp.xz
20-Nov-2013 19:06
45K
rand179_l1.wcsp.xz
20-Nov-2013 19:06
49K
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l2.wcnf.xz
20-Nov-2013 19:06
109K
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l2.wcnf.xz
20-Nov-2013 19:06
64K
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l2.wcsp.xz
20-Nov-2013 19:06
73K
caefdef6-3477-11e0-84ef-00163e3d3b7c_l2.wcnf.xz
20-Nov-2013 19:06
87K
e599f3fc-360e-11e0-986e-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:06
37K
rand208_l1.wcnf.xz
20-Nov-2013 19:06
60K
rand547_l2.wcsp.xz
20-Nov-2013 19:06
144K
rand242_l1.wcsp.xz
20-Nov-2013 19:06
36K
rand213_l2.wcnf.xz
20-Nov-2013 19:06
141K
80cfe9a6-9b1b-11df-965e-00163e46d37a_l1.wcsp.xz
20-Nov-2013 19:06
56K
a754ac72-95cc-11e0-9181-00163e1e087d_l2.wcnf.xz
20-Nov-2013 19:06
58K
rand695_l1.wcnf.xz
20-Nov-2013 19:06
19K
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l1.wcsp.xz
20-Nov-2013 19:06
8.2K
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l2.wcsp.xz
20-Nov-2013 19:06
46K
56ae4afa-0b33-11df-8a2b-00163e1d94dc_l1.wcsp.xz
20-Nov-2013 19:06
16K
rand242_l1.wcnf.xz
20-Nov-2013 19:06
33K
26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2.dzn.xz
20-Nov-2013 19:06
178K
56e31304-c17a-11df-b070-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:06
8.0K
4a69cf16-c731-11df-9182-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:06
11K
6b0d1da0-c730-11df-a7c5-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:06
12K
rand984_l2_direct.lp.xz
20-Nov-2013 19:06
163K
rand892_l1_direct.lp.xz
20-Nov-2013 19:06
24K
rand752_l1_direct.lp.xz
20-Nov-2013 19:06
50K
rand547_l2_direct.lp.xz
20-Nov-2013 19:06
142K
rand381_l1_direct.lp.xz
20-Nov-2013 19:06
14K
rand377_l2_direct.lp.xz
20-Nov-2013 19:06
107K
rand220_l2_direct.lp.xz
20-Nov-2013 19:06
143K
rand213_l2_direct.lp.xz
20-Nov-2013 19:06
57K
e381ba7e-a192-11e0-8647-00163e1e087d_l2_direct.lp.xz
20-Nov-2013 19:06
38K
rand196_l1_direct.lp.xz
20-Nov-2013 19:06
44K
rand208_l2_direct.lp.xz
20-Nov-2013 19:06
146K
cff22854-9512-11e0-8001-00163e1e087d_l2_direct.lp.xz
20-Nov-2013 19:06
38K
d5026b8e-3477-11e0-986e-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:06
41K
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l1_direct.lp.xz
20-Nov-2013 19:06
25K
ab9005be-bacc-11e0-b0f6-00163e1e087d_l1_direct.lp.xz
20-Nov-2013 19:06
4.2K
bccf69ae-db9e-11df-9a24-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:06
66K
ca8f656c-db9e-11df-b9cf-00163e3d3b7c_l2_direct.lp.xz
20-Nov-2013 19:06
67K
caefdef6-3477-11e0-84ef-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:06
41K
a754ac72-95cc-11e0-9181-00163e1e087d_l2_direct.lp.xz
20-Nov-2013 19:06
38K
8222799a-9af8-11df-8b50-00163e46d37a_l2_direct.lp.xz
20-Nov-2013 19:06
50K
wcnf.mzn
20-Nov-2013 19:06
909
5698a62c-c731-11df-9bb9-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:06
12K
56ae4afa-0b33-11df-8a2b-00163e1d94dc_l1_direct.lp.xz
20-Nov-2013 19:06
16K
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l2_direct.lp.xz
20-Nov-2013 19:06
67K
eeee44ce-5407-11df-b11f-00163e7a6f5e_l1.dzn.xz
20-Nov-2013 19:06
67K
f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:06
82K
rand116_l2.dzn.xz
20-Nov-2013 19:06
226K
rand196_l1.dzn.xz
20-Nov-2013 19:06
44K
rand208_l1.dzn.xz
20-Nov-2013 19:06
59K
rand208_l2.dzn.xz
20-Nov-2013 19:06
223K
rand393_l1.dzn.xz
20-Nov-2013 19:06
16K
rand425_l1.dzn.xz
20-Nov-2013 19:06
71K
rand695_l1.dzn.xz
20-Nov-2013 19:06
19K
rand83_l2.dzn.xz
20-Nov-2013 19:06
220K
rand981_l2.dzn.xz
20-Nov-2013 19:06
220K
29180036-5408-11df-9f57-00163e7a6f5e_l1_direct.lp.xz
20-Nov-2013 19:06
39K
rand83_l2_direct.lp.xz
20-Nov-2013 19:06
143K
rand425_l1.wcnf.xz
20-Nov-2013 19:06
71K
4a69cf16-c731-11df-9182-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:06
13K
e599f3fc-360e-11e0-986e-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:06
82K
b2540c52-51b7-11e0-aa4f-00163e1e087d_l1.wcnf.xz
20-Nov-2013 19:06
8.3K
e381ba7e-a192-11e0-8647-00163e1e087d_l2.dzn.xz
20-Nov-2013 19:06
58K
5698a62c-c731-11df-9bb9-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:06
13K
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l1.dzn.xz
20-Nov-2013 19:06
60K
d0cc7514-c730-11df-a040-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:06
13K
80e3fda2-9501-11e0-8001-00163e1e087d_l2.wcsp.xz
20-Nov-2013 19:06
40K
eeee44ce-5407-11df-b11f-00163e7a6f5e_l1.wcsp.xz
20-Nov-2013 19:06
45K
ec32fc68-7254-11e0-8436-00163e1e087d_l1.wcsp.xz
20-Nov-2013 19:06
37K
rand892_l2.wcsp.xz
20-Nov-2013 19:06
149K
c2164c84-b015-11df-8b50-00163e46d37a_l2.dzn.xz
20-Nov-2013 19:06
67K
caefdef6-3477-11e0-84ef-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:06
82K
bccf69ae-db9e-11df-9a24-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:06
96K
rand717_l2.wcsp.xz
20-Nov-2013 19:06
167K
caefdef6-3477-11e0-84ef-00163e3d3b7c_l2.wcsp.xz
20-Nov-2013 19:06
46K
8222799a-9af8-11df-8b50-00163e46d37a_l1.dzn.xz
20-Nov-2013 19:06
72K
8680dd8a-8600-11e0-b285-00163e1e087d_l2.dzn.xz
20-Nov-2013 19:06
179K
103c9978-5408-11df-9bc1-00163e7a6f5e_l1.wcsp.xz
20-Nov-2013 19:06
45K
80cfe9a6-9b1b-11df-965e-00163e46d37a_l1.dzn.xz
20-Nov-2013 19:06
73K
caefdef6-3477-11e0-84ef-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:06
45K
rand393_l1.wcsp.xz
20-Nov-2013 19:06
18K
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l2.dzn.xz
20-Nov-2013 19:06
108K
rand425_l1.wcsp.xz
20-Nov-2013 19:06
64K
rand307_l2.wcnf.xz
20-Nov-2013 19:06
140K
apt-cudf-universe0ea62c_l1.cnf
20-Nov-2013 19:06
242K
rand446_l1.wcnf.xz
20-Nov-2013 19:06
26K
56e31304-c17a-11df-b070-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:06
9.0K
eeee44ce-5407-11df-b11f-00163e7a6f5e_l2.wcnf.xz
20-Nov-2013 19:06
71K
rand196_l2.wcnf.xz
20-Nov-2013 19:06
222K
e2f6303a-4fe9-11e0-aa4f-00163e1e087d_l1.wcnf.xz
20-Nov-2013 19:06
8.2K
3e4f8550-0b33-11df-942d-00163e1d94dc_l1.wcsp.xz
20-Nov-2013 19:06
20K
4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:06
9.0K
4a69cf16-c731-11df-9182-00163e3d3b7c_l2.wcnf.xz
20-Nov-2013 19:06
224K
rand116_l2.wcsp.xz
20-Nov-2013 19:06
152K
e599f3fc-360e-11e0-986e-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:06
83K
rand984_l1.wcnf.xz
20-Nov-2013 19:06
38K
deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2.wcnf.xz
20-Nov-2013 19:06
99K
rand172_l1.wcnf.xz
20-Nov-2013 19:06
49K
rand83_l1.wcsp.xz
20-Nov-2013 19:06
36K
d0cc7514-c730-11df-a040-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:06
11K
rand984_l1.wcsp.xz
20-Nov-2013 19:06
38K
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l2.wcsp.xz
20-Nov-2013 19:06
57K
d5026b8e-3477-11e0-986e-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:06
83K
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l2.wcsp.xz
20-Nov-2013 19:06
27K
3e4f8550-0b33-11df-942d-00163e1d94dc_l2.wcnf.xz
20-Nov-2013 19:06
17K
rand118_l2.wcnf.xz
20-Nov-2013 19:07
234K
1aabfc32-d491-11df-9a24-00163e3d3b7c_l2.wcsp.xz
20-Nov-2013 19:07
153K
29180036-5408-11df-9f57-00163e7a6f5e_l1.wcsp.xz
20-Nov-2013 19:07
45K
fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:07
96K
5698a62c-c731-11df-9bb9-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:07
11K
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l2.wcnf.xz
20-Nov-2013 19:07
75K
bccf69ae-db9e-11df-9a24-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:07
73K
rand377_l2.wcnf.xz
20-Nov-2013 19:07
146K
rand954_l1.wcsp.xz
20-Nov-2013 19:07
21K
29180036-5408-11df-9f57-00163e7a6f5e_l2.wcnf.xz
20-Nov-2013 19:07
71K
cff22854-9512-11e0-8001-00163e1e087d_l2.wcsp.xz
20-Nov-2013 19:07
40K
rand653_l2.wcsp.xz
20-Nov-2013 19:07
103K
rand547_l2.wcnf.xz
20-Nov-2013 19:07
230K
rand892_l1.wcnf.xz
20-Nov-2013 19:07
23K
rand929_l2.wcnf.xz
20-Nov-2013 19:07
142K
rand954_l1.wcnf.xz
20-Nov-2013 19:07
25K
1aabfc32-d491-11df-9a24-00163e3d3b7c_l2.dzn.xz
20-Nov-2013 19:07
192K
56ae4afa-0b33-11df-8a2b-00163e1d94dc_l1.dzn.xz
20-Nov-2013 19:07
17K
5698a62c-c731-11df-9bb9-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:07
11K
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l1.dzn.xz
20-Nov-2013 19:07
73K
rand929_l2_direct.lp.xz
20-Nov-2013 19:07
86K
rand984_l1_direct.lp.xz
20-Nov-2013 19:07
38K
rand208_l1_direct.lp.xz
20-Nov-2013 19:07
53K
rand308_l2_direct.lp.xz
20-Nov-2013 19:07
94K
rand425_l1_direct.lp.xz
20-Nov-2013 19:07
61K
rand695_l1_direct.lp.xz
20-Nov-2013 19:07
19K
rand874_l1_direct.lp.xz
20-Nov-2013 19:07
62K
rand892_l2_direct.lp.xz
20-Nov-2013 19:07
133K
fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:07
66K
ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:07
9.2K
rand172_l1_direct.lp.xz
20-Nov-2013 19:07
50K
rand196_l2_direct.lp.xz
20-Nov-2013 19:07
191K
eeee44ce-5407-11df-b11f-00163e7a6f5e_l1_direct.lp.xz
20-Nov-2013 19:07
39K
eeee44ce-5407-11df-b11f-00163e7a6f5e_l2_direct.lp.xz
20-Nov-2013 19:07
39K
f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:07
35K
d0cc7514-c730-11df-a040-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:07
12K
e599f3fc-360e-11e0-986e-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:07
35K
e69a0e36-9ef1-11df-9d4a-00163e46d37a_l1_direct.lp.xz
20-Nov-2013 19:07
12K
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l1_direct.lp.xz
20-Nov-2013 19:07
7.8K
8680dd8a-8600-11e0-b285-00163e1e087d_l2_direct.lp.xz
20-Nov-2013 19:07
154K
8b0e7c16-bab4-11e0-a883-00163e1e087d_l2_direct.lp.xz
20-Nov-2013 19:07
164K
c2164c84-b015-11df-8b50-00163e46d37a_l2_direct.lp.xz
20-Nov-2013 19:07
15K
d023d256-3477-11e0-bdb2-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:07
41K
d023d256-3477-11e0-bdb2-00163e3d3b7c_l2_direct.lp.xz
20-Nov-2013 19:07
42K
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l2_direct.lp.xz
20-Nov-2013 19:07
50K
rand446_l1.dzn.xz
20-Nov-2013 19:07
25K
rand547_l2.dzn.xz
20-Nov-2013 19:07
228K
rand83_l1.dzn.xz
20-Nov-2013 19:07
41K
rand874_l1.dzn.xz
20-Nov-2013 19:07
58K
3e4f8550-0b33-11df-942d-00163e1d94dc_l2_direct.lp.xz
20-Nov-2013 19:07
20K
56e31304-c17a-11df-b070-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:07
8.6K
rand308_l2.dzn.xz
20-Nov-2013 19:07
142K
rand30_l1.dzn.xz
20-Nov-2013 19:07
44K
rand381_l1.dzn.xz
20-Nov-2013 19:07
14K
rand507_l1.wcsp.xz
20-Nov-2013 19:07
29K
1aabfc32-d491-11df-9a24-00163e3d3b7c_l2.wcnf.xz
20-Nov-2013 19:07
193K
rand653_l2.wcnf.xz
20-Nov-2013 19:07
144K
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l1.wcnf.xz
20-Nov-2013 19:07
74K
rand929_l2.wcsp.xz
20-Nov-2013 19:07
93K
3e4f8550-0b33-11df-942d-00163e1d94dc_l2.wcsp.xz
20-Nov-2013 19:07
20K
eeee44ce-5407-11df-b11f-00163e7a6f5e_l1.wcnf.xz
20-Nov-2013 19:07
68K
rand220_l2.wcnf.xz
20-Nov-2013 19:07
225K
8afdd89e-51b8-11e0-acd7-00163e1e087d_l1.wcsp.xz
20-Nov-2013 19:07
8.5K
ab9005be-bacc-11e0-b0f6-00163e1e087d_l2.wcnf.xz
20-Nov-2013 19:07
204K
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l2.wcnf.xz
20-Nov-2013 19:07
247K
4a69cf16-c731-11df-9182-00163e3d3b7c_l2.wcsp.xz
20-Nov-2013 19:07
205K
4a69cf16-c731-11df-9182-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:07
11K
rand293_l1.wcsp.xz
20-Nov-2013 19:07
78K
rand491_l2.wcsp.xz
20-Nov-2013 19:07
155K
c2164c84-b015-11df-8b50-00163e46d37a_l2.wcsp.xz
20-Nov-2013 19:07
12K
rand377_l2.wcsp.xz
20-Nov-2013 19:07
115K
rand981_l2.wcnf.xz
20-Nov-2013 19:07
222K
ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:07
8.5K
a754ac72-95cc-11e0-9181-00163e1e087d_l2.wcsp.xz
20-Nov-2013 19:07
40K
8222799a-9af8-11df-8b50-00163e46d37a_l2.wcsp.xz
20-Nov-2013 19:07
56K
rand869_l1.wcnf.xz
20-Nov-2013 19:07
45K
bccf69ae-db9e-11df-9a24-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:07
96K
rand220_l2.wcsp.xz
20-Nov-2013 19:07
149K
rand507_l2.wcnf.xz
20-Nov-2013 19:07
143K
rand695_l1.wcsp.xz
20-Nov-2013 19:07
20K
29180036-5408-11df-9f57-00163e7a6f5e_l1.wcnf.xz
20-Nov-2013 19:07
68K
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:07
45K
8222799a-9af8-11df-8b50-00163e46d37a_l1.wcsp.xz
20-Nov-2013 19:07
56K
fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:07
73K
rand172_l1.wcsp.xz
20-Nov-2013 19:07
52K
rand131_l2.wcnf.xz
20-Nov-2013 19:07
240K
caefdef6-3477-11e0-84ef-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:07
83K
6b0d1da0-c730-11df-a7c5-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:07
14K
rand717_l2.wcnf.xz
20-Nov-2013 19:07
237K
ec32fc68-7254-11e0-8436-00163e1e087d_l1.wcnf.xz
20-Nov-2013 19:07
87K
rand981_l2.wcsp.xz
20-Nov-2013 19:07
157K
e381ba7e-a192-11e0-8647-00163e1e087d_l2.wcnf.xz
20-Nov-2013 19:07
58K
rand83_l2.wcsp.xz
20-Nov-2013 19:07
148K
rand393_l1.wcnf.xz
20-Nov-2013 19:07
16K
rand446_l1.wcsp.xz
20-Nov-2013 19:07
27K
rand874_l1.wcnf.xz
20-Nov-2013 19:07
59K
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:07
83K
rand196_l1.wcnf.xz
20-Nov-2013 19:07
44K
rand196_l2.wcsp.xz
20-Nov-2013 19:07
202K
rand752_l1.wcnf.xz
20-Nov-2013 19:07
47K
d023d256-3477-11e0-bdb2-00163e3d3b7c_l2.wcnf.xz
20-Nov-2013 19:07
87K
d023d256-3477-11e0-bdb2-00163e3d3b7c_l2.wcsp.xz
20-Nov-2013 19:07
46K
rand83_l1.wcnf.xz
20-Nov-2013 19:07
41K
29180036-5408-11df-9f57-00163e7a6f5e_l1.dzn.xz
20-Nov-2013 19:07
67K
rand118_l2.dzn.xz
20-Nov-2013 19:07
231K
rand981_l2_direct.lp.xz
20-Nov-2013 19:07
153K
rand869_l1_direct.lp.xz
20-Nov-2013 19:07
47K
rand583_l2_direct.lp.xz
20-Nov-2013 19:07
65K
rand717_l2_direct.lp.xz
20-Nov-2013 19:07
161K
rand507_l1_direct.lp.xz
20-Nov-2013 19:07
28K
rand507_l2_direct.lp.xz
20-Nov-2013 19:07
121K
rand293_l1_direct.lp.xz
20-Nov-2013 19:07
74K
rand242_l1_direct.lp.xz
20-Nov-2013 19:07
36K
c2164c84-b015-11df-8b50-00163e46d37a_l1_direct.lp.xz
20-Nov-2013 19:07
13K
caefdef6-3477-11e0-84ef-00163e3d3b7c_l2_direct.lp.xz
20-Nov-2013 19:07
42K
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:07
41K
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l2_direct.lp.xz
20-Nov-2013 19:07
42K
rand118_l2_direct.lp.xz
20-Nov-2013 19:07
140K
rand179_l1_direct.lp.xz
20-Nov-2013 19:07
48K
8222799a-9af8-11df-8b50-00163e46d37a_l1_direct.lp.xz
20-Nov-2013 19:07
51K
978532fa-c730-11df-b070-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:07
13K
b2540c52-51b7-11e0-aa4f-00163e1e087d_l1_direct.lp.xz
20-Nov-2013 19:07
7.9K
80e3fda2-9501-11e0-8001-00163e1e087d_l2_direct.lp.xz
20-Nov-2013 19:07
38K
4a69cf16-c731-11df-9182-00163e3d3b7c_l2_direct.lp.xz
20-Nov-2013 19:07
194K
4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:07
8.6K
80cfe9a6-9b1b-11df-965e-00163e46d37a_l1_direct.lp.xz
20-Nov-2013 19:07
50K
rand717_l2.dzn.xz
20-Nov-2013 19:07
234K
rand869_l1.dzn.xz
20-Nov-2013 19:07
45K
rand954_l1.dzn.xz
20-Nov-2013 19:07
24K
rand984_l2.dzn.xz
20-Nov-2013 19:07
236K
26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2_direct.lp.xz
20-Nov-2013 19:07
107K
d5026b8e-3477-11e0-986e-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:07
82K
ec32fc68-7254-11e0-8436-00163e1e087d_l1.dzn.xz
20-Nov-2013 19:07
86K
fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:07
96K
rand491_l2.dzn.xz
20-Nov-2013 19:07
223K
rand507_l2.dzn.xz
20-Nov-2013 19:07
142K
rand653_l2.dzn.xz
20-Nov-2013 19:07
144K
8b0e7c16-bab4-11e0-a883-00163e1e087d_l2.dzn.xz
20-Nov-2013 19:07
203K
ca8f656c-db9e-11df-b9cf-00163e3d3b7c_l2.dzn.xz
20-Nov-2013 19:07
99K
cff22854-9512-11e0-8001-00163e1e087d_l2.dzn.xz
20-Nov-2013 19:07
58K
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l1.dzn.xz
20-Nov-2013 19:07
8.2K
rand242_l1.dzn.xz
20-Nov-2013 19:07
33K
4a69cf16-c731-11df-9182-00163e3d3b7c_l2.dzn.xz
20-Nov-2013 19:07
222K
rand220_l2.dzn.xz
20-Nov-2013 19:07
223K
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l2.dzn.xz
20-Nov-2013 19:07
240K
rand196_l2.dzn.xz
20-Nov-2013 19:07
220K
29180036-5408-11df-9f57-00163e7a6f5e_l2.dzn.xz
20-Nov-2013 19:07
70K
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:07
190K
rand179_l1.dzn.xz
20-Nov-2013 19:07
54K
rand131_l2.wcsp.xz
20-Nov-2013 19:07
162K
rand869_l1.wcsp.xz
20-Nov-2013 19:07
47K
rand507_l2.wcsp.xz
20-Nov-2013 19:07
134K
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l1.wcsp.xz
20-Nov-2013 19:07
27K
rand293_l1.wcnf.xz
20-Nov-2013 19:07
81K
8afdd89e-51b8-11e0-acd7-00163e1e087d_l1.wcnf.xz
20-Nov-2013 19:07
8.3K
rand213_l2.wcsp.xz
20-Nov-2013 19:07
57K
rand308_l2.wcnf.xz
20-Nov-2013 19:07
143K
ca8f656c-db9e-11df-b9cf-00163e3d3b7c_l2.wcsp.xz
20-Nov-2013 19:07
74K
ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:07
10K
3e4f8550-0b33-11df-942d-00163e1d94dc_l1.wcnf.xz
20-Nov-2013 19:07
17K
ca8f656c-db9e-11df-b9cf-00163e3d3b7c_l2.wcnf.xz
20-Nov-2013 19:07
99K
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:07
116K
rand116_l2.wcnf.xz
20-Nov-2013 19:07
229K
d023d256-3477-11e0-bdb2-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:07
45K
rand984_l2.wcsp.xz
20-Nov-2013 19:07
168K
80e3fda2-9501-11e0-8001-00163e1e087d_l2.wcnf.xz
20-Nov-2013 19:07
58K
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l1.wcsp.xz
20-Nov-2013 19:07
56K
56ae4afa-0b33-11df-8a2b-00163e1d94dc_l1.wcnf.xz
20-Nov-2013 19:07
17K
deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2.wcsp.xz
20-Nov-2013 19:07
74K
rand307_l2.wcsp.xz
20-Nov-2013 19:07
59K
rand308_l2.wcsp.xz
20-Nov-2013 19:07
101K
rand874_l1.wcsp.xz
20-Nov-2013 19:07
63K
rand30_l1.wcnf.xz
20-Nov-2013 19:07
44K
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l2.wcnf.xz
20-Nov-2013 19:07
87K
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l1.wcnf.xz
20-Nov-2013 19:07
62K
rand196_l1.wcsp.xz
20-Nov-2013 19:07
45K
cff22854-9512-11e0-8001-00163e1e087d_l2.wcnf.xz
20-Nov-2013 19:07
58K
8b0e7c16-bab4-11e0-a883-00163e1e087d_l2.wcnf.xz
20-Nov-2013 19:07
204K
978532fa-c730-11df-b070-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:07
14K
rand381_l1.wcsp.xz
20-Nov-2013 19:07
15K
d023d256-3477-11e0-bdb2-00163e3d3b7c_l1.wcnf.xz
20-Nov-2013 19:07
83K
c2164c84-b015-11df-8b50-00163e46d37a_l1.wcsp.xz
20-Nov-2013 19:07
11K
rand752_l1.wcsp.xz
20-Nov-2013 19:07
50K
26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2.wcsp.xz
20-Nov-2013 19:07
113K
c2164c84-b015-11df-8b50-00163e46d37a_l1.wcnf.xz
20-Nov-2013 19:07
62K
8222799a-9af8-11df-8b50-00163e46d37a_l2.wcnf.xz
20-Nov-2013 19:07
75K
c2164c84-b015-11df-8b50-00163e46d37a_l2.wcnf.xz
20-Nov-2013 19:07
68K
rand208_l1.wcsp.xz
20-Nov-2013 19:07
54K
d5026b8e-3477-11e0-986e-00163e3d3b7c_l1.wcsp.xz
20-Nov-2013 19:07
45K
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l1.wcnf.xz
20-Nov-2013 19:07
8.2K
rand131_l2.dzn.xz
20-Nov-2013 19:07
237K
rand653_l2_direct.lp.xz
20-Nov-2013 19:07
96K
rand954_l1_direct.lp.xz
20-Nov-2013 19:07
21K
rand491_l2_direct.lp.xz
20-Nov-2013 19:07
151K
rand131_l2_direct.lp.xz
20-Nov-2013 19:07
159K
rand307_l2_direct.lp.xz
20-Nov-2013 19:07
58K
rand393_l1_direct.lp.xz
20-Nov-2013 19:07
17K
rand446_l1_direct.lp.xz
20-Nov-2013 19:07
27K
e2f6303a-4fe9-11e0-aa4f-00163e1e087d_l1_direct.lp.xz
20-Nov-2013 19:07
8.0K
ec32fc68-7254-11e0-8436-00163e1e087d_l1_direct.lp.xz
20-Nov-2013 19:07
36K
rand116_l2_direct.lp.xz
20-Nov-2013 19:07
147K
deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2_direct.lp.xz
20-Nov-2013 19:07
67K
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l2_direct.lp.xz
20-Nov-2013 19:07
26K
8afdd89e-51b8-11e0-acd7-00163e1e087d_l1_direct.lp.xz
20-Nov-2013 19:07
7.9K
ab9005be-bacc-11e0-b0f6-00163e1e087d_l2_direct.lp.xz
20-Nov-2013 19:07
164K
6b0d1da0-c730-11df-a7c5-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:07
13K
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l1_direct.lp.xz
20-Nov-2013 19:07
50K
4a69cf16-c731-11df-9182-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:07
12K
3e4f8550-0b33-11df-942d-00163e1d94dc_l1_direct.lp.xz
20-Nov-2013 19:07
20K
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l2_direct.lp.xz
20-Nov-2013 19:07
110K
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l1_direct.lp.xz
20-Nov-2013 19:07
101K
rand83_l1_direct.lp.xz
20-Nov-2013 19:07
35K
103c9978-5408-11df-9bc1-00163e7a6f5e_l1_direct.lp.xz
20-Nov-2013 19:07
39K
1aabfc32-d491-11df-9a24-00163e3d3b7c_l2_direct.lp.xz
20-Nov-2013 19:07
137K
29180036-5408-11df-9f57-00163e7a6f5e_l2_direct.lp.xz
20-Nov-2013 19:07
39K
rand929_l2.dzn.xz
20-Nov-2013 19:07
141K
rand984_l1.dzn.xz
20-Nov-2013 19:07
38K
rand30_l1_direct.lp.xz
20-Nov-2013 19:07
40K
e69a0e36-9ef1-11df-9d4a-00163e46d37a_l1.dzn.xz
20-Nov-2013 19:07
9.5K
eeee44ce-5407-11df-b11f-00163e7a6f5e_l2.dzn.xz
20-Nov-2013 19:07
70K
ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:07
8.7K
rand213_l2.dzn.xz
20-Nov-2013 19:07
140K
rand293_l1.dzn.xz
20-Nov-2013 19:07
80K
rand307_l2.dzn.xz
20-Nov-2013 19:07
140K
rand377_l2.dzn.xz
20-Nov-2013 19:07
146K
rand507_l1.dzn.xz
20-Nov-2013 19:07
29K
rand583_l2.dzn.xz
20-Nov-2013 19:07
140K
rand752_l1.dzn.xz
20-Nov-2013 19:07
47K
rand892_l1.dzn.xz
20-Nov-2013 19:07
22K
rand892_l2.dzn.xz
20-Nov-2013 19:07
141K
d023d256-3477-11e0-bdb2-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:07
82K
d023d256-3477-11e0-bdb2-00163e3d3b7c_l2.dzn.xz
20-Nov-2013 19:07
86K
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l2.dzn.xz
20-Nov-2013 19:07
63K
ab9005be-bacc-11e0-b0f6-00163e1e087d_l1.dzn.xz
20-Nov-2013 19:07
3.6K
ab9005be-bacc-11e0-b0f6-00163e1e087d_l2.dzn.xz
20-Nov-2013 19:07
203K
caefdef6-3477-11e0-84ef-00163e3d3b7c_l2.dzn.xz
20-Nov-2013 19:07
86K
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l2.dzn.xz
20-Nov-2013 19:07
74K
8222799a-9af8-11df-8b50-00163e46d37a_l2.dzn.xz
20-Nov-2013 19:07
74K
978532fa-c730-11df-b070-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:07
12K
103c9978-5408-11df-9bc1-00163e7a6f5e_l1.dzn.xz
20-Nov-2013 19:07
67K
3e4f8550-0b33-11df-942d-00163e1d94dc_l1.dzn.xz
20-Nov-2013 19:07
17K
3e4f8550-0b33-11df-942d-00163e1d94dc_l2.dzn.xz
20-Nov-2013 19:07
17K
4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l1.dzn.xz
20-Nov-2013 19:07
8.0K
rand172_l1.dzn.xz
20-Nov-2013 19:07
48K