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