Index of /~degivry/evalgm/MaxCSP/Coloring
Name
Last modified
Size
Description
Parent Directory
-
dsjc-125-1-4-ext_1000.uai.evid
21-Mar-2014 16:16
2
dsjc-125-1-5-ext_1000.uai.evid
21-Mar-2014 16:16
2
geom-30a-3-ext_1000.uai.evid
21-Mar-2014 16:16
2
geom-30a-4-ext_1000.uai.evid
21-Mar-2014 16:16
2
geom-30a-5-ext_1000.uai.evid
21-Mar-2014 16:16
2
geom-30a-6-ext_1000.uai.evid
21-Mar-2014 16:16
2
geom-40-2-ext_1000.uai.evid
21-Mar-2014 16:16
2
geom-40-3-ext_1000.uai.evid
21-Mar-2014 16:16
2
geom-40-4-ext_1000.uai.evid
21-Mar-2014 16:16
2
geom-40-5-ext_1000.uai.evid
21-Mar-2014 16:16
2
geom-40-6-ext_1000.uai.evid
21-Mar-2014 16:16
2
le-450-5a-2-ext_1000.uai.evid
21-Mar-2014 16:16
2
le-450-5a-3-ext_1000.uai.evid
21-Mar-2014 16:16
2
le-450-5a-4-ext_1000.uai.evid
21-Mar-2014 16:16
2
le-450-5a-5-ext_1000.uai.evid
21-Mar-2014 16:16
2
myciel-5g-3-ext_1000.uai.evid
21-Mar-2014 16:16
2
myciel-5g-4-ext_1000.uai.evid
21-Mar-2014 16:16
2
myciel-5g-5-ext_1000.uai.evid
21-Mar-2014 16:16
2
myciel-5g-6-ext_1000.uai.evid
21-Mar-2014 16:16
2
queens-5-5-3-ext_1000.uai.evid
21-Mar-2014 16:16
2
queens-5-5-4-ext_1000.uai.evid
21-Mar-2014 16:16
2
queens-5-5-5-ext_1000.uai.evid
21-Mar-2014 16:16
2
geom-40-2-ext_1000.uai.xz
21-Mar-2014 16:16
340
geom-30a-3-ext_1000.uai.xz
21-Mar-2014 16:16
344
geom-30a-4-ext_1000.uai.xz
21-Mar-2014 16:16
352
geom-40-3-ext_1000.uai.xz
21-Mar-2014 16:16
352
geom-30a-5-ext_1000.uai.xz
21-Mar-2014 16:16
360
geom-40-2-ext_1000.wcsp.xz
21-Mar-2014 16:16
360
geom-40-4-ext_1000.uai.xz
21-Mar-2014 16:16
360
geom-30a-6-ext_1000.uai.xz
21-Mar-2014 16:16
372
geom-40-5-ext_1000.uai.xz
21-Mar-2014 16:16
372
geom-40-6-ext_1000.uai.xz
21-Mar-2014 16:16
380
geom-30a-3-ext_1000.wcsp.xz
21-Mar-2014 16:16
408
geom-40-2-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
408
geom-40-3-ext_1000.wcsp.xz
21-Mar-2014 16:16
424
queens-5-5-3-ext_1000.uai.xz
21-Mar-2014 16:16
428
queens-5-5-4-ext_1000.uai.xz
21-Mar-2014 16:16
440
queens-5-5-5-ext_1000.uai.xz
21-Mar-2014 16:16
448
geom-30a-4-ext_1000.wcsp.xz
21-Mar-2014 16:16
460
geom-40-4-ext_1000.wcsp.xz
21-Mar-2014 16:16
476
geom-30a-5-ext_1000.wcsp.xz
21-Mar-2014 16:16
484
geom-30a-6-ext_1000.wcsp.xz
21-Mar-2014 16:16
500
geom-40-5-ext_1000.wcsp.xz
21-Mar-2014 16:16
500
geom-40-6-ext_1000.wcsp.xz
21-Mar-2014 16:16
524
myciel-5g-3-ext_1000.uai.xz
21-Mar-2014 16:16
532
myciel-5g-4-ext_1000.uai.xz
21-Mar-2014 16:16
544
geom-40-2-ext_1000.dzn.xz
21-Mar-2014 16:16
552
myciel-5g-5-ext_1000.uai.xz
21-Mar-2014 16:16
552
myciel-5g-6-ext_1000.uai.xz
21-Mar-2014 16:16
560
queens-5-5-3-ext_1000.wcsp.xz
21-Mar-2014 16:16
592
geom-30a-5-ext_1000.dzn.xz
21-Mar-2014 16:16
604
geom-30a-3-ext_1000.dzn.xz
21-Mar-2014 16:16
612
geom-40-5-ext_1000.dzn.xz
21-Mar-2014 16:16
624
geom-30a-4-ext_1000.dzn.xz
21-Mar-2014 16:16
628
queens-5-5-4-ext_1000.wcsp.xz
21-Mar-2014 16:16
628
geom-40-3-ext_1000.dzn.xz
21-Mar-2014 16:16
636
geom-40-4-ext_1000.dzn.xz
21-Mar-2014 16:16
660
queens-5-5-5-ext_1000.wcsp.xz
21-Mar-2014 16:16
660
myciel-5g-3-ext_1000.wcsp.xz
21-Mar-2014 16:16
704
geom-30a-6-ext_1000.dzn.xz
21-Mar-2014 16:16
708
queens-5-5-5-ext_1000.dzn.xz
21-Mar-2014 16:16
708
geom-40-6-ext_1000.dzn.xz
21-Mar-2014 16:16
732
geom-30a-3-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
772
myciel-5g-4-ext_1000.wcsp.xz
21-Mar-2014 16:16
776
queens-5-5-3-ext_1000.dzn.xz
21-Mar-2014 16:16
776
queens-5-5-4-ext_1000.dzn.xz
21-Mar-2014 16:16
808
myciel-5g-5-ext_1000.wcsp.xz
21-Mar-2014 16:16
812
myciel-5g-5-ext_1000.dzn.xz
21-Mar-2014 16:16
820
myciel-5g-6-ext_1000.wcsp.xz
21-Mar-2014 16:16
828
geom-40-3-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
928
myciel-5g-4-ext_1000.dzn.xz
21-Mar-2014 16:16
936
queens-5-5-3-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
944
myciel-5g-3-ext_1000.dzn.xz
21-Mar-2014 16:16
964
myciel-5g-6-ext_1000.dzn.xz
21-Mar-2014 16:16
1.0K
geom-30a-4-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
1.1K
queens-5-5-4-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
1.3K
geom-40-4-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
1.3K
geom-30a-5-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
1.3K
dsjc-125-1-4-ext_1000.uai.xz
21-Mar-2014 16:16
1.4K
dsjc-125-1-5-ext_1000.uai.xz
21-Mar-2014 16:16
1.4K
myciel-5g-3-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
1.4K
queens-5-5-5-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
1.5K
geom-40-5-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
1.5K
geom-40-2-ext_1000_direct.lp.xz
21-Mar-2014 16:16
1.6K
geom-30a-6-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
1.8K
dsjc-125-1-4-ext_1000.wcsp.xz
21-Mar-2014 16:16
1.8K
dsjc-125-1-5-ext_1000.wcsp.xz
21-Mar-2014 16:16
1.9K
dsjc-125-1-5-ext_1000.dzn.xz
21-Mar-2014 16:16
1.9K
geom-40-6-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
2.0K
myciel-5g-4-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
2.1K
dsjc-125-1-4-ext_1000.dzn.xz
21-Mar-2014 16:16
2.2K
geom-40-3-ext_1000_direct.lp.xz
21-Mar-2014 16:16
2.2K
geom-40-2-ext_1000_support.lp.xz
21-Mar-2014 16:16
2.3K
geom-30a-3-ext_1000_direct.lp.xz
21-Mar-2014 16:16
2.3K
myciel-5g-5-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
2.3K
geom-40-2-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
2.6K
geom-40-4-ext_1000_direct.lp.xz
21-Mar-2014 16:16
2.6K
geom-30a-4-ext_1000_direct.lp.xz
21-Mar-2014 16:16
2.8K
geom-30a-5-ext_1000_direct.lp.xz
21-Mar-2014 16:16
3.2K
myciel-5g-6-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
3.2K
geom-40-5-ext_1000_direct.lp.xz
21-Mar-2014 16:16
3.3K
geom-40-3-ext_1000_support.lp.xz
21-Mar-2014 16:16
3.4K
wcsp.mzn
21-Mar-2014 16:16
3.4K
geom-30a-3-ext_1000_support.lp.xz
21-Mar-2014 16:16
3.5K
queens-5-5-3-ext_1000_direct.lp.xz
21-Mar-2014 16:16
3.6K
geom-40-6-ext_1000_direct.lp.xz
21-Mar-2014 16:16
3.7K
geom-30a-6-ext_1000_direct.lp.xz
21-Mar-2014 16:16
3.8K
queens-5-5-4-ext_1000_direct.lp.xz
21-Mar-2014 16:16
4.2K
geom-40-4-ext_1000_support.lp.xz
21-Mar-2014 16:16
4.3K
geom-30a-4-ext_1000_support.lp.xz
21-Mar-2014 16:16
4.4K
myciel-5g-3-ext_1000_direct.lp.xz
21-Mar-2014 16:16
4.8K
queens-5-5-5-ext_1000_direct.lp.xz
21-Mar-2014 16:16
5.1K
geom-40-3-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
5.3K
geom-30a-3-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
5.5K
myciel-5g-4-ext_1000_direct.lp.xz
21-Mar-2014 16:16
5.5K
geom-40-5-ext_1000_support.lp.xz
21-Mar-2014 16:16
5.7K
geom-30a-5-ext_1000_support.lp.xz
21-Mar-2014 16:16
5.8K
queens-5-5-3-ext_1000_support.lp.xz
21-Mar-2014 16:16
5.9K
dsjc-125-1-4-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
6.3K
geom-30a-3-ext.xml
21-Mar-2014 16:16
6.6K
geom-30a-4-ext.xml
21-Mar-2014 16:16
6.6K
geom-30a-5-ext.xml
21-Mar-2014 16:16
6.6K
geom-30a-6-ext.xml
21-Mar-2014 16:16
6.6K
dsjc-125-1-5-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
6.7K
geom-40-2-ext.xml
21-Mar-2014 16:16
6.8K
geom-40-3-ext.xml
21-Mar-2014 16:16
6.8K
geom-40-4-ext.xml
21-Mar-2014 16:16
6.8K
geom-40-5-ext.xml
21-Mar-2014 16:16
6.8K
geom-40-6-ext.xml
21-Mar-2014 16:16
6.8K
myciel-5g-5-ext_1000_direct.lp.xz
21-Mar-2014 16:16
6.8K
geom-40-6-ext_1000_support.lp.xz
21-Mar-2014 16:16
7.2K
queens-5-5-4-ext_1000_support.lp.xz
21-Mar-2014 16:16
7.5K
geom-30a-6-ext_1000_support.lp.xz
21-Mar-2014 16:16
7.6K
myciel-5g-3-ext_1000_support.lp.xz
21-Mar-2014 16:16
8.0K
myciel-5g-6-ext_1000_direct.lp.xz
21-Mar-2014 16:16
8.1K
geom-40-4-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
8.4K
geom-30a-4-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
8.7K
le-450-5a-3-ext_1000.uai.xz
21-Mar-2014 16:16
8.9K
le-450-5a-2-ext_1000.uai.xz
21-Mar-2014 16:16
8.9K
le-450-5a-4-ext_1000.uai.xz
21-Mar-2014 16:16
9.0K
le-450-5a-2-ext_1000.wcsp.xz
21-Mar-2014 16:16
9.0K
le-450-5a-5-ext_1000.uai.xz
21-Mar-2014 16:16
9.0K
myciel-5g-4-ext_1000_support.lp.xz
21-Mar-2014 16:16
10K
queens-5-5-3-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
10K
queens-5-5-5-ext_1000_support.lp.xz
21-Mar-2014 16:16
10K
le-450-5a-2-ext_1000.dzn.xz
21-Mar-2014 16:16
10K
geom-40-5-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
10K
le-450-5a-5-ext_1000.dzn.xz
21-Mar-2014 16:16
11K
le-450-5a-3-ext_1000.dzn.xz
21-Mar-2014 16:16
11K
geom-30a-5-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
11K
le-450-5a-4-ext_1000.dzn.xz
21-Mar-2014 16:16
11K
queens-5-5-3-ext.xml
21-Mar-2014 16:16
12K
queens-5-5-4-ext.xml
21-Mar-2014 16:16
12K
queens-5-5-5-ext.xml
21-Mar-2014 16:16
12K
myciel-5g-5-ext_1000_support.lp.xz
21-Mar-2014 16:16
14K
le-450-5a-2-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
14K
myciel-5g-3-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
15K
geom-40-6-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
15K
geom-30a-6-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
16K
queens-5-5-4-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
16K
le-450-5a-3-ext_1000.wcsp.xz
21-Mar-2014 16:16
16K
myciel-5g-3-ext.xml
21-Mar-2014 16:16
17K
myciel-5g-4-ext.xml
21-Mar-2014 16:16
17K
myciel-5g-5-ext.xml
21-Mar-2014 16:16
17K
myciel-5g-6-ext.xml
21-Mar-2014 16:16
17K
le-450-5a-4-ext_1000.wcsp.xz
21-Mar-2014 16:16
18K
le-450-5a-5-ext_1000.wcsp.xz
21-Mar-2014 16:16
18K
myciel-5g-6-ext_1000_support.lp.xz
21-Mar-2014 16:16
19K
dsjc-125-1-4-ext_1000_direct.lp.xz
21-Mar-2014 16:16
19K
queens-5-5-5-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
19K
myciel-5g-4-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
23K
dsjc-125-1-5-ext_1000_direct.lp.xz
21-Mar-2014 16:16
25K
myciel-5g-5-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
26K
dsjc-125-1-4-ext_1000_support.lp.xz
21-Mar-2014 16:16
34K
le-450-5a-3-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
34K
le-450-5a-4-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
41K
le-450-5a-5-ext_1000_direct.wcnf.xz
21-Mar-2014 16:16
42K
myciel-5g-6-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
43K
dsjc-125-1-5-ext_1000_support.lp.xz
21-Mar-2014 16:16
47K
dsjc-125-1-4-ext.xml
21-Mar-2014 16:16
53K
dsjc-125-1-5-ext.xml
21-Mar-2014 16:16
53K
dsjc-125-1-4-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
71K
dsjc-125-1-5-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
85K
le-450-5a-2-ext_1000_direct.lp.xz
21-Mar-2014 16:16
85K
le-450-5a-3-ext_1000_direct.lp.xz
21-Mar-2014 16:16
114K
le-450-5a-2-ext_1000_support.lp.xz
21-Mar-2014 16:16
123K
le-450-5a-4-ext_1000_direct.lp.xz
21-Mar-2014 16:16
131K
le-450-5a-2-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
144K
le-450-5a-5-ext_1000_direct.lp.xz
21-Mar-2014 16:16
172K
le-450-5a-3-ext_1000_support.lp.xz
21-Mar-2014 16:16
185K
le-450-5a-4-ext_1000_support.lp.xz
21-Mar-2014 16:16
247K
le-450-5a-5-ext_1000_support.lp.xz
21-Mar-2014 16:16
344K
le-450-5a-3-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
346K
le-450-5a-2-ext.xml
21-Mar-2014 16:16
403K
le-450-5a-3-ext.xml
21-Mar-2014 16:16
403K
le-450-5a-4-ext.xml
21-Mar-2014 16:16
403K
le-450-5a-5-ext.xml
21-Mar-2014 16:16
403K
le-450-5a-4-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
538K
le-450-5a-5-ext_1000_support.wcnf.xz
21-Mar-2014 16:16
643K