Index of /~surynek/research/ecai2012/ecai2012_experiments/scripts

	Name	Last modified	Size	Description
	Parent Directory		-
	exp_alldiff_32-34-bij.sh	2012-02-27 14:58	100
	exp_alldiff_32-34-std.sh	2012-02-27 14:58	100
	exp_alldiff_32-34_clasp-bij.sh	2012-02-27 17:35	84
	exp_alldiff_32-34_clasp-std.sh	2012-02-27 17:35	84
	exp_alldiff_32-34_crypto-bij.sh	2012-02-27 15:47	91
	exp_alldiff_32-34_crypto-std.sh	2012-02-27 17:58	92
	exp_alldiff_32-34_glucose-bij.sh	2012-02-27 14:58	96
	exp_alldiff_32-34_glucose-std.sh	2012-02-27 14:58	96
	exp_alldiff_32-34_gluemini-bij.sh	2012-02-27 17:51	97
	exp_alldiff_32-34_gluemini-std.sh	2012-02-27 17:37	97
	exp_alldiff_32-34_minisat-bij.sh	2012-02-27 13:38	574
	exp_alldiff_32-34_minisat-std.sh	2012-02-27 14:58	96
	exp_alldiff_32-34_precosat-bij.sh	2012-02-27 15:01	87
	exp_alldiff_32-34_precosat-std.sh	2012-02-27 15:00	87