Index of /~surynek/research/ecai2012/ecai2012_experiments/data/standard

	Name	Last modified	Size	Description
	Parent Directory		-
	alldiff_32_34_33-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_32-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_31-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_30-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_29-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_28-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_27-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_26-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_25-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_24-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_23-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_22-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_21-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_20-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_19-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_18-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_17-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_16-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_15-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_14-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_13-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_12-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_11-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_10-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_9-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_8-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_7-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_6-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_5-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_4-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_3-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_2-std.cnf	2012-02-24 17:27	285K
	alldiff_32_34_1-std.cnf	2012-02-24 17:27	285K