Index of /~degivry/evalgm/MaxCSP/Composed-75-1-80
Name
Last modified
Size
Description
Parent Directory
-
composed-75-1-80-0_ext.xml
21-Mar-2014 16:12
144K
composed-75-1-80-0_ext_1000.dzn.xz
21-Mar-2014 16:12
14K
composed-75-1-80-0_ext_1000.uai.evid
21-Mar-2014 16:12
2
composed-75-1-80-0_ext_1000.uai.xz
21-Mar-2014 16:12
12K
composed-75-1-80-0_ext_1000.wcsp.xz
21-Mar-2014 16:12
16K
composed-75-1-80-0_ext_1000_direct.lp.xz
21-Mar-2014 16:12
70K
composed-75-1-80-0_ext_1000_direct.wcnf.xz
21-Mar-2014 16:12
17K
composed-75-1-80-0_ext_1000_support.lp.xz
21-Mar-2014 16:12
128K
composed-75-1-80-0_ext_1000_support.wcnf.xz
21-Mar-2014 16:12
235K
composed-75-1-80-1_ext.xml
21-Mar-2014 16:12
144K
composed-75-1-80-1_ext_1000.dzn.xz
21-Mar-2014 16:12
14K
composed-75-1-80-1_ext_1000.uai.evid
21-Mar-2014 16:12
2
composed-75-1-80-1_ext_1000.uai.xz
21-Mar-2014 16:12
12K
composed-75-1-80-1_ext_1000.wcsp.xz
21-Mar-2014 16:12
16K
composed-75-1-80-1_ext_1000_direct.lp.xz
21-Mar-2014 16:12
71K
composed-75-1-80-1_ext_1000_direct.wcnf.xz
21-Mar-2014 16:12
17K
composed-75-1-80-1_ext_1000_support.lp.xz
21-Mar-2014 16:12
137K
composed-75-1-80-1_ext_1000_support.wcnf.xz
21-Mar-2014 16:12
242K
composed-75-1-80-2_ext.xml
21-Mar-2014 16:12
144K
composed-75-1-80-2_ext_1000.dzn.xz
21-Mar-2014 16:12
14K
composed-75-1-80-2_ext_1000.uai.evid
21-Mar-2014 16:12
2
composed-75-1-80-2_ext_1000.uai.xz
21-Mar-2014 16:12
12K
composed-75-1-80-2_ext_1000.wcsp.xz
21-Mar-2014 16:12
16K
composed-75-1-80-2_ext_1000_direct.lp.xz
21-Mar-2014 16:12
72K
composed-75-1-80-2_ext_1000_direct.wcnf.xz
21-Mar-2014 16:12
17K
composed-75-1-80-2_ext_1000_support.lp.xz
21-Mar-2014 16:12
129K
composed-75-1-80-2_ext_1000_support.wcnf.xz
21-Mar-2014 16:12
244K
composed-75-1-80-3_ext.xml
21-Mar-2014 16:12
144K
composed-75-1-80-3_ext_1000.dzn.xz
21-Mar-2014 16:12
14K
composed-75-1-80-3_ext_1000.uai.evid
21-Mar-2014 16:12
2
composed-75-1-80-3_ext_1000.uai.xz
21-Mar-2014 16:12
12K
composed-75-1-80-3_ext_1000.wcsp.xz
21-Mar-2014 16:12
16K
composed-75-1-80-3_ext_1000_direct.lp.xz
21-Mar-2014 16:12
71K
composed-75-1-80-3_ext_1000_direct.wcnf.xz
21-Mar-2014 16:12
17K
composed-75-1-80-3_ext_1000_support.lp.xz
21-Mar-2014 16:12
108K
composed-75-1-80-3_ext_1000_support.wcnf.xz
21-Mar-2014 16:12
242K
composed-75-1-80-4_ext.xml
21-Mar-2014 16:12
144K
composed-75-1-80-4_ext_1000.dzn.xz
21-Mar-2014 16:12
14K
composed-75-1-80-4_ext_1000.uai.evid
21-Mar-2014 16:12
2
composed-75-1-80-4_ext_1000.uai.xz
21-Mar-2014 16:12
12K
composed-75-1-80-4_ext_1000.wcsp.xz
21-Mar-2014 16:12
16K
composed-75-1-80-4_ext_1000_direct.lp.xz
21-Mar-2014 16:12
71K
composed-75-1-80-4_ext_1000_direct.wcnf.xz
21-Mar-2014 16:12
16K
composed-75-1-80-4_ext_1000_support.lp.xz
21-Mar-2014 16:12
126K
composed-75-1-80-4_ext_1000_support.wcnf.xz
21-Mar-2014 16:12
228K
composed-75-1-80-5_ext.xml
21-Mar-2014 16:12
144K
composed-75-1-80-5_ext_1000.dzn.xz
21-Mar-2014 16:12
14K
composed-75-1-80-5_ext_1000.uai.evid
21-Mar-2014 16:12
2
composed-75-1-80-5_ext_1000.uai.xz
21-Mar-2014 16:12
12K
composed-75-1-80-5_ext_1000.wcsp.xz
21-Mar-2014 16:12
16K
composed-75-1-80-5_ext_1000_direct.lp.xz
21-Mar-2014 16:12
73K
composed-75-1-80-5_ext_1000_direct.wcnf.xz
21-Mar-2014 16:12
17K
composed-75-1-80-5_ext_1000_support.lp.xz
21-Mar-2014 16:12
131K
composed-75-1-80-5_ext_1000_support.wcnf.xz
21-Mar-2014 16:12
244K
composed-75-1-80-6_ext.xml
21-Mar-2014 16:12
144K
composed-75-1-80-6_ext_1000.dzn.xz
21-Mar-2014 16:12
14K
composed-75-1-80-6_ext_1000.uai.evid
21-Mar-2014 16:12
2
composed-75-1-80-6_ext_1000.uai.xz
21-Mar-2014 16:12
12K
composed-75-1-80-6_ext_1000.wcsp.xz
21-Mar-2014 16:12
16K
composed-75-1-80-6_ext_1000_direct.lp.xz
21-Mar-2014 16:12
76K
composed-75-1-80-6_ext_1000_direct.wcnf.xz
21-Mar-2014 16:12
17K
composed-75-1-80-6_ext_1000_support.lp.xz
21-Mar-2014 16:12
136K
composed-75-1-80-6_ext_1000_support.wcnf.xz
21-Mar-2014 16:12
235K
composed-75-1-80-7_ext.xml
21-Mar-2014 16:12
144K
composed-75-1-80-7_ext_1000.dzn.xz
21-Mar-2014 16:12
14K
composed-75-1-80-7_ext_1000.uai.evid
21-Mar-2014 16:12
2
composed-75-1-80-7_ext_1000.uai.xz
21-Mar-2014 16:12
12K
composed-75-1-80-7_ext_1000.wcsp.xz
21-Mar-2014 16:12
16K
composed-75-1-80-7_ext_1000_direct.lp.xz
21-Mar-2014 16:12
70K
composed-75-1-80-7_ext_1000_direct.wcnf.xz
21-Mar-2014 16:12
17K
composed-75-1-80-7_ext_1000_support.lp.xz
21-Mar-2014 16:12
129K
composed-75-1-80-7_ext_1000_support.wcnf.xz
21-Mar-2014 16:12
230K
composed-75-1-80-8_ext.xml
21-Mar-2014 16:12
144K
composed-75-1-80-8_ext_1000.dzn.xz
21-Mar-2014 16:12
14K
composed-75-1-80-8_ext_1000.uai.evid
21-Mar-2014 16:12
2
composed-75-1-80-8_ext_1000.uai.xz
21-Mar-2014 16:12
12K
composed-75-1-80-8_ext_1000.wcsp.xz
21-Mar-2014 16:12
16K
composed-75-1-80-8_ext_1000_direct.lp.xz
21-Mar-2014 16:12
71K
composed-75-1-80-8_ext_1000_direct.wcnf.xz
21-Mar-2014 16:12
17K
composed-75-1-80-8_ext_1000_support.lp.xz
21-Mar-2014 16:12
125K
composed-75-1-80-8_ext_1000_support.wcnf.xz
21-Mar-2014 16:12
243K
composed-75-1-80-9_ext.xml
21-Mar-2014 16:12
144K
composed-75-1-80-9_ext_1000.dzn.xz
21-Mar-2014 16:12
14K
composed-75-1-80-9_ext_1000.uai.evid
21-Mar-2014 16:12
2
composed-75-1-80-9_ext_1000.uai.xz
21-Mar-2014 16:12
12K
composed-75-1-80-9_ext_1000.wcsp.xz
21-Mar-2014 16:12
16K
composed-75-1-80-9_ext_1000_direct.lp.xz
21-Mar-2014 16:12
74K
composed-75-1-80-9_ext_1000_direct.wcnf.xz
21-Mar-2014 16:12
17K
composed-75-1-80-9_ext_1000_support.lp.xz
21-Mar-2014 16:12
132K
composed-75-1-80-9_ext_1000_support.wcnf.xz
21-Mar-2014 16:12
243K
wcsp.mzn
21-Mar-2014 16:12
3.4K