dekker.one / half-reif-benchmarks
The models, scripts, and results of the benchmarks performed for a Half Reification Journal paper
fork atom
half-reif-benchmarks / data / mznc2020 / minimal-decision-sets /
at develop 7 files
README.txt
australian_train5.dzn
backache_train4.dzn
breast-cancer_train4.dzn
cleve_train5.dzn
colic_train4.dzn
sparse_mds.mzn
README.txt 
We need two more parameters to run these.

I suggest trying

	n = 5;
	n = 10; 
	n = 20;
	
and 

	Lambda = I div 2;
	Lambda = I div 20;
	Lambda = I div 200;