Stats for satsolver: Sprt

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 Sprt 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 Sprt 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:	Sprt
Rank:	69 / 118
Average Score:	10.62
Median Score:	0.83
Description:	This sat-solver combines elements of DPLL (namely pure symbol finding) with a modified WalkSat algorithm (randomly flips two variables in an unsatisfied clause rather than one) in order to find a model satisfying the provided CNF, or to return the best model found so far if a solution cannot be found within the time limit.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.00	0.00	0	0
2	bigwig:1	KingBach	0.00	0.00	0	0
3	K.L.:1	KingBach	0.00	0.00	0	0
4	David Paulk:0	cat	0.00	0.00	0	0
5	Miranda:1	cat	0.00	0.00	0	0
6	Bebe Shi:0	KingBach	0.00	0.00	0	0
7	Ravi Tandon:1	KingBach	0.00	0.00	0	0
8	Miranda:0	cat	0.00	0.00	0	0
9	Bebe Shi:1	KingBach	0.00	0.00	0	0
10	Happy:1	KingBach	0.00	0.00	0	0
11	Jonathan Kwok:0	Elphaba	0.00	0.00	0	0
12	Daffy Duck:1	haoyu	0.00	0.00	0	0
13	Solving For Clauses:1	haoyu	0.01	0.00	0	0
14	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
15	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
16	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
17	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
18	bchouGenerator:0	haoyu	0.01	0.00	0	0
19	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
20	K.L.:0	haoyu	0.01	0.00	0	0
21	George Okeowo:1	Andrew Grasso	0.01	0.01	0	0
22	George Okeowo:0	Andrew Grasso	0.01	0.01	0	0
23	haoyu:1	Anon5	0.01	0.01	0	0
24	Blam:1	Elphaba	0.01	0.00	0	0
25	BMJ:1	burrito	0.01	0.00	0	0
26	BMJ:0	Elphaba	0.01	0.00	0	0
27	haoyu:0	KingBach	0.02	0.01	0	0
28	Quite Satisfied:0	haoyu	0.02	0.00	0	0
29	The Kraken:0	haoyu	0.02	0.00	0	0
30	The Kraken:1	haoyu	0.02	0.00	0	0
31	bchouGenerator:1	Jonathan Kwok	0.02	0.01	0	0
32	Boomshanka:1	Bar Shabtai	0.03	0.01	0	0
33	cmF5a3ly:1	Nihar the Great	0.03	0.00	0	0
34	R. A. B.:0	Nihar the Great	0.03	0.00	0	0
35	cmF5a3ly:0	Nihar the Great	0.03	0.00	0	0
36	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.04	0.01	0	0
37	Scheduling Generator 203:0	jgs	0.04	0.01	0	0
38	Sunny:0	Green "The Bean" Choi	0.04	0.02	0	0
39	Jordan Ash:1	Bar Shabtai	0.04	0.01	0	0
40	Jameh:0	haoyu	0.05	0.01	0	0
41	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.05	0.01	0	0
42	Qinlan Shen:0	Bar Shabtai	0.05	0.01	0	0
43	Mickey Mouse:1	haoyu	0.05	0.01	0	0
44	Happy:0	haoyu	0.05	0.00	0	0
45	Mickey Mouse:0	Bar Shabtai	0.05	0.01	0	0
46	Scheduling Generator 203:1	Jameh	0.05	0.02	0	0
47	Tom T:0	EC	0.05	0.02	0	0
48	Jordan Ash:0	EC	0.06	0.03	0	0
49	DeeEmEm:1	haoyu	0.06	0.02	0	0
50	Tiny Wings:1	haoyu	0.06	0.01	0	0
51	0108:1	haoyu	0.06	0.01	0	0
52	weezy:0	Bar Shabtai	0.07	0.01	0	0
53	Ytterbium:0	Andrew Grasso	0.07	0.02	0	0
54	Blam:0	Elphaba	0.07	0.00	0	0
55	weezy:1	Bar Shabtai	0.07	0.01	0	0
56	Boomshanka:0	haoyu	0.07	0.01	0	0
57	Alex Fish:0	haoyu	0.08	0.01	0	0
58	Tom T:1	Andrew Werner	0.08	0.02	0	0
59	Jameh:1	haoyu	0.08	0.01	0	0
60	Sunny:1	jabreezy	0.09	0.01	0	0
61	Mike Honcho:0	Miranda	0.09	0.01	0	0
62	vluu:0	Nihar the Great	0.09	0.01	0	0
63	The Whitman Whale:1	Andrew Grasso	0.09	0.03	0	0
64	Keji Xu:0	Nihar the Great	0.10	0.03	0	0
65	The Whitman Whale:0	bigwig	0.10	0.04	0	0
66	Janie Gu:0	Glenn Fisher	0.10	0.07	0	0
67	Dr Roberto:1	Andrew Grasso	0.10	0.02	0	0
68	Ytterbium:1	Nihar the Great	0.11	0.02	0	0
69	Tiny Wings:0	haoyu	0.11	0.02	0	0
70	Alex Fish:1	haoyu	0.11	0.02	0	0
71	Keji Xu:1	Nihar the Great	0.11	0.04	0	0
72	Mike Honcho:1	Jessie Chen	0.12	0.01	0	0
73	vluu:1	Nihar the Great	0.13	0.02	0	0
74	David Lackey:1	Bar Shabtai	0.13	0.03	0	0
75	Dr Roberto:0	Andrew Grasso	0.13	0.03	0	0
76	David Lackey:0	Anon5	0.16	0.03	0	0
77	Tao:1	Aristotle	0.17	0.07	0	0
78	Bob Dondero:0	Andrew Grasso	0.17	0.02	0	0
79	Janie Gu:1	Jonathan Kwok	0.17	0.07	0	0
80	Linda:0	Andrew Grasso	0.18	0.01	0	0
81	cat:0	haoyu	0.18	0.03	0	0
82	cat:1	haoyu	0.20	0.03	0	0
83	kt4124:0	haoyu	0.20	0.03	0	0
84	Anon_K_P:0	haoyu	0.22	0.02	0	0
85	Bob Dondero:1	Mickey Mouse	0.23	0.03	0	0
86	Lisa Kim:1	Bar Shabtai	0.25	0.06	0	0
87	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.27	0.01	0	0
88	Nikhilesh Sigatapu:1	haoyu	0.29	0.04	0	0
89	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.30	0.00	0	0
90	kt4124:1	haoyu	0.31	0.04	0	0
91	Samuel Jerome:1	haoyu	0.31	0.03	0	0
92	Fanny:1	Aristotle	0.32	0.12	0	0
93	Fanny:0	Aristotle	0.34	0.10	0	0
94	Lisa Kim:0	Aristotle	0.34	0.07	0	0
95	Nikhilesh Sigatapu:0	haoyu	0.35	0.03	0	0
96	Yan Wu:0	haoyu	0.38	0.05	0	0
97	Tao:0	Bar Shabtai	0.39	0.02	0	0
98	Anon_K_P:1	Aristotle	0.40	0.03	0	0
99	Sally Smith:0	haoyu	0.42	0.04	0	0
100	Mercury:0	haoyu	0.43	0.05	0	0
101	Samuel Jerome:0	haoyu	0.45	0.03	0	0
102	Sally Smith:1	haoyu	0.49	0.04	0	0
103	Batman:0	haoyu	0.50	0.04	0	0
104	Linda:1	Andrew Grasso	0.50	0.02	0	0
105	bfang:0	haoyu	0.55	0.04	0	0
106	Glenn Fisher:0	Elphaba	0.56	0.02	0	0
107	KingBach:1	haoyu	0.70	0.04	0	0
108	KingBach:0	haoyu	0.72	0.06	0	0
109	Mercury:1	haoyu	0.79	0.05	0	0
110	soccer:0	haoyu	0.83	0.04	0	0
111	soccer:1	haoyu	0.91	0.04	0	0
112	Batman:1	haoyu	0.91	0.04	0	0
113	Sprt:1	haoyu	0.92	0.05	0	0
114	Khoa:0	haoyu	0.95	0.09	0	0
115	Yan Wu:1	haoyu	1.01	0.04	0	0
116	Khoa:1	Aristotle	1.07	0.09	0	0
117	bfang:1	haoyu	1.34	0.04	0	0
118	Brendan Wright:1	Deric Cheng	1.53	0.10	0	0
119	Matt Haake:0	haoyu	1.55	0.05	0	0
120	burrito:0	haoyu	1.56	0.09	0	0
121	Sabar Dasgupta:0	spl	1.59	0.23	0	0
122	Matt Haake:1	haoyu	1.77	0.05	0	0
123	DinnerPartyPlannerBM:1	Nihar the Great	1.90	0.06	0	0
124	dfshasdsf12:0	haoyu	2.73	0.09	0	0
125	Aaron H:0	Aristotle	2.75	0.11	0	0
126	Mr. Blobby:1	dusty	2.92	0.12	0	0
127	Lil Thug:1	Andrew Grasso	2.95	0.03	0	0
128	Sabar Dasgupta:1	Aaron Doll	3.19	0.17	0	0
129	Aaron H:1	Aristotle	3.29	0.11	0	0
130	Lil Thug:0	Andrew Grasso	3.41	0.03	0	0
131	Sprt:0	Aristotle	3.53	0.11	0	0
132	Walter Little:1	haoyu	3.82	0.03	0	0
133	EC:1	haoyu	3.92	0.03	0	0
134	Ben Chen:1	spl	3.94	0.20	0	0
135	Glenn Fisher:1	jabreezy	4.21	0.09	0	0
136	dfshasdsf12:1	Nihar the Great	5.07	0.11	0	0
137	Mike Hunt:1	Aristotle	5.08	0.29	0	0
138	Anon5:1	Green "The Bean" Choi	5.48	0.07	0	0
139	Ben Chen:0	Elphaba	5.62	0.07	0	0
140	burrito:1	haoyu	5.82	0.10	0	0
141	ebp:1	haoyu	6.08	0.04	0	0
142	jabreezy:0	Mercury	6.12	0.09	0	0
143	John Whelchel:0	haoyu	6.19	0.06	0	0
144	Mike Hunt:0	Aristotle	6.47	0.27	0	0
145	Andys:0	Aristotle	6.62	0.12	0	0
146	jabreezy:1	Mercury	6.85	0.10	0	0
147	Yacob Y.:0	haoyu	7.06	0.06	0	0
148	Walter Little:0	haoyu	8.96	0.04	0	0
149	CAPS LOCK:0	Aristotle	11.31	0.20	0	0
150	Charliezsc:1	haoyu	11.68	0.07	0	0
151	Valya Barboy:1	Shaheed Chagani	12.21	0.18	0	0
152	nupog:1	Aristotle	13.11	0.12	0	0
153	Andrew Werner:1	haoyu	13.23	0.11	0	0
154	nupog:0	Aristotle	13.68	0.13	0	0
155	DinnerPartyPlannerBM:0	Aristotle	14.08	0.11	0	0
156	David H.:1	DeeEmEm	15.00	0.33	1	0
157	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
158	snowflakes:0	haoyu	15.00	0.03	1	0
159	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
160	Gewang:1	Jonathan Kwok	15.00	0.00	1	0
161	Charliezsc:0	jgs	15.00	14.98	1	1
162	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
163	Brendan Wright:0	haoyu	15.00	0.10	1	0
164	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
165	Gewang:0	Jonathan Kwok	15.00	0.00	1	0
166	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
167	0108:0	jgs	15.00	14.98	1	1
168	EC:0	haoyu	15.00	0.03	1	0
169	Valya Barboy:0	Aristotle	15.00	0.06	1	0
170	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	2	0
171	Dusty:1	Shaheed Chagani	15.00	0.22	2	0
172	David H.:0	AFC	15.00	0.28	2	0
173	T. Capote:0	haoyu	15.00	0.00	2	2
174	T. Capote:1	haoyu	15.00	0.00	2	2
175	snowflakes:1	haoyu	15.00	0.03	2	0
176	Tree Prophet:0	haoyu	15.00	0.00	3	0
177	ebp:0	haoyu	15.00	0.04	3	0
178	Anon5:0	haoyu	15.00	0.05	3	0
179	AFC:1	Aristotle	15.00	0.16	3	0
180	Dusty:0	CookieMonster	15.00	1.39	3	0
181	SuperFan:0	jgs	15.00	14.98	4	4
182	SuperFan:1	jgs	15.00	14.98	4	4
183	Absurdity:0	Aristotle	15.00	0.23	4	0
184	Shaheed Chagani:0	Aristotle	15.00	0.17	5	0
185	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	5	0
186	Andrew Grasso:0	Aaron Doll	15.00	0.18	6	0
187	NA:1	Elphaba	15.00	0.04	7	0
188	Tree Prophet:1	haoyu	15.00	0.00	7	0
189	Yacob Y.:1	Aristotle	15.00	15.00	9	1
190	NA:0	haoyu	15.00	0.03	11	0
191	David Paulk:1	Bar Shabtai	15.00	0.00	15	0
192	Supahaka:1	Joel Faron	15.00	15.00	38	35
193	Supahaka:0	Andrew Werner	15.00	15.00	40	35
194	BH:1	haoyu	15.00	0.05	170	0
195	BH:0	haoyu	15.00	0.07	198	0
196	CookieMonster:0	CookieMonster	15.00	0.82	1	0
197	CookieMonster:1	CookieMonster	15.00	1.10	1	0
198	AFC:0	CookieMonster	15.00	0.34	2	0
199	Absurdity:1	Aristotle	15.00	0.18	5	0
200	Shaheed Chagani:1	Aristotle	15.00	0.11	4003	0
201	Elphaba:0	Aristotle	15.00	0.24	12125	0
202	Nihar the Great:0	Aristotle	15.00	0.23	20409	0
203	13a:1	Aaron Doll	15.01	15.00	58839	29
204	Aaron Doll:0	Aristotle	15.01	0.56	222640	0
205	13a:0	Aaron Doll	15.01	15.00	61205	21
206	Andys:1	Aristotle	15.02	0.13	4	0
207	Nihar the Great:1	Aristotle	15.02	0.25	19723	0
208	John Whelchel:1	haoyu	15.02	0.11	1	0
209	Elphaba:1	Aristotle	15.02	0.22	20468	0
210	Aaron Doll:1	Aristotle	15.04	1.27	293264	0
211	jgs:0	Aristotle	15.05	0.12	29	0
212	Deric Cheng:0	jgs	15.08	14.99	1	1
213	Bar Shabtai:0	Aaron Doll	15.08	15.01	304462	1
214	Andrew Werner:0	Aaron Doll	15.10	0.33	2	0
215	jgs:1	haoyu	15.10	0.18	32	0
216	Aristotle:1	Aristotle	15.11	9.69	717168	0
217	Aristotle:0	Aristotle	15.15	15.00	728225	1
218	Deric Cheng:1	jgs	15.15	14.98	1	1
219	Bar Shabtai:1	haoyu	15.18	0.12	1	0
220	CAPS LOCK:1	Aristotle	15.48	0.25	26	0
221	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
222	Mark S. Fillmore:1	Supahaka	-	0.04	-	79
223	bigwig:0	Andrew Werner	-	0.00	-	0
224	spl:0	Elphaba	-	0.09	-	0
225	Mark S. Fillmore:0	Supahaka	-	0.01	-	116
226	spl:1	haoyu	-	0.06	-	0
227	R. A. B.:1	cat	-	0.00	-	0
228	Matt Goldsmith:1	Happy	-	0.03	-	0

SatSolvers Ranklist

Generators Ranklist