Index of /~degivry/evalgm/CP/AMaze

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]2012-03-08.dzn.xz2013-11-20 19:44 200  
[ ]2012-03-08.uai.evid2013-11-20 19:44 2  
[ ]2012-03-08.uai.xz2013-11-20 19:44 10K 
[ ]2012-03-08.wcsp.xz2013-11-20 19:44 20K 
[ ]2012-03-08_direct.lp.xz2013-11-20 19:44 428K 
[ ]2012-03-08_direct.wcnf.xz2013-11-20 19:44 254K 
[ ]2012-03-08_support.lp.xz2013-11-20 19:44 1.1M 
[ ]2012-03-08_support.wcnf.xz2013-11-20 19:44 1.3M 
[ ]2012-03-15.dzn.xz2013-11-20 19:44 212  
[ ]2012-03-15.uai.evid2013-11-20 19:44 2  
[ ]2012-03-15.uai.xz2013-11-20 19:44 23K 
[ ]2012-03-15.wcsp.xz2013-11-20 19:44 23K 
[ ]2012-03-15_direct.lp.xz2013-11-20 19:44 592K 
[ ]2012-03-15_direct.wcnf.xz2013-11-20 19:44 312K 
[ ]2012-03-15_support.lp.xz2013-11-20 19:44 1.4M 
[ ]2012-03-15_support.wcnf.xz2013-11-20 19:44 1.7M 
[ ]2012-03-19.dzn.xz2013-11-20 19:44 172  
[ ]2012-03-19.uai.evid2013-11-20 19:44 2  
[ ]2012-03-19.uai.xz2013-11-20 19:44 5.3K 
[ ]2012-03-19.wcsp.xz2013-11-20 19:44 9.3K 
[ ]2012-03-19_direct.lp.xz2013-11-20 19:44 105K 
[ ]2012-03-19_direct.wcnf.xz2013-11-20 19:44 77K 
[ ]2012-03-19_support.lp.xz2013-11-20 19:44 236K 
[ ]2012-03-19_support.wcnf.xz2013-11-20 19:44 291K 
[ ]2012-06-22.dzn.xz2013-11-20 19:44 184  
[ ]2012-06-22.uai.evid2013-11-20 19:44 2  
[ ]2012-06-22.uai.xz2013-11-20 19:44 6.4K 
[ ]2012-06-22.wcsp.xz2013-11-20 19:44 12K 
[ ]2012-06-22_direct.lp.xz2013-11-20 19:44 181K 
[ ]2012-06-22_direct.wcnf.xz2013-11-20 19:44 114K 
[ ]2012-06-22_support.lp.xz2013-11-20 19:44 419K 
[ ]2012-06-22_support.wcnf.xz2013-11-20 19:44 505K 
[ ]2012-06-29.dzn.xz2013-11-20 19:44 188  
[ ]2012-06-29.uai.evid2013-11-20 19:44 2  
[ ]2012-06-29.uai.xz2013-11-20 19:44 7.8K 
[ ]2012-06-29.wcsp.xz2013-11-20 19:44 15K 
[ ]2012-06-29_direct.lp.xz2013-11-20 19:44 238K 
[ ]2012-06-29_direct.wcnf.xz2013-11-20 19:44 164K 
[ ]2012-06-29_support.lp.xz2013-11-20 19:44 595K 
[ ]2012-06-29_support.wcnf.xz2013-11-20 19:44 689K 
[ ]2012-07-04.dzn.xz2013-11-20 19:44 164  
[ ]2012-07-04.uai.evid2013-11-20 19:44 2  
[ ]2012-07-04.uai.xz2013-11-20 19:44 5.0K 
[ ]2012-07-04.wcsp.xz2013-11-20 19:44 8.4K 
[ ]2012-07-04_direct.lp.xz2013-11-20 19:44 70K 
[ ]2012-07-04_direct.wcnf.xz2013-11-20 19:44 61K 
[ ]2012-07-04_support.lp.xz2013-11-20 19:44 174K 
[ ]2012-07-04_support.wcnf.xz2013-11-20 19:44 210K 
[TXT]amaze.mzn2013-11-20 19:44 2.8K