Index of /~degivry/evalgm/MaxCSP/Coloring

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