Index of /surynpav/research/ecai2012/ecai2012_experiments/data/output

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 alldiff_clasp-bij.txt   27-Feb-2012 15:50  7.2K  
 alldiff_clasp-bij_2.txt 27-Feb-2012 16:34   46K  
 alldiff_clasp-bij_3.txt 27-Feb-2012 16:35   21K  
 alldiff_clasp-std.txt   27-Feb-2012 15:50   83K  
 alldiff_clasp-std_2.txt 27-Feb-2012 16:34  274K  
 alldiff_clasp-std_3.txt 27-Feb-2012 16:35   38K  
 alldiff_crypto-bij.txt  27-Feb-2012 14:49  461K  
 alldiff_crypto-std.txt  27-Feb-2012 15:51  409K  
 alldiff_crypto-std_2..> 27-Feb-2012 15:56  569K  
 alldiff_crypto-std_3..> 27-Feb-2012 16:36  372K  
 alldiff_crypto-std_4..> 27-Feb-2012 16:57   91K  
 alldiff_crypto-std_5..> 27-Feb-2012 16:58  616K  
 alldiff_glucose-bij.txt 27-Feb-2012 12:44  1.6M  
 alldiff_glucose-std.txt 27-Feb-2012 13:49  766K  
 alldiff_gluemini-bij..> 27-Feb-2012 15:48   94K  
 alldiff_gluemini-bij..> 27-Feb-2012 16:38   57K  
 alldiff_gluemini-bij..> 27-Feb-2012 16:51   44K  
 alldiff_gluemini-bij..> 27-Feb-2012 16:52   34K  
 alldiff_gluemini-std..> 27-Feb-2012 15:47  106K  
 alldiff_gluemini-std..> 27-Feb-2012 16:37   56K  
 alldiff_gluemini-std..> 27-Feb-2012 16:38   29K  
 alldiff_hard_precosa..> 27-Feb-2012 12:33   13K  
 alldiff_hard_precosa..> 27-Feb-2012 12:16  6.6K  
 alldiff_minisat-bij.txt 27-Feb-2012 12:44   60K  
 alldiff_minisat-std.txt 27-Feb-2012 13:49   60K  
 alldiff_precosat-bij..> 28-Feb-2012 11:42   14K  
 alldiff_precosat-std..> 27-Feb-2012 15:47  9.0K