Assignment 2 Grading Key for the program code

Grading Key – For the code execution.
Assignment 2
CSE 150 - Winter 2004

Element	Total Points
README File	2
Makefile or simple compilation	3
Program Compiles without errors	5
Program executes without errors (regardless of the correct solution)	5
Test cases I – Successfully executed. Correct Output	10
Test cases II – Successfully executed. Correct output	10
Test cases I – Successfully executed - WalkSat	10
Test cases II – Successfully executed - WalkSat	10
Decent Execution speed and Decent Interface	5

Important Remarks:

Your report must be turned in as a hardcopy (printout) by 2:00 pm on Friday (Feb. 13th) either in the discussion or in Prof. Elkan’s office.
Your code must be submitted by Sunday, February 15.
Your report must contain you and your partner's full names and login names used to turnin the assignment.
The test cases may be subset of the problems that are available online or custom created similar problems.
Your README file should have the following header:
Partner 1 Name: [fullname of one partner]
Partner 2 Name: [fullname of other partner]
Partner 1 Login: [login of one partner]
Partner 2 Login: [login of other partner]
DPLL Executable Name: [name of the command to run DPLL]
Walksat Executable Name: [name of the command to run Walksat]
Here is an example README header:

Partner 1 Name: Anjum Gupta
Partner 2 Name: Kristin Branson
Partner 1 Login: a3gupta
Partner 2 Login: kbranson
DPLL Executable Name: dpll
Walksat Executable Name: walksat
Your programs should compile with the command make.
Your DPLL and Walksat programs should input exactly one command line argument: a file name. This file will contain one well-formatted 3-CNF formula, as described in the assignment. Your DPLL and Walksat programs should each determine if the formula is satisfiable or not. For example, if the names of your executables were dpll and walksat, and the input file was named uf50-01.cnf, then the commands would be:
./dpll uf50-01.cnf
./walksat uf50-01.cnf
There should be no inputs to your programs other than the filename. All parameters should be set in your code to the optimal values you determined experimentally.
The output for DPLL should have the following form:
Assignment found: [0/1]

Number of restarts performed: [N]
Number of flips performed: [N]
Assignment found: [0/1]

Here is an example of what your DPLL output should look like:
Assignment found: 1
Here is an example of what your Walksat output should look like:
Number of restarts performed: 2
Number of flips performed: 100
Assignment found: 1

Prepared by – Anjum Gupta (a3gupta@cs.ucsd.edu)
Last updated: Feb. 13th, 2004