Index of /~degivry/evalgm/CFN/CELAR
Name
Last modified
Size
Description
Parent Directory
-
CELAR2dzn.awk
2013-11-20 19:17
1.6K
CELAR2dzn.sh
2013-11-20 19:17
134
CELAR6-SUB0.dzn.xz
2013-11-20 19:17
892
CELAR6-SUB0_r.uai.evid
2013-11-20 19:17
2
CELAR6-SUB0_r.uai.xz
2013-11-20 19:17
19K
CELAR6-SUB0_r.wcsp.xz
2013-11-20 19:17
42K
CELAR6-SUB0_r_direct.lp.xz
2013-11-20 19:17
354K
CELAR6-SUB0_r_direct.wcnf.xz
2013-11-20 19:17
49K
CELAR6-SUB0_r_support.lp.xz
2013-11-20 19:18
227K
CELAR6-SUB0_r_support.wcnf.xz
2013-11-20 19:17
351K
CELAR6-SUB1.dzn.xz
2013-11-20 19:17
884
CELAR6-SUB1_r.uai.evid
2013-11-20 19:17
2
CELAR6-SUB1_r.uai.xz
2013-11-20 19:17
19K
CELAR6-SUB1_r.wcsp.xz
2013-11-20 19:17
34K
CELAR6-SUB1_r_direct.lp.xz
2013-11-20 19:17
484K
CELAR6-SUB1_r_direct.wcnf.xz
2013-11-20 19:17
72K
CELAR6-SUB1_r_support.lp.xz
2013-11-20 19:18
315K
CELAR6-SUB1_r_support.wcnf.xz
2013-11-20 19:17
530K
CELAR6-SUB2.dzn.xz
2013-11-20 19:17
1.0K
CELAR6-SUB2_r.uai.evid
2013-11-20 19:17
2
CELAR6-SUB2_r.uai.xz
2013-11-20 19:17
23K
CELAR6-SUB2_r.wcsp.xz
2013-11-20 19:17
43K
CELAR6-SUB2_r_direct.lp.xz
2013-11-20 19:17
597K
CELAR6-SUB2_r_direct.wcnf.xz
2013-11-20 19:17
82K
CELAR6-SUB2_r_support.lp.xz
2013-11-20 19:18
385K
CELAR6-SUB2_r_support.wcnf.xz
2013-11-20 19:17
614K
CELAR6-SUB3.dzn.xz
2013-11-20 19:17
1.1K
CELAR6-SUB3_r.uai.evid
2013-11-20 19:17
2
CELAR6-SUB3_r.uai.xz
2013-11-20 19:17
26K
CELAR6-SUB3_r.wcsp.xz
2013-11-20 19:17
47K
CELAR6-SUB3_r_direct.lp.xz
2013-11-20 19:17
714K
CELAR6-SUB3_r_direct.wcnf.xz
2013-11-20 19:17
97K
CELAR6-SUB3_r_support.lp.xz
2013-11-20 19:18
452K
CELAR6-SUB3_r_support.wcnf.xz
2013-11-20 19:17
724K
CELAR6-SUB4.dzn.xz
2013-11-20 19:17
1.3K
CELAR6-SUB4_r.uai.evid
2013-11-20 19:17
2
CELAR6-SUB4_r.uai.xz
2013-11-20 19:17
31K
CELAR6-SUB4_r.wcsp.xz
2013-11-20 19:17
59K
CELAR6-SUB4_r_direct.lp.xz
2013-11-20 19:17
837K
CELAR6-SUB4_r_direct.wcnf.xz
2013-11-20 19:17
110K
CELAR6-SUB4_r_support.lp.xz
2013-11-20 19:18
526K
CELAR6-SUB4_r_support.wcnf.xz
2013-11-20 19:17
860K
CELAR7-SUB1.dzn.xz
2013-11-20 19:17
848
CELAR7-SUB1_r.uai.evid
2013-11-20 19:17
2
CELAR7-SUB1_r.uai.xz
2013-11-20 19:17
19K
CELAR7-SUB1_r.wcsp.xz
2013-11-20 19:17
37K
CELAR7-SUB1_r_direct.lp.xz
2013-11-20 19:17
472K
CELAR7-SUB1_r_direct.wcnf.xz
2013-11-20 19:17
81K
CELAR7-SUB1_r_support.lp.xz
2013-11-20 19:18
302K
CELAR7-SUB1_r_support.wcnf.xz
2013-11-20 19:17
542K
CELAR7-SUB2.dzn.xz
2013-11-20 19:17
1.0K
CELAR7-SUB2_r.uai.evid
2013-11-20 19:17
2
CELAR7-SUB2_r.uai.xz
2013-11-20 19:17
23K
CELAR7-SUB2_r.wcsp.xz
2013-11-20 19:17
47K
CELAR7-SUB2_r_direct.lp.xz
2013-11-20 19:17
599K
CELAR7-SUB2_r_direct.wcnf.xz
2013-11-20 19:17
96K
CELAR7-SUB2_r_support.lp.xz
2013-11-20 19:18
386K
CELAR7-SUB2_r_support.wcnf.xz
2013-11-20 19:17
619K
CELAR7-SUB3.dzn.xz
2013-11-20 19:17
1.1K
CELAR7-SUB3_r.uai.evid
2013-11-20 19:17
2
CELAR7-SUB3_r.uai.xz
2013-11-20 19:17
25K
CELAR7-SUB3_r.wcsp.xz
2013-11-20 19:17
51K
CELAR7-SUB3_r_direct.lp.xz
2013-11-20 19:18
694K
CELAR7-SUB3_r_direct.wcnf.xz
2013-11-20 19:17
104K
CELAR7-SUB3_r_support.lp.xz
2013-11-20 19:18
438K
CELAR7-SUB3_r_support.wcnf.xz
2013-11-20 19:17
724K
CELAR7-SUB4.dzn.xz
2013-11-20 19:17
1.2K
CELAR7-SUB4_r.uai.evid
2013-11-20 19:17
2
CELAR7-SUB4_r.uai.xz
2013-11-20 19:17
30K
CELAR7-SUB4_r.wcsp.xz
2013-11-20 19:17
62K
CELAR7-SUB4_r_direct.lp.xz
2013-11-20 19:18
820K
CELAR7-SUB4_r_direct.wcnf.xz
2013-11-20 19:17
116K
CELAR7-SUB4_r_support.lp.xz
2013-11-20 19:18
521K
CELAR7-SUB4_r_support.wcnf.xz
2013-11-20 19:17
858K
FullCELAR/
2013-11-20 19:17
-
celar.blurb
2013-11-20 19:17
9.9K
celar.mzn
2013-11-20 19:17
3.0K
graph05.dzn.xz
2013-11-20 19:17
3.5K
graph05_r.uai.evid
2013-11-20 19:17
2
graph05_r.uai.xz
2013-11-20 19:17
103K
graph05_r.wcsp.xz
2013-11-20 19:17
222K
graph05_r_direct.lp.xz
2013-11-20 19:17
2.4M
graph05_r_direct.wcnf.xz
2013-11-20 19:17
239K
graph05_r_support.lp.xz
2013-11-20 19:18
1.5M
graph05_r_support.wcnf.xz
2013-11-20 19:17
2.0M
graph06.dzn.xz
2013-11-20 19:17
6.0K
graph06_r.uai.evid
2013-11-20 19:17
2
graph06_r.uai.xz
2013-11-20 19:17
202K
graph06_r.wcsp.xz
2013-11-20 19:17
417K
graph06_r_direct.lp.xz
2013-11-20 19:17
4.7M
graph06_r_direct.wcnf.xz
2013-11-20 19:17
474K
graph06_r_support.lp.xz
2013-11-20 19:18
3.2M
graph06_r_support.wcnf.xz
2013-11-20 19:17
4.1M
graph11.dzn.xz
2013-11-20 19:17
10K
graph11_r.uai.evid
2013-11-20 19:17
2
graph11_r.uai.xz
2013-11-20 19:17
360K
graph11_r.wcsp.xz
2013-11-20 19:17
732K
graph11_r_direct.lp.xz
2013-11-20 19:17
8.9M
graph11_r_direct.wcnf.xz
2013-11-20 19:17
892K
graph11_r_support.lp.xz
2013-11-20 19:18
5.5M
graph11_r_support.wcnf.xz
2013-11-20 19:17
7.0M
graph13.dzn.xz
2013-11-20 19:17
14K
graph13_r.uai.evid
2013-11-20 19:17
2
graph13_r.uai.xz
2013-11-20 19:17
515K
graph13_r.wcsp.xz
2013-11-20 19:17
1.0M
graph13_r_direct.lp.xz
2013-11-20 19:17
13M
graph13_r_direct.wcnf.xz
2013-11-20 19:17
1.2M
graph13_r_support.lp.xz
2013-11-20 19:18
7.6M
graph13_r_support.wcnf.xz
2013-11-20 19:18
9.8M
scen06.dzn.xz
2013-11-20 19:17
3.2K
scen06_r.uai.evid
2013-11-20 19:17
2
scen06_r.uai.xz
2013-11-20 19:17
102K
scen06_r.wcsp.xz
2013-11-20 19:17
187K
scen06_r_direct.lp.xz
2013-11-20 19:17
2.3M
scen06_r_direct.wcnf.xz
2013-11-20 19:17
278K
scen06_r_support.lp.xz
2013-11-20 19:17
1.5M
scen06_r_support.wcnf.xz
2013-11-20 19:18
2.1M
scen07.dzn.xz
2013-11-20 19:17
6.5K
scen07_r.uai.evid
2013-11-20 19:17
2
scen07_r.uai.xz
2013-11-20 19:17
238K
scen07_r.wcsp.xz
2013-11-20 19:17
452K
scen07_r_direct.lp.xz
2013-11-20 19:17
5.5M
scen07_r_direct.wcnf.xz
2013-11-20 19:17
556K
scen07_r_support.lp.xz
2013-11-20 19:17
3.6M
scen07_r_support.wcnf.xz
2013-11-20 19:18
4.6M
scen08.dzn.xz
2013-11-20 19:17
12K
scen08_r.uai.evid
2013-11-20 19:17
2
scen08_r.uai.xz
2013-11-20 19:17
473K
scen08_r.wcsp.xz
2013-11-20 19:17
500K
scen08_r_direct.lp.xz
2013-11-20 19:17
11M
scen08_r_direct.wcnf.xz
2013-11-20 19:17
864K
scen08_r_support.lp.xz
2013-11-20 19:18
6.6M
scen08_r_support.wcnf.xz
2013-11-20 19:18
8.5M
subcelar.blurb
2013-11-20 19:17
629