import gen.RawMaterial;
import gen.Assignment;
import hidden.Tools;
import player.playeragent.FinishAgent;

public class SpeedTest {
    static final int NUM_TRIES = 10;
    public static void main(String[] args) throws Exception{
        RawMaterial rm = RawMaterial.parse(new java.io.FileInputStream(args[0]));
        
        System.gc();
        long start = System.currentTimeMillis();
        FinishAgent.Best best = new FinishAgent().bestAssign(rm.instance, NUM_TRIES);
        double time = (System.currentTimeMillis()-start)/1000.0;
        System.out.println("  Constraints: "+rm.instance.cs.length());
        System.out.println("    Variables: "+best.assign.literals.length());
        System.out.println(" Best Quality: "+best.quality);
        System.out.println("         Time: "+time);
    }
}