Index of /~degivry/evalgm/MaxCSP/Composed-25-1-80
Name
Last modified
Size
Description
Parent Directory
-
composed-25-1-80-0_ext_1000.uai.evid
21-Mar-2014 16:11
2
composed-25-1-80-1_ext_1000.uai.evid
21-Mar-2014 16:11
2
composed-25-1-80-2_ext_1000.uai.evid
21-Mar-2014 16:11
2
composed-25-1-80-3_ext_1000.uai.evid
21-Mar-2014 16:11
2
composed-25-1-80-4_ext_1000.uai.evid
21-Mar-2014 16:11
2
composed-25-1-80-5_ext_1000.uai.evid
21-Mar-2014 16:11
2
composed-25-1-80-6_ext_1000.uai.evid
21-Mar-2014 16:11
2
composed-25-1-80-7_ext_1000.uai.evid
21-Mar-2014 16:11
2
composed-25-1-80-8_ext_1000.uai.evid
21-Mar-2014 16:11
2
composed-25-1-80-9_ext_1000.uai.evid
21-Mar-2014 16:11
2
wcsp.mzn
21-Mar-2014 16:11
3.4K
composed-25-1-80-1_ext_1000.uai.xz
21-Mar-2014 16:11
5.2K
composed-25-1-80-3_ext_1000.uai.xz
21-Mar-2014 16:11
5.3K
composed-25-1-80-8_ext_1000.uai.xz
21-Mar-2014 16:11
5.3K
composed-25-1-80-0_ext_1000.uai.xz
21-Mar-2014 16:11
5.3K
composed-25-1-80-5_ext_1000.uai.xz
21-Mar-2014 16:11
5.3K
composed-25-1-80-6_ext_1000.uai.xz
21-Mar-2014 16:11
5.3K
composed-25-1-80-7_ext_1000.uai.xz
21-Mar-2014 16:11
5.3K
composed-25-1-80-2_ext_1000.uai.xz
21-Mar-2014 16:11
5.4K
composed-25-1-80-4_ext_1000.uai.xz
21-Mar-2014 16:11
5.4K
composed-25-1-80-9_ext_1000.uai.xz
21-Mar-2014 16:11
5.4K
composed-25-1-80-3_ext_1000.dzn.xz
21-Mar-2014 16:11
6.0K
composed-25-1-80-4_ext_1000.dzn.xz
21-Mar-2014 16:11
6.0K
composed-25-1-80-7_ext_1000.dzn.xz
21-Mar-2014 16:11
6.0K
composed-25-1-80-8_ext_1000.dzn.xz
21-Mar-2014 16:11
6.1K
composed-25-1-80-1_ext_1000.dzn.xz
21-Mar-2014 16:11
6.1K
composed-25-1-80-6_ext_1000.dzn.xz
21-Mar-2014 16:11
6.1K
composed-25-1-80-2_ext_1000.dzn.xz
21-Mar-2014 16:11
6.1K
composed-25-1-80-9_ext_1000.dzn.xz
21-Mar-2014 16:11
6.1K
composed-25-1-80-0_ext_1000.dzn.xz
21-Mar-2014 16:11
6.2K
composed-25-1-80-5_ext_1000.dzn.xz
21-Mar-2014 16:11
6.2K
composed-25-1-80-3_ext_1000.wcsp.xz
21-Mar-2014 16:11
6.5K
composed-25-1-80-1_ext_1000.wcsp.xz
21-Mar-2014 16:11
6.6K
composed-25-1-80-6_ext_1000.wcsp.xz
21-Mar-2014 16:11
6.7K
composed-25-1-80-7_ext_1000.wcsp.xz
21-Mar-2014 16:11
6.7K
composed-25-1-80-5_ext_1000.wcsp.xz
21-Mar-2014 16:11
6.7K
composed-25-1-80-8_ext_1000.wcsp.xz
21-Mar-2014 16:11
6.8K
composed-25-1-80-4_ext_1000.wcsp.xz
21-Mar-2014 16:11
6.8K
composed-25-1-80-0_ext_1000.wcsp.xz
21-Mar-2014 16:11
6.8K
composed-25-1-80-2_ext_1000.wcsp.xz
21-Mar-2014 16:11
6.8K
composed-25-1-80-9_ext_1000.wcsp.xz
21-Mar-2014 16:11
6.9K
composed-25-1-80-1_ext_1000_direct.wcnf.xz
21-Mar-2014 16:11
7.6K
composed-25-1-80-9_ext_1000_direct.wcnf.xz
21-Mar-2014 16:11
7.8K
composed-25-1-80-4_ext_1000_direct.wcnf.xz
21-Mar-2014 16:11
7.8K
composed-25-1-80-5_ext_1000_direct.wcnf.xz
21-Mar-2014 16:11
7.9K
composed-25-1-80-8_ext_1000_direct.wcnf.xz
21-Mar-2014 16:11
7.9K
composed-25-1-80-3_ext_1000_direct.wcnf.xz
21-Mar-2014 16:11
7.9K
composed-25-1-80-6_ext_1000_direct.wcnf.xz
21-Mar-2014 16:11
7.9K
composed-25-1-80-0_ext_1000_direct.wcnf.xz
21-Mar-2014 16:11
7.9K
composed-25-1-80-7_ext_1000_direct.wcnf.xz
21-Mar-2014 16:11
8.0K
composed-25-1-80-2_ext_1000_direct.wcnf.xz
21-Mar-2014 16:11
8.0K
composed-25-1-80-1_ext_1000_direct.lp.xz
21-Mar-2014 16:11
30K
composed-25-1-80-5_ext_1000_direct.lp.xz
21-Mar-2014 16:11
32K
composed-25-1-80-3_ext_1000_direct.lp.xz
21-Mar-2014 16:11
32K
composed-25-1-80-6_ext_1000_direct.lp.xz
21-Mar-2014 16:11
32K
composed-25-1-80-0_ext_1000_direct.lp.xz
21-Mar-2014 16:11
32K
composed-25-1-80-8_ext_1000_direct.lp.xz
21-Mar-2014 16:11
32K
composed-25-1-80-7_ext_1000_direct.lp.xz
21-Mar-2014 16:11
33K
composed-25-1-80-9_ext_1000_direct.lp.xz
21-Mar-2014 16:11
33K
composed-25-1-80-2_ext_1000_direct.lp.xz
21-Mar-2014 16:11
33K
composed-25-1-80-4_ext_1000_direct.lp.xz
21-Mar-2014 16:11
34K
composed-25-1-80-1_ext_1000_support.lp.xz
21-Mar-2014 16:11
48K
composed-25-1-80-9_ext_1000_support.lp.xz
21-Mar-2014 16:11
49K
composed-25-1-80-8_ext_1000_support.lp.xz
21-Mar-2014 16:11
51K
composed-25-1-80-0_ext_1000_support.lp.xz
21-Mar-2014 16:11
51K
composed-25-1-80-6_ext_1000_support.lp.xz
21-Mar-2014 16:11
54K
composed-25-1-80-7_ext_1000_support.lp.xz
21-Mar-2014 16:11
56K
composed-25-1-80-5_ext_1000_support.lp.xz
21-Mar-2014 16:11
57K
composed-25-1-80-4_ext_1000_support.lp.xz
21-Mar-2014 16:11
57K
composed-25-1-80-3_ext_1000_support.lp.xz
21-Mar-2014 16:11
58K
composed-25-1-80-2_ext_1000_support.lp.xz
21-Mar-2014 16:11
58K
composed-25-1-80-4_ext.xml
21-Mar-2014 16:11
61K
composed-25-1-80-5_ext.xml
21-Mar-2014 16:11
61K
composed-25-1-80-1_ext.xml
21-Mar-2014 16:11
61K
composed-25-1-80-8_ext.xml
21-Mar-2014 16:11
61K
composed-25-1-80-3_ext.xml
21-Mar-2014 16:11
61K
composed-25-1-80-6_ext.xml
21-Mar-2014 16:11
61K
composed-25-1-80-0_ext.xml
21-Mar-2014 16:11
61K
composed-25-1-80-2_ext.xml
21-Mar-2014 16:11
61K
composed-25-1-80-7_ext.xml
21-Mar-2014 16:11
61K
composed-25-1-80-9_ext.xml
21-Mar-2014 16:11
61K
composed-25-1-80-4_ext_1000_support.wcnf.xz
21-Mar-2014 16:11
101K
composed-25-1-80-1_ext_1000_support.wcnf.xz
21-Mar-2014 16:11
104K
composed-25-1-80-9_ext_1000_support.wcnf.xz
21-Mar-2014 16:11
104K
composed-25-1-80-5_ext_1000_support.wcnf.xz
21-Mar-2014 16:11
104K
composed-25-1-80-2_ext_1000_support.wcnf.xz
21-Mar-2014 16:11
106K
composed-25-1-80-8_ext_1000_support.wcnf.xz
21-Mar-2014 16:11
106K
composed-25-1-80-7_ext_1000_support.wcnf.xz
21-Mar-2014 16:11
107K
composed-25-1-80-6_ext_1000_support.wcnf.xz
21-Mar-2014 16:11
107K
composed-25-1-80-3_ext_1000_support.wcnf.xz
21-Mar-2014 16:11
107K
composed-25-1-80-0_ext_1000_support.wcnf.xz
21-Mar-2014 16:11
107K