#include "../includes/globals.h"
#include "../DPLL/dpll.h"
#include <sys/time.h>

int main(int argc, char** argv){
	struct timeval initTv;
	struct timezone initTz;
	struct timeval finalTv;
	struct timezone finalTz;
	long timeElapsed;
	long timeMilli;
	long timeSec;
	if(argc < 2){
		printf("Need filename as input\n");
		exit(1);
	}
	readInputFile(argv[1]);
	gettimeofday(&initTv, &initTz);
	runDPLL();
	gettimeofday(&finalTv, &finalTz);
	timeElapsed = (finalTv.tv_usec - initTv.tv_usec) + (finalTv.tv_sec - initTv.tv_sec)*1000000;
	timeMilli = (timeElapsed % 1000000)/1000;
	timeSec = (timeElapsed / 1000000);
	printf("Time of execution: %ld sec %ld millisec\n",timeSec, timeMilli);
	
}