Stats for satsolver: Cam Porter

How to interpret the values

Each satsolver was run against each test case. Two cnf formulas were generated from each submitted generator to form the set of generators. For each run, a number of seconds were charged to the program based on the criteria described on the assignments webpage; this was the score for that run. If the program crashed or went into a loop, 150 seconds were charged. The two cnf formulas generated by a generator is denoted by generator_name:i where i is 0 for the first cnf and 1 for the second. The table below shows the time satsolver Cam Porter took for each formula and how many clauses it left unsatisfied; the formulas are sorted by the satsolver's score on it (which is different from its runtime). For each formula , we also list the name of the best solver, the time taken by the best solver (Best time) and the number of clauses left unsatisfied by him/her (Best unsat). A blank symbol denotes that Cam Porter took more than 150 seconds for that formula or terminated with an exception. Some important stats are summarized at the start. Click on the name of a formula to view details.

Summary

Satsolver:	Cam Porter
Rank:	82 / 118
Average Score:	13.10
Median Score:	15.00
Description:	Improvised WalkSat algorithm that takes into account the timer, as well as implementing a few efficiencyimprovements based on trial and error, and methods mentioned in the book

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.01	0.00	0	0
2	Ravi Tandon:1	KingBach	0.01	0.00	0	0
3	Miranda:0	cat	0.01	0.00	0	0
4	Miranda:1	cat	0.01	0.00	0	0
5	Mike Honcho:0	Miranda	0.03	0.01	0	0
6	Solving For Clauses:1	haoyu	0.03	0.00	0	0
7	Solving For Clauses:0	Glenn Fisher	0.03	0.00	0	0
8	Scheduling Generator 203:0	jgs	0.03	0.01	0	0
9	Happy:1	KingBach	0.04	0.00	0	0
10	Mike Honcho:1	Jessie Chen	0.04	0.01	0	0
11	Bebe Shi:0	KingBach	0.04	0.00	0	0
12	Bebe Shi:1	KingBach	0.06	0.00	0	0
13	Scheduling Generator 203:1	Jameh	0.11	0.02	0	0
14	bigwig:1	KingBach	0.13	0.00	0	0
15	Tom T:1	Andrew Werner	0.13	0.02	0	0
16	BMJ:1	burrito	0.14	0.00	0	0
17	Jonathan Kwok:1	KingBach	0.21	0.00	0	0
18	Dr Roberto:0	Andrew Grasso	0.24	0.03	0	0
19	Bob Dondero:0	Andrew Grasso	0.32	0.02	0	0
20	Bob Dondero:1	Mickey Mouse	0.40	0.03	0	0
21	Tom T:0	EC	0.47	0.02	0	0
22	Dr Roberto:1	Andrew Grasso	0.55	0.02	0	0
23	bigwig:0	Andrew Werner	0.61	0.00	0	0
24	BMJ:0	Elphaba	0.92	0.00	0	0
25	Jonathan Kwok:0	Elphaba	0.97	0.00	0	0
26	Daffy Duck:1	haoyu	1.08	0.00	0	0
27	cmF5a3ly:1	Nihar the Great	1.58	0.00	0	0
28	K.L.:1	KingBach	1.60	0.00	0	0
29	cmF5a3ly:0	Nihar the Great	2.03	0.00	0	0
30	Daffy Duck:0	Andrew Werner	4.87	0.00	0	0
31	Boomshanka:0	haoyu	14.76	0.01	0	0
32	Janie Gu:0	Glenn Fisher	15.00	0.07	6	0
33	T. Capote:1	haoyu	15.00	0.00	6	2
34	Janie Gu:1	Jonathan Kwok	15.00	0.07	6	0
35	Boomshanka:1	Bar Shabtai	15.00	0.01	7	0
36	totallyOnFallBreak:0	Nikhilesh Sigatapu	15.00	0.01	7	0
37	T. Capote:0	haoyu	15.00	0.00	11	2
38	haoyu:1	Anon5	15.00	0.01	17	0
39	K.L.:0	haoyu	15.00	0.00	24	0
40	Happy:0	haoyu	15.00	0.00	24	0
41	Jessie Chen:1	Joel Faron	15.00	0.12	25	1
42	haoyu:0	KingBach	15.00	0.01	27	0
43	David Lackey:0	Anon5	15.00	0.03	37	0
44	David Lackey:1	Bar Shabtai	15.00	0.03	38	0
45	Joshua Zimmer:0	haoyu	15.00	0.00	42	0
46	R. A. B.:1	cat	15.00	0.00	49	0
47	bchouGenerator:1	Jonathan Kwok	15.00	0.01	61	0
48	Blam:1	Elphaba	15.00	0.00	62	0
49	Jessie Chen:0	Joel Faron	15.00	0.13	65	1
50	Blam:0	Elphaba	15.00	0.00	69	0
51	Tree Prophet:0	haoyu	15.00	0.00	73	0
52	Joshua Zimmer:1	haoyu	15.00	0.00	78	0
53	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	79	0
54	David Paulk:0	cat	15.00	0.00	82	0
55	SuperFan:1	jgs	15.00	14.98	83	4
56	Tree Prophet:1	haoyu	15.00	0.00	83	0
57	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	86	0
58	Sunny:1	jabreezy	15.00	0.01	87	0
59	Sunny:0	Green "The Bean" Choi	15.00	0.02	94	0
60	SuperFan:0	jgs	15.00	14.98	94	4
61	bchouGenerator:0	haoyu	15.00	0.00	111	0
62	The Kraken:1	haoyu	15.00	0.00	114	0
63	R. A. B.:0	Nihar the Great	15.00	0.00	127	0
64	David Paulk:1	Bar Shabtai	15.00	0.00	128	0
65	Supahaka:0	Andrew Werner	15.00	15.00	138	35
66	Fanny:0	Aristotle	15.00	0.10	145	0
67	Supahaka:1	Joel Faron	15.00	15.00	150	35
68	Gewang:1	Jonathan Kwok	15.00	0.00	154	0
69	Fanny:1	Aristotle	15.00	0.12	163	0
70	Qinlan Shen:0	Bar Shabtai	15.00	0.01	164	0
71	Quite Satisfied:1	Joel Faron	15.00	2.11	176	1
72	The Kraken:0	haoyu	15.00	0.00	179	0
73	Quite Satisfied:0	haoyu	15.00	0.00	197	0
74	totallyOnFallBreak:1	Nikhilesh Sigatapu	15.00	0.01	217	0
75	DeeEmEm:1	haoyu	15.00	0.02	237	0
76	Qinlan Shen:1	R. A. B.	15.00	9.00	245	1
77	Dusty:1	Shaheed Chagani	15.00	0.22	246	0
78	0108:1	haoyu	15.00	0.01	273	0
79	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	298	0
80	DeeEmEm:0	CAPS LOCK	15.00	13.00	315	1
81	Jordan Ash:1	Bar Shabtai	15.00	0.01	317	0
82	Jordan Ash:0	EC	15.00	0.03	321	0
83	Dusty:0	CookieMonster	15.00	1.39	329	0
84	Gewang:0	Jonathan Kwok	15.00	0.00	356	0
85	Andrew Grasso:0	Aaron Doll	15.00	0.18	381	0
86	Anon5:1	Green "The Bean" Choi	15.00	0.07	513	0
87	Valya Barboy:1	Shaheed Chagani	15.00	0.18	552	0
88	Valya Barboy:0	Aristotle	15.00	0.06	555	0
89	0108:0	jgs	15.00	14.98	558	1
90	Mickey Mouse:0	Bar Shabtai	15.00	0.01	576	0
91	Jameh:0	haoyu	15.00	0.01	588	0
92	Keji Xu:1	Nihar the Great	15.00	0.04	597	0
93	Alex Fish:0	haoyu	15.00	0.01	613	0
94	Matt Haake:0	haoyu	15.00	0.05	639	0
95	Mickey Mouse:1	haoyu	15.00	0.01	670	0
96	NA:0	haoyu	15.00	0.03	692	0
97	NA:1	Elphaba	15.00	0.04	718	0
98	The Whitman Whale:1	Andrew Grasso	15.00	0.03	725	0
99	Anon_K_P:1	Aristotle	15.00	0.03	744	0
100	kt4124:0	haoyu	15.00	0.03	791	0
101	weezy:1	Bar Shabtai	15.00	0.01	798	0
102	Matt Haake:1	haoyu	15.00	0.05	802	0
103	Tiny Wings:0	haoyu	15.00	0.02	838	0
104	Ytterbium:0	Andrew Grasso	15.00	0.02	851	0
105	David H.:1	DeeEmEm	15.00	0.33	857	0
106	vluu:1	Nihar the Great	15.00	0.02	907	0
107	Jameh:1	haoyu	15.00	0.01	946	0
108	kt4124:1	haoyu	15.00	0.04	947	0
109	Keji Xu:0	Nihar the Great	15.00	0.03	991	0
110	Tiny Wings:1	haoyu	15.00	0.01	997	0
111	David H.:0	AFC	15.00	0.28	1015	0
112	cat:0	haoyu	15.00	0.03	1037	0
113	Tao:1	Aristotle	15.00	0.07	1062	0
114	Alex Fish:1	haoyu	15.00	0.02	1116	0
115	Tao:0	Bar Shabtai	15.00	0.02	1117	0
116	Anon_K_P:0	haoyu	15.00	0.02	1145	0
117	The Whitman Whale:0	bigwig	15.00	0.04	1155	0
118	cat:1	haoyu	15.00	0.03	1156	0
119	weezy:0	Bar Shabtai	15.00	0.01	1178	0
120	vluu:0	Nihar the Great	15.00	0.01	1230	0
121	Sally Smith:1	haoyu	15.00	0.04	1360	0
122	snowflakes:0	haoyu	15.00	0.03	1506	0
123	Mark S. Fillmore:1	Supahaka	15.00	0.04	1517	79
124	Nikhilesh Sigatapu:0	haoyu	15.00	0.03	1545	0
125	Anon5:0	haoyu	15.00	0.05	1556	0
126	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	1567	0
127	snowflakes:1	haoyu	15.00	0.03	1587	0
128	Mr. Blobby:1	dusty	15.00	0.12	1611	0
129	Sally Smith:0	haoyu	15.00	0.04	1736	0
130	Samuel Jerome:0	haoyu	15.00	0.03	1780	0
131	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	1798	0
132	Glenn Fisher:0	Elphaba	15.00	0.02	1811	0
133	Glenn Fisher:1	jabreezy	15.00	0.09	2135	0
134	spl:0	Elphaba	15.00	0.09	2219	0
135	Ytterbium:1	Nihar the Great	15.00	0.02	2310	0
136	EC:1	haoyu	15.00	0.03	2326	0
137	Samuel Jerome:1	haoyu	15.00	0.03	2407	0
138	CookieMonster:1	CookieMonster	15.00	1.10	2427	0
139	AFC:1	Aristotle	15.00	0.16	2503	0
140	George Okeowo:1	Andrew Grasso	15.00	0.01	2553	0
141	Ben Chen:1	spl	15.00	0.20	2626	0
142	Mark S. Fillmore:0	Supahaka	15.00	0.01	2644	116
143	AFC:0	CookieMonster	15.00	0.34	2663	0
144	Ben Chen:0	Elphaba	15.00	0.07	2665	0
145	Lisa Kim:1	Bar Shabtai	15.00	0.06	2727	0
146	Lisa Kim:0	Aristotle	15.00	0.07	2797	0
147	CookieMonster:0	CookieMonster	15.00	0.82	3018	0
148	Walter Little:0	haoyu	15.00	0.04	3052	0
149	jabreezy:1	Mercury	15.00	0.10	3068	0
150	Walter Little:1	haoyu	15.00	0.03	3252	0
151	George Okeowo:0	Andrew Grasso	15.00	0.01	3415	0
152	EC:0	haoyu	15.00	0.03	3462	0
153	jabreezy:0	Mercury	15.00	0.09	3752	0
154	soccer:0	haoyu	15.00	0.04	4075	0
155	soccer:1	haoyu	15.00	0.04	4119	0
156	Mercury:0	haoyu	15.00	0.05	4215	0
157	ebp:1	haoyu	15.00	0.04	4268	0
158	bfang:0	haoyu	15.00	0.04	4456	0
159	ebp:0	haoyu	15.00	0.04	4562	0
160	Khoa:0	haoyu	15.00	0.09	4670	0
161	bfang:1	haoyu	15.00	0.04	4914	0
162	Khoa:1	Aristotle	15.00	0.09	5112	0
163	Absurdity:1	Aristotle	15.00	0.18	5164	0
164	Batman:1	haoyu	15.00	0.04	5604	0
165	Batman:0	haoyu	15.00	0.04	5650	0
166	Mercury:1	haoyu	15.00	0.05	5669	0
167	Absurdity:0	Aristotle	15.00	0.23	5814	0
168	KingBach:1	haoyu	15.00	0.04	5926	0
169	Yacob Y.:0	haoyu	15.00	0.06	6367	0
170	KingBach:0	haoyu	15.00	0.06	6590	0
171	Charliezsc:0	jgs	15.00	14.98	6784	1
172	Yacob Y.:1	Aristotle	15.00	15.00	7411	1
173	Sprt:1	haoyu	15.00	0.05	7434	0
174	Charliezsc:1	haoyu	15.00	0.07	7736	0
175	Sabar Dasgupta:0	spl	15.00	0.23	8186	0
176	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	8210	0
177	burrito:0	haoyu	15.00	0.09	12786	0
178	dfshasdsf12:0	haoyu	15.00	0.09	14565	0
179	Aaron H:0	Aristotle	15.00	0.11	15692	0
180	John Whelchel:1	haoyu	15.00	0.11	15697	0
181	John Whelchel:0	haoyu	15.00	0.06	16844	0
182	Aaron H:1	Aristotle	15.00	0.11	18586	0
183	Andys:0	Aristotle	15.00	0.12	18941	0
184	Sprt:0	Aristotle	15.00	0.11	19433	0
185	Lil Thug:1	Andrew Grasso	15.00	0.03	20858	0
186	Andrew Werner:0	Aaron Doll	15.00	0.33	22105	0
187	Lil Thug:0	Andrew Grasso	15.00	0.03	22729	0
188	burrito:1	haoyu	15.00	0.10	30613	0
189	Bar Shabtai:1	haoyu	15.00	0.12	44945	0
190	Yan Wu:0	haoyu	15.00	0.05	204	0
191	spl:1	haoyu	15.00	0.06	1863	0
192	nupog:0	Aristotle	15.00	0.13	3132	0
193	Mike Hunt:1	Aristotle	15.00	0.29	13400	0
194	BH:0	haoyu	15.00	0.07	13602	0
195	DinnerPartyPlannerBM:1	Nihar the Great	15.00	0.06	16060	0
196	Andys:1	Aristotle	15.00	0.13	19276	0
197	Andrew Werner:1	haoyu	15.00	0.11	19935	0
198	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	38780	0
199	Elphaba:1	Aristotle	15.00	0.22	99704	0
200	Nihar the Great:0	Aristotle	15.00	0.23	477792	0
201	Mike Hunt:0	Aristotle	15.00	0.27	12655	0
202	BH:1	haoyu	15.00	0.05	15198	0
203	Shaheed Chagani:1	Aristotle	15.00	0.11	25656	0
204	jgs:1	haoyu	15.00	0.18	52450	0
205	Nihar the Great:1	Aristotle	15.00	0.25	478339	0
206	Brendan Wright:1	Deric Cheng	15.00	0.10	19978	0
207	Shaheed Chagani:0	Aristotle	15.00	0.17	27959	0
208	Brendan Wright:0	haoyu	15.00	0.10	32584	0
209	Deric Cheng:0	jgs	15.00	14.99	45868	1
210	Yan Wu:1	haoyu	15.01	0.04	173	0
211	Deric Cheng:1	jgs	15.01	14.98	39292	1
212	Bar Shabtai:0	Aaron Doll	15.01	15.01	331587	1
213	nupog:1	Aristotle	15.01	0.12	2860	0
214	CAPS LOCK:0	Aristotle	15.01	0.20	9391	0
215	jgs:0	Aristotle	15.01	0.12	41784	0
216	dfshasdsf12:1	Nihar the Great	15.01	0.11	23546	0
217	Linda:0	Andrew Grasso	15.01	0.01	219	0
218	13a:0	Aaron Doll	15.01	15.00	112393	21
219	Linda:1	Andrew Grasso	15.01	0.02	286	0
220	Elphaba:0	Aristotle	15.02	0.24	96613	0
221	13a:1	Aaron Doll	15.02	15.00	116728	29
222	Aaron Doll:0	Aristotle	15.02	0.56	287757	0
223	Aaron Doll:1	Aristotle	15.03	1.27	333252	0
224	CAPS LOCK:1	Aristotle	15.04	0.25	35562	0
225	Matt Goldsmith:0	Nihar the Great	15.04	0.03	527058	0
226	Aristotle:0	Aristotle	15.05	15.00	747469	1
227	Matt Goldsmith:1	Happy	15.06	0.03	519312	0
228	Aristotle:1	Aristotle	15.08	9.69	760607	0

SatSolvers Ranklist

Generators Ranklist