Index of /~degivry/evalgm/MaxCSP/QCP-20
Name
Last modified
Size
Description
Parent Directory
-
qcp-20-187-0_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-1_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-2_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-3_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-4_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-5_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-6_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-7_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-8_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-9_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-10_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-11_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-12_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-13_ext_1000.uai.evid
21-Mar-2014 16:10
2
qcp-20-187-14_ext_1000.uai.evid
21-Mar-2014 16:10
2
wcsp.mzn
21-Mar-2014 16:10
3.4K
qcp-20-187-13_ext_1000.uai.xz
21-Mar-2014 16:10
7.2K
qcp-20-187-4_ext_1000.uai.xz
21-Mar-2014 16:10
7.5K
qcp-20-187-10_ext_1000.uai.xz
21-Mar-2014 16:10
7.6K
qcp-20-187-12_ext_1000.uai.xz
21-Mar-2014 16:10
7.7K
qcp-20-187-9_ext_1000.uai.xz
21-Mar-2014 16:10
7.7K
qcp-20-187-6_ext_1000.uai.xz
21-Mar-2014 16:10
7.7K
qcp-20-187-7_ext_1000.uai.xz
21-Mar-2014 16:10
7.8K
qcp-20-187-0_ext_1000.uai.xz
21-Mar-2014 16:10
7.8K
qcp-20-187-11_ext_1000.uai.xz
21-Mar-2014 16:10
7.8K
qcp-20-187-2_ext_1000.uai.xz
21-Mar-2014 16:10
7.8K
qcp-20-187-3_ext_1000.uai.xz
21-Mar-2014 16:10
7.9K
qcp-20-187-14_ext_1000.uai.xz
21-Mar-2014 16:10
7.9K
qcp-20-187-8_ext_1000.uai.xz
21-Mar-2014 16:10
8.0K
qcp-20-187-5_ext_1000.uai.xz
21-Mar-2014 16:10
8.0K
qcp-20-187-1_ext_1000.uai.xz
21-Mar-2014 16:10
8.1K
qcp-20-187-13_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
8.4K
qcp-20-187-4_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
8.9K
qcp-20-187-7_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
9.0K
qcp-20-187-9_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
9.0K
qcp-20-187-12_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
9.0K
qcp-20-187-6_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
9.0K
qcp-20-187-10_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
9.0K
qcp-20-187-3_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
9.2K
qcp-20-187-2_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
9.2K
qcp-20-187-11_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
9.4K
qcp-20-187-14_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
9.4K
qcp-20-187-0_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
9.4K
qcp-20-187-8_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
9.5K
qcp-20-187-5_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
9.7K
qcp-20-187-13_ext_1000.dzn.xz
21-Mar-2014 16:10
9.8K
qcp-20-187-1_ext_1000_direct.wcnf.xz
21-Mar-2014 16:10
9.8K
qcp-20-187-13_ext_1000.wcsp.xz
21-Mar-2014 16:10
9.9K
qcp-20-187-4_ext_1000.dzn.xz
21-Mar-2014 16:10
10K
qcp-20-187-12_ext_1000.dzn.xz
21-Mar-2014 16:10
10K
qcp-20-187-10_ext_1000.dzn.xz
21-Mar-2014 16:10
10K
qcp-20-187-6_ext_1000.dzn.xz
21-Mar-2014 16:10
10K
qcp-20-187-7_ext_1000.dzn.xz
21-Mar-2014 16:10
11K
qcp-20-187-9_ext_1000.dzn.xz
21-Mar-2014 16:10
11K
qcp-20-187-4_ext_1000.wcsp.xz
21-Mar-2014 16:10
11K
qcp-20-187-14_ext_1000.dzn.xz
21-Mar-2014 16:10
11K
qcp-20-187-11_ext_1000.dzn.xz
21-Mar-2014 16:10
11K
qcp-20-187-2_ext_1000.dzn.xz
21-Mar-2014 16:10
11K
qcp-20-187-3_ext_1000.dzn.xz
21-Mar-2014 16:10
11K
qcp-20-187-10_ext_1000.wcsp.xz
21-Mar-2014 16:10
11K
qcp-20-187-0_ext_1000.dzn.xz
21-Mar-2014 16:10
11K
qcp-20-187-12_ext_1000.wcsp.xz
21-Mar-2014 16:10
11K
qcp-20-187-9_ext_1000.wcsp.xz
21-Mar-2014 16:10
11K
qcp-20-187-5_ext_1000.dzn.xz
21-Mar-2014 16:10
11K
qcp-20-187-1_ext_1000.dzn.xz
21-Mar-2014 16:10
11K
qcp-20-187-0_ext_1000.wcsp.xz
21-Mar-2014 16:10
11K
qcp-20-187-8_ext_1000.dzn.xz
21-Mar-2014 16:10
11K
qcp-20-187-7_ext_1000.wcsp.xz
21-Mar-2014 16:10
11K
qcp-20-187-6_ext_1000.wcsp.xz
21-Mar-2014 16:10
11K
qcp-20-187-11_ext_1000.wcsp.xz
21-Mar-2014 16:10
11K
qcp-20-187-2_ext_1000.wcsp.xz
21-Mar-2014 16:10
11K
qcp-20-187-14_ext_1000.wcsp.xz
21-Mar-2014 16:10
11K
qcp-20-187-3_ext_1000.wcsp.xz
21-Mar-2014 16:10
11K
qcp-20-187-5_ext_1000.wcsp.xz
21-Mar-2014 16:10
11K
qcp-20-187-8_ext_1000.wcsp.xz
21-Mar-2014 16:10
11K
qcp-20-187-1_ext_1000.wcsp.xz
21-Mar-2014 16:10
12K
qcp-20-187-13_ext_1000_direct.lp.xz
21-Mar-2014 16:10
27K
qcp-20-187-4_ext_1000_direct.lp.xz
21-Mar-2014 16:10
28K
qcp-20-187-10_ext_1000_direct.lp.xz
21-Mar-2014 16:10
29K
qcp-20-187-9_ext_1000_direct.lp.xz
21-Mar-2014 16:10
29K
qcp-20-187-12_ext_1000_direct.lp.xz
21-Mar-2014 16:10
29K
qcp-20-187-6_ext_1000_direct.lp.xz
21-Mar-2014 16:10
29K
qcp-20-187-2_ext_1000_direct.lp.xz
21-Mar-2014 16:10
29K
qcp-20-187-7_ext_1000_direct.lp.xz
21-Mar-2014 16:10
30K
qcp-20-187-0_ext_1000_direct.lp.xz
21-Mar-2014 16:10
30K
qcp-20-187-3_ext_1000_direct.lp.xz
21-Mar-2014 16:10
30K
qcp-20-187-11_ext_1000_direct.lp.xz
21-Mar-2014 16:10
31K
qcp-20-187-14_ext_1000_direct.lp.xz
21-Mar-2014 16:10
31K
qcp-20-187-8_ext_1000_direct.lp.xz
21-Mar-2014 16:10
31K
qcp-20-187-5_ext_1000_direct.lp.xz
21-Mar-2014 16:10
32K
qcp-20-187-1_ext_1000_direct.lp.xz
21-Mar-2014 16:10
32K
qcp-20-187-13_ext_1000_support.lp.xz
21-Mar-2014 16:10
77K
qcp-20-187-4_ext_1000_support.lp.xz
21-Mar-2014 16:10
81K
qcp-20-187-10_ext_1000_support.lp.xz
21-Mar-2014 16:10
82K
qcp-20-187-6_ext_1000_support.lp.xz
21-Mar-2014 16:10
83K
qcp-20-187-12_ext_1000_support.lp.xz
21-Mar-2014 16:10
84K
qcp-20-187-9_ext_1000_support.lp.xz
21-Mar-2014 16:10
84K
qcp-20-187-7_ext_1000_support.lp.xz
21-Mar-2014 16:10
85K
qcp-20-187-0_ext_1000_support.lp.xz
21-Mar-2014 16:10
85K
qcp-20-187-2_ext_1000_support.lp.xz
21-Mar-2014 16:10
86K
qcp-20-187-3_ext_1000_support.lp.xz
21-Mar-2014 16:10
86K
qcp-20-187-11_ext_1000_support.lp.xz
21-Mar-2014 16:10
87K
qcp-20-187-8_ext_1000_support.lp.xz
21-Mar-2014 16:10
88K
qcp-20-187-14_ext_1000_support.lp.xz
21-Mar-2014 16:10
88K
qcp-20-187-5_ext_1000_support.lp.xz
21-Mar-2014 16:10
89K
qcp-20-187-1_ext_1000_support.lp.xz
21-Mar-2014 16:10
90K
qcp-20-187-13_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
138K
qcp-20-187-4_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
146K
qcp-20-187-10_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
150K
qcp-20-187-9_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
152K
qcp-20-187-7_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
152K
qcp-20-187-6_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
153K
qcp-20-187-12_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
154K
qcp-20-187-2_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
154K
qcp-20-187-3_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
155K
qcp-20-187-14_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
157K
qcp-20-187-0_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
157K
qcp-20-187-11_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
159K
qcp-20-187-8_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
161K
qcp-20-187-5_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
165K
qcp-20-187-1_ext_1000_support.wcnf.xz
21-Mar-2014 16:10
166K
qcp-20-187-14_ext.xml
21-Mar-2014 16:10
534K
qcp-20-187-5_ext.xml
21-Mar-2014 16:10
534K
qcp-20-187-10_ext.xml
21-Mar-2014 16:10
534K
qcp-20-187-8_ext.xml
21-Mar-2014 16:10
534K
qcp-20-187-0_ext.xml
21-Mar-2014 16:10
534K
qcp-20-187-3_ext.xml
21-Mar-2014 16:10
534K
qcp-20-187-11_ext.xml
21-Mar-2014 16:10
534K
qcp-20-187-7_ext.xml
21-Mar-2014 16:10
534K
qcp-20-187-6_ext.xml
21-Mar-2014 16:10
534K
qcp-20-187-13_ext.xml
21-Mar-2014 16:10
534K
qcp-20-187-9_ext.xml
21-Mar-2014 16:10
535K
qcp-20-187-1_ext.xml
21-Mar-2014 16:10
536K
qcp-20-187-2_ext.xml
21-Mar-2014 16:10
536K
qcp-20-187-4_ext.xml
21-Mar-2014 16:10
536K
qcp-20-187-12_ext.xml
21-Mar-2014 16:10
536K