Stats for satsolver: Quite Satisfied

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 Quite Satisfied 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 Quite Satisfied 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:	Quite Satisfied
Rank:	9 / 118
Average Score:	4.42
Median Score:	0.40
Description:	WalkSAT variant that stores a map for each literal to the clauses it appeasrs in so that only relevant clauses are checked.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.00	0.00	0	0
2	bigwig:1	KingBach	0.00	0.00	0	0
3	Happy:1	KingBach	0.00	0.00	0	0
4	Bebe Shi:1	KingBach	0.01	0.00	0	0
5	Ravi Tandon:0	KingBach	0.01	0.00	0	0
6	K.L.:1	KingBach	0.01	0.00	0	0
7	Bebe Shi:0	KingBach	0.01	0.00	0	0
8	R. A. B.:1	cat	0.01	0.00	0	0
9	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
10	Miranda:1	cat	0.01	0.00	0	0
11	K.L.:0	haoyu	0.01	0.00	0	0
12	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
13	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
14	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
15	Daffy Duck:1	haoyu	0.01	0.00	0	0
16	Miranda:0	cat	0.01	0.00	0	0
17	Blam:0	Elphaba	0.01	0.00	0	0
18	bchouGenerator:0	haoyu	0.01	0.00	0	0
19	Tree Prophet:0	haoyu	0.02	0.00	0	0
20	Solving For Clauses:0	Glenn Fisher	0.02	0.00	0	0
21	David Paulk:0	cat	0.02	0.00	0	0
22	Ravi Tandon:1	KingBach	0.02	0.00	0	0
23	David Paulk:1	Bar Shabtai	0.02	0.00	0	0
24	Solving For Clauses:1	haoyu	0.02	0.00	0	0
25	BMJ:1	burrito	0.02	0.00	0	0
26	BMJ:0	Elphaba	0.03	0.00	0	0
27	haoyu:1	Anon5	0.03	0.01	0	0
28	Gewang:1	Jonathan Kwok	0.03	0.00	0	0
29	Tree Prophet:1	haoyu	0.03	0.00	0	0
30	Jordan Ash:1	Bar Shabtai	0.03	0.01	0	0
31	The Kraken:0	haoyu	0.03	0.00	0	0
32	Gewang:0	Jonathan Kwok	0.03	0.00	0	0
33	R. A. B.:0	Nihar the Great	0.03	0.00	0	0
34	Qinlan Shen:0	Bar Shabtai	0.03	0.01	0	0
35	The Kraken:1	haoyu	0.04	0.00	0	0
36	Happy:0	haoyu	0.04	0.00	0	0
37	Quite Satisfied:0	haoyu	0.04	0.00	0	0
38	bchouGenerator:1	Jonathan Kwok	0.04	0.01	0	0
39	Mickey Mouse:1	haoyu	0.05	0.01	0	0
40	Jameh:0	haoyu	0.05	0.01	0	0
41	Mickey Mouse:0	Bar Shabtai	0.06	0.01	0	0
42	0108:1	haoyu	0.06	0.01	0	0
43	Daffy Duck:0	Andrew Werner	0.06	0.00	0	0
44	weezy:1	Bar Shabtai	0.06	0.01	0	0
45	cmF5a3ly:1	Nihar the Great	0.06	0.00	0	0
46	Jordan Ash:0	EC	0.06	0.03	0	0
47	cmF5a3ly:0	Nihar the Great	0.07	0.00	0	0
48	Blam:1	Elphaba	0.07	0.00	0	0
49	vluu:1	Nihar the Great	0.07	0.02	0	0
50	weezy:0	Bar Shabtai	0.07	0.01	0	0
51	Boomshanka:1	Bar Shabtai	0.07	0.01	0	0
52	vluu:0	Nihar the Great	0.08	0.01	0	0
53	haoyu:0	KingBach	0.08	0.01	0	0
54	The Whitman Whale:1	Andrew Grasso	0.08	0.03	0	0
55	Ytterbium:0	Andrew Grasso	0.08	0.02	0	0
56	Keji Xu:0	Nihar the Great	0.08	0.03	0	0
57	Tiny Wings:0	haoyu	0.09	0.02	0	0
58	Nikhilesh Sigatapu:0	haoyu	0.09	0.03	0	0
59	Scheduling Generator 203:0	jgs	0.09	0.01	0	0
60	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.09	0.01	0	0
61	Keji Xu:1	Nihar the Great	0.10	0.04	0	0
62	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.10	0.01	0	0
63	George Okeowo:0	Andrew Grasso	0.10	0.01	0	0
64	Boomshanka:0	haoyu	0.10	0.01	0	0
65	The Whitman Whale:0	bigwig	0.11	0.04	0	0
66	Tiny Wings:1	haoyu	0.11	0.01	0	0
67	Ytterbium:1	Nihar the Great	0.11	0.02	0	0
68	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.11	0.01	0	0
69	Scheduling Generator 203:1	Jameh	0.11	0.02	0	0
70	Jameh:1	haoyu	0.12	0.01	0	0
71	Tom T:0	EC	0.12	0.02	0	0
72	cat:1	haoyu	0.13	0.03	0	0
73	George Okeowo:1	Andrew Grasso	0.13	0.01	0	0
74	Tom T:1	Andrew Werner	0.14	0.02	0	0
75	Janie Gu:1	Jonathan Kwok	0.14	0.07	0	0
76	cat:0	haoyu	0.14	0.03	0	0
77	Nikhilesh Sigatapu:1	haoyu	0.14	0.04	0	0
78	Samuel Jerome:0	haoyu	0.14	0.03	0	0
79	Lisa Kim:1	Bar Shabtai	0.16	0.06	0	0
80	David Lackey:1	Bar Shabtai	0.17	0.03	0	0
81	Samuel Jerome:1	haoyu	0.17	0.03	0	0
82	Dr Roberto:1	Andrew Grasso	0.17	0.02	0	0
83	bfang:1	haoyu	0.17	0.04	0	0
84	Mercury:1	haoyu	0.19	0.05	0	0
85	kt4124:0	haoyu	0.19	0.03	0	0
86	Sunny:1	jabreezy	0.20	0.01	0	0
87	Mercury:0	haoyu	0.20	0.05	0	0
88	Dr Roberto:0	Andrew Grasso	0.20	0.03	0	0
89	David Lackey:0	Anon5	0.21	0.03	0	0
90	kt4124:1	haoyu	0.21	0.04	0	0
91	bfang:0	haoyu	0.23	0.04	0	0
92	Anon_K_P:1	Aristotle	0.23	0.03	0	0
93	Sally Smith:1	haoyu	0.24	0.04	0	0
94	Khoa:1	Aristotle	0.24	0.09	0	0
95	KingBach:0	haoyu	0.24	0.06	0	0
96	Anon_K_P:0	haoyu	0.24	0.02	0	0
97	Sally Smith:0	haoyu	0.24	0.04	0	0
98	Janie Gu:0	Glenn Fisher	0.25	0.07	0	0
99	Lisa Kim:0	Aristotle	0.25	0.07	0	0
100	Alex Fish:1	haoyu	0.25	0.02	0	0
101	Linda:0	Andrew Grasso	0.25	0.01	0	0
102	soccer:0	haoyu	0.25	0.04	0	0
103	Khoa:0	haoyu	0.26	0.09	0	0
104	Sprt:1	haoyu	0.27	0.05	0	0
105	Alex Fish:0	haoyu	0.28	0.01	0	0
106	KingBach:1	haoyu	0.28	0.04	0	0
107	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.29	0.00	0	0
108	soccer:1	haoyu	0.30	0.04	0	0
109	Glenn Fisher:0	Elphaba	0.35	0.02	0	0
110	DeeEmEm:1	haoyu	0.35	0.02	0	0
111	Batman:0	haoyu	0.35	0.04	0	0
112	burrito:0	haoyu	0.36	0.09	0	0
113	Yan Wu:1	haoyu	0.37	0.04	0	0
114	Yacob Y.:0	haoyu	0.40	0.06	0	0
115	Matt Haake:0	haoyu	0.40	0.05	0	0
116	Sunny:0	Green "The Bean" Choi	0.44	0.02	0	0
117	DinnerPartyPlannerBM:1	Nihar the Great	0.45	0.06	0	0
118	Batman:1	haoyu	0.45	0.04	0	0
119	Tao:1	Aristotle	0.47	0.07	0	0
120	Aaron H:1	Aristotle	0.47	0.11	0	0
121	dfshasdsf12:0	haoyu	0.51	0.09	0	0
122	Yan Wu:0	haoyu	0.52	0.05	0	0
123	Matt Haake:1	haoyu	0.52	0.05	0	0
124	ebp:1	haoyu	0.52	0.04	0	0
125	Linda:1	Andrew Grasso	0.53	0.02	0	0
126	ebp:0	haoyu	0.54	0.04	0	0
127	Aaron H:0	Aristotle	0.57	0.11	0	0
128	Mike Honcho:0	Miranda	0.64	0.01	0	0
129	Lil Thug:0	Andrew Grasso	0.66	0.03	0	0
130	Lil Thug:1	Andrew Grasso	0.66	0.03	0	0
131	Sprt:0	Aristotle	0.70	0.11	0	0
132	Bob Dondero:1	Mickey Mouse	0.71	0.03	0	0
133	Mike Honcho:1	Jessie Chen	0.71	0.01	0	0
134	Fanny:1	Aristotle	0.75	0.12	0	0
135	Bob Dondero:0	Andrew Grasso	0.76	0.02	0	0
136	nupog:0	Aristotle	0.82	0.13	0	0
137	nupog:1	Aristotle	0.85	0.12	0	0
138	dfshasdsf12:1	Nihar the Great	0.88	0.11	0	0
139	EC:0	haoyu	0.94	0.03	0	0
140	DinnerPartyPlannerBM:0	Aristotle	0.95	0.11	0	0
141	burrito:1	haoyu	0.98	0.10	0	0
142	CAPS LOCK:0	Aristotle	1.06	0.20	0	0
143	Fanny:0	Aristotle	1.13	0.10	0	0
144	Andrew Werner:0	Aaron Doll	1.19	0.33	0	0
145	BH:0	haoyu	1.24	0.07	0	0
146	BH:1	haoyu	1.30	0.05	0	0
147	Andrew Werner:1	haoyu	1.31	0.11	0	0
148	CAPS LOCK:1	Aristotle	1.32	0.25	0	0
149	Bar Shabtai:1	haoyu	1.35	0.12	0	0
150	Mike Hunt:0	Aristotle	1.38	0.27	0	0
151	Anon5:0	haoyu	1.47	0.05	0	0
152	jgs:0	Aristotle	1.78	0.12	0	0
153	jgs:1	haoyu	1.88	0.18	0	0
154	Mike Hunt:1	Aristotle	1.98	0.29	0	0
155	Tao:0	Bar Shabtai	2.01	0.02	0	0
156	jabreezy:0	Mercury	2.04	0.09	0	0
157	jabreezy:1	Mercury	2.52	0.10	0	0
158	Elphaba:1	Aristotle	2.58	0.22	0	0
159	Brendan Wright:1	Deric Cheng	3.00	0.10	0	0
160	Elphaba:0	Aristotle	3.09	0.24	0	0
161	EC:1	haoyu	4.12	0.03	0	0
162	Anon5:1	Green "The Bean" Choi	5.05	0.07	0	0
163	Nihar the Great:1	Aristotle	5.39	0.25	0	0
164	Nihar the Great:0	Aristotle	5.73	0.23	0	0
165	Shaheed Chagani:0	Aristotle	5.94	0.17	0	0
166	John Whelchel:0	haoyu	6.69	0.06	0	0
167	Shaheed Chagani:1	Aristotle	7.17	0.11	0	0
168	David H.:0	AFC	9.90	0.28	0	0
169	Brendan Wright:0	haoyu	11.22	0.10	0	0
170	Aaron Doll:0	Aristotle	12.77	0.56	0	0
171	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
172	CookieMonster:1	CookieMonster	15.00	1.10	1	0
173	Jessie Chen:1	Joel Faron	15.00	0.12	2	1
174	T. Capote:0	haoyu	15.00	0.00	2	2
175	CookieMonster:0	CookieMonster	15.00	0.82	2	0
176	Quite Satisfied:1	Joel Faron	15.00	2.11	3	1
177	T. Capote:1	haoyu	15.00	0.00	3	2
178	Qinlan Shen:1	R. A. B.	15.00	9.00	4	1
179	DeeEmEm:0	CAPS LOCK	15.00	13.00	4	1
180	Charliezsc:1	haoyu	15.00	0.07	6	0
181	Valya Barboy:1	Shaheed Chagani	15.00	0.18	8	0
182	0108:0	jgs	15.00	14.98	10	1
183	Valya Barboy:0	Aristotle	15.00	0.06	10	0
184	David H.:1	DeeEmEm	15.00	0.33	12	0
185	spl:0	Elphaba	15.00	0.09	14	0
186	Deric Cheng:1	jgs	15.00	14.98	15	1
187	SuperFan:0	jgs	15.00	14.98	15	4
188	Absurdity:0	Aristotle	15.00	0.23	16	0
189	AFC:0	CookieMonster	15.00	0.34	16	0
190	Sabar Dasgupta:0	spl	15.00	0.23	17	0
191	AFC:1	Aristotle	15.00	0.16	17	0
192	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	17	0
193	John Whelchel:1	haoyu	15.00	0.11	18	0
194	Charliezsc:0	jgs	15.00	14.98	18	1
195	Deric Cheng:0	jgs	15.00	14.99	19	1
196	SuperFan:1	jgs	15.00	14.98	19	4
197	Walter Little:0	haoyu	15.00	0.04	20	0
198	spl:1	haoyu	15.00	0.06	20	0
199	Yacob Y.:1	Aristotle	15.00	15.00	23	1
200	Absurdity:1	Aristotle	15.00	0.18	25	0
201	Andys:1	Aristotle	15.00	0.13	26	0
202	Ben Chen:0	Elphaba	15.00	0.07	27	0
203	Dusty:0	CookieMonster	15.00	1.39	29	0
204	Mr. Blobby:1	dusty	15.00	0.12	30	0
205	Andys:0	Aristotle	15.00	0.12	31	0
206	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	31	0
207	Glenn Fisher:1	jabreezy	15.00	0.09	32	0
208	snowflakes:0	haoyu	15.00	0.03	33	0
209	Dusty:1	Shaheed Chagani	15.00	0.22	34	0
210	Walter Little:1	haoyu	15.00	0.03	34	0
211	Andrew Grasso:0	Aaron Doll	15.00	0.18	34	0
212	Ben Chen:1	spl	15.00	0.20	36	0
213	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	37	0
214	NA:0	haoyu	15.00	0.03	37	0
215	NA:1	Elphaba	15.00	0.04	41	0
216	Supahaka:1	Joel Faron	15.00	15.00	47	35
217	Supahaka:0	Andrew Werner	15.00	15.00	51	35
218	snowflakes:1	haoyu	15.00	0.03	51	0
219	Aaron Doll:1	Aristotle	15.00	1.27	59	0
220	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
221	13a:0	Aaron Doll	15.00	15.00	99	21
222	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
223	13a:1	Aaron Doll	15.00	15.00	117	29
224	Bar Shabtai:0	Aaron Doll	15.00	15.01	83530	1
225	Matt Goldsmith:0	Nihar the Great	15.00	0.03	468147	0
226	Aristotle:0	Aristotle	15.01	15.00	616427	1
227	Matt Goldsmith:1	Happy	15.01	0.03	469643	0
228	Aristotle:1	Aristotle	15.01	9.69	653566	0

SatSolvers Ranklist

Generators Ranklist