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