//
// What happens as we vary size of preference lists in SRI?
//

import choco.kernel.solver.ContradictionException;

public class SRMorphExperiment {	

    
    public static void main(String[] args) throws ContradictionException {
	int n           = Integer.parseInt(args[0]); // number of agents
	double pLo      = Double.parseDouble(args[1]); 
	double pHi      = Double.parseDouble(args[2]);
	double pInc     = Double.parseDouble(args[3]);
	int m           = Integer.parseInt(args[4]); // sample size
	SRInstance inst = new SRInstance(n);
	double p        = pLo; // probability pair of agents find each other acceptable
       
	while (p < (pHi + pInc)){
	    for (int j=0;j<m;j++){
		inst.build(p);
		SRNary sr = new SRNary(inst);
		sr.build();
		sr.solve("count");
		System.out.format("n: %d  p: %.3f inst: %d ",n,p,j);
		sr.stats();
	    }
	    p = p + pInc;
	}
    }
}