import choco.kernel.solver.ContradictionException;

public class SRMorphExperimentB {	

    
    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
	SRInstanceB inst = new SRInstanceB(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;
	}
    }
}