SAT-SOLVER BAKEOFF RESULTS

• Test Person : Vijay Ganesh.
• Date : april 28th, 2001.
• SAT SOLVER : WALKSAT(version 35)
• MACHINE INFORMATION : (machine on which the walksat was run on the given benchmarks(from http://sprout.Stanford.EDU/cs359a/).)

• Host Name is                   gourd.stanford.edu
• Host Address(es) is          171.64.73.20
• Host ID is                        40ab1449
• System Model is              GenuineIntel 796 Mhz Pentium III (Coppermine)
• Main Memory is              1.9 GB
• Virtual Memory is            3.9 GB
• Number of CPUs is         2
• CPU Type is                   Pentium
• App Architecture is          i686
• Kernel Architecture is      i686
• OS Name is                    Linux
• OS Version is                 2.2.17
• OS Distribution is            Red Hat Linux release 6.2 (Zoot)
• Results of running walksat(version 35) on the testcases given. (these results were generated by walksat itself. didn't have to write scripts to get the information on time taken etc..)

 

TestCase Name	Result	Time Taken (in sec)	number of results fournd	num of clauses/num of literals
prob001-log-easy.cnf	ASSIGNMENT FOUND	0.1	10	numclause = 2669,  numliterals = 5518
prob002-rocket-a.cnf	ASSIGNMENT FOUND	2.850000	5	numclause = 22814, numliterals = 46111
prob003-rocket-b.cnf	ASSIGNMENT FOUND	3.480000	6	numclause = 27392, numliterals = 55311
prob004-log-a.cnf	ASSIGNMENT FOUND	2.110000	1	numclause = 18026, numliterals = 36732
prob005-log-b.cnf	ASSIGNMENT NOT FOUND	2.660000	0	numclause = 25969, numliterals = 52794
prob006-log-c.cnf	ASSIGNMENT NOT FOUND	3.920000	0	numclause = 43711, numliterals = 88644
prob007-log-d.cnf	ASSIGNMENT NOT FOUND	5.930000	0	numclause = 116198, numliterals = 234752
puz-easy.cnf	ASSIGNMENT FOUND	0.040000	10	numclause = 6096,  numliterals = 47648
puz1.cnf	ASSIGNMENT NOT FOUND	29.410000	0	numclause = 29968, numliterals = 237728
puz2.cnf	ASSIGNMENT NOT FOUND	29.210000	0	numclause = 29968, numliterals = 237728
puz3.cnf	ASSIGNMENT NOT FOUND	29.720000	0	numclause = 179168, numliterals = 1425728
puz4.cnf	ASSIGNMENT NOT FOUND	27.540000	0	numclause = 29968, numliterals = 237728
puz5.cnf	ASSIGNMENT NOT FOUND	28.430000	0	numclause = 179168, numliterals = 1425728
puz6.cnf	ASSIGNMENT NOT FOUND	27.450000	0	numclause = 29968, numliterals = 237728
puz7.cnf	ASSIGNMENT NOT FOUND	28.230000	0	numclause = 179168, numliterals = 1425728
puz8.cnf	ASSIGNMENT NOT FOUND	28.840000	0	numclause = 298528, numliterals = 2376128