Index of /~surynek/research/ecai2012/ecai2012_experiments/data/output
Name
Last modified
Size
Description
Parent Directory
-
alldiff_clasp-bij.txt
2012-02-27 16:50
7.2K
alldiff_clasp-bij_2.txt
2012-02-27 17:34
46K
alldiff_clasp-bij_3.txt
2012-02-27 17:35
21K
alldiff_clasp-std.txt
2012-02-27 16:50
83K
alldiff_clasp-std_2.txt
2012-02-27 17:34
274K
alldiff_clasp-std_3.txt
2012-02-27 17:35
38K
alldiff_crypto-bij.txt
2012-02-27 15:49
461K
alldiff_crypto-std.txt
2012-02-27 16:51
409K
alldiff_crypto-std_2.txt
2012-02-27 16:56
569K
alldiff_crypto-std_3.txt
2012-02-27 17:36
372K
alldiff_crypto-std_4.txt
2012-02-27 17:57
91K
alldiff_crypto-std_5.txt
2012-02-27 17:58
616K
alldiff_glucose-bij.txt
2012-02-27 13:44
1.6M
alldiff_glucose-std.txt
2012-02-27 14:49
766K
alldiff_gluemini-bij.txt
2012-02-27 16:48
94K
alldiff_gluemini-bij_2.txt
2012-02-27 17:38
57K
alldiff_gluemini-bij_3.txt
2012-02-27 17:51
44K
alldiff_gluemini-bij_4.txt
2012-02-27 17:52
34K
alldiff_gluemini-std.txt
2012-02-27 16:47
106K
alldiff_gluemini-std_2.txt
2012-02-27 17:37
56K
alldiff_gluemini-std_3.txt
2012-02-27 17:38
29K
alldiff_hard_precosat-bij.txt
2012-02-27 13:33
13K
alldiff_hard_precosat-std.txt
2012-02-27 13:16
6.6K
alldiff_minisat-bij.txt
2012-02-27 13:44
60K
alldiff_minisat-std.txt
2012-02-27 14:49
60K
alldiff_precosat-bij.txt
2012-02-28 12:42
14K
alldiff_precosat-std.txt
2012-02-27 16:47
9.0K
Apache/2.4.41 (Ubuntu) Server at ktiml.mff.cuni.cz Port 80