import choco.kernel.solver.ContradictionException;

public class MorphExperiment {	

    
    public static void main(String[] args) throws ContradictionException {
	int n    = Integer.parseInt(args[0]); // must be even
	int m    = Integer.parseInt(args[1]); // sample size
	double p = 0.0;
	SMSRInstance inst = null;
	SRNary sr = null;
	for (int i=0;i<=100;i++){
	    for (int j=0;j<m;j++){
		inst = new SMSRInstance(n,p);
		sr = new SRNary(inst);
		sr.build();
		sr.solve("count");
		System.out.print("n: "+ n +" p: "+ p +" ");
		sr.shortStats();
	    }
	    p = p + 0.01;
	}
    }
}