Stats for satsolver: Absurdity

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 Absurdity 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 Absurdity 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:	Absurdity
Rank:	23 / 118
Average Score:	5.22
Median Score:	0.58
Description:	Implements the WalkSAT algorithm for finding satisfying models of CNF sentences.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.00	0.00	0	0
2	Bebe Shi:1	KingBach	0.00	0.00	0	0
3	K.L.:1	KingBach	0.00	0.00	0	0
4	bigwig:0	Andrew Werner	0.00	0.00	0	0
5	bigwig:1	KingBach	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	Happy:1	KingBach	0.00	0.00	0	0
9	Miranda:1	cat	0.00	0.00	0	0
10	Miranda:0	cat	0.00	0.00	0	0
11	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
12	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
13	bchouGenerator:0	haoyu	0.01	0.00	0	0
14	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
15	Blam:1	Elphaba	0.01	0.00	0	0
16	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
17	Tree Prophet:0	haoyu	0.01	0.00	0	0
18	Solving For Clauses:1	haoyu	0.01	0.00	0	0
19	K.L.:0	haoyu	0.01	0.00	0	0
20	R. A. B.:1	cat	0.01	0.00	0	0
21	haoyu:0	KingBach	0.01	0.01	0	0
22	haoyu:1	Anon5	0.01	0.01	0	0
23	bchouGenerator:1	Jonathan Kwok	0.01	0.01	0	0
24	BMJ:0	Elphaba	0.01	0.00	0	0
25	Daffy Duck:1	haoyu	0.01	0.00	0	0
26	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
27	Quite Satisfied:0	haoyu	0.01	0.00	0	0
28	David Paulk:0	cat	0.01	0.00	0	0
29	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
30	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
31	Daffy Duck:0	Andrew Werner	0.02	0.00	0	0
32	David Paulk:1	Bar Shabtai	0.02	0.00	0	0
33	BMJ:1	burrito	0.02	0.00	0	0
34	The Kraken:0	haoyu	0.02	0.00	0	0
35	Scheduling Generator 203:0	jgs	0.02	0.01	0	0
36	Jordan Ash:1	Bar Shabtai	0.02	0.01	0	0
37	The Kraken:1	haoyu	0.02	0.00	0	0
38	cmF5a3ly:1	Nihar the Great	0.02	0.00	0	0
39	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
40	Scheduling Generator 203:1	Jameh	0.02	0.02	0	0
41	Tom T:1	Andrew Werner	0.03	0.02	0	0
42	R. A. B.:0	Nihar the Great	0.03	0.00	0	0
43	Tree Prophet:1	haoyu	0.03	0.00	0	0
44	Mickey Mouse:1	haoyu	0.03	0.01	0	0
45	Tom T:0	EC	0.04	0.02	0	0
46	Mickey Mouse:0	Bar Shabtai	0.04	0.01	0	0
47	Qinlan Shen:0	Bar Shabtai	0.04	0.01	0	0
48	Mike Honcho:1	Jessie Chen	0.04	0.01	0	0
49	Jameh:0	haoyu	0.04	0.01	0	0
50	weezy:0	Bar Shabtai	0.04	0.01	0	0
51	Boomshanka:1	Bar Shabtai	0.04	0.01	0	0
52	weezy:1	Bar Shabtai	0.04	0.01	0	0
53	Mike Honcho:0	Miranda	0.04	0.01	0	0
54	David Lackey:1	Bar Shabtai	0.04	0.03	0	0
55	Happy:0	haoyu	0.04	0.00	0	0
56	Blam:0	Elphaba	0.04	0.00	0	0
57	David Lackey:0	Anon5	0.05	0.03	0	0
58	Tiny Wings:0	haoyu	0.05	0.02	0	0
59	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.05	0.01	0	0
60	0108:1	haoyu	0.06	0.01	0	0
61	Alex Fish:0	haoyu	0.06	0.01	0	0
62	Boomshanka:0	haoyu	0.06	0.01	0	0
63	Jameh:1	haoyu	0.06	0.01	0	0
64	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.06	0.01	0	0
65	vluu:1	Nihar the Great	0.07	0.02	0	0
66	Ytterbium:0	Andrew Grasso	0.07	0.02	0	0
67	Jordan Ash:0	EC	0.07	0.03	0	0
68	Tao:1	Aristotle	0.07	0.07	0	0
69	Tiny Wings:1	haoyu	0.07	0.01	0	0
70	cat:0	haoyu	0.08	0.03	0	0
71	vluu:0	Nihar the Great	0.09	0.01	0	0
72	Tao:0	Bar Shabtai	0.09	0.02	0	0
73	Nikhilesh Sigatapu:0	haoyu	0.10	0.03	0	0
74	cat:1	haoyu	0.10	0.03	0	0
75	Janie Gu:1	Jonathan Kwok	0.10	0.07	0	0
76	Alex Fish:1	haoyu	0.11	0.02	0	0
77	Bob Dondero:0	Andrew Grasso	0.12	0.02	0	0
78	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.12	0.00	0	0
79	Keji Xu:1	Nihar the Great	0.12	0.04	0	0
80	The Whitman Whale:0	bigwig	0.13	0.04	0	0
81	Dr Roberto:1	Andrew Grasso	0.13	0.02	0	0
82	Samuel Jerome:0	haoyu	0.13	0.03	0	0
83	Anon_K_P:0	haoyu	0.16	0.02	0	0
84	Ytterbium:1	Nihar the Great	0.17	0.02	0	0
85	The Whitman Whale:1	Andrew Grasso	0.17	0.03	0	0
86	Dr Roberto:0	Andrew Grasso	0.18	0.03	0	0
87	DeeEmEm:1	haoyu	0.18	0.02	0	0
88	Janie Gu:0	Glenn Fisher	0.18	0.07	0	0
89	Nikhilesh Sigatapu:1	haoyu	0.18	0.04	0	0
90	Keji Xu:0	Nihar the Great	0.18	0.03	0	0
91	George Okeowo:1	Andrew Grasso	0.19	0.01	0	0
92	Linda:1	Andrew Grasso	0.19	0.02	0	0
93	George Okeowo:0	Andrew Grasso	0.19	0.01	0	0
94	Linda:0	Andrew Grasso	0.22	0.01	0	0
95	Lisa Kim:1	Bar Shabtai	0.23	0.06	0	0
96	Samuel Jerome:1	haoyu	0.26	0.03	0	0
97	Valya Barboy:0	Aristotle	0.28	0.06	0	0
98	Matt Haake:1	haoyu	0.29	0.05	0	0
99	Mercury:0	haoyu	0.33	0.05	0	0
100	Glenn Fisher:0	Elphaba	0.34	0.02	0	0
101	Sally Smith:0	haoyu	0.37	0.04	0	0
102	bfang:1	haoyu	0.39	0.04	0	0
103	Mercury:1	haoyu	0.40	0.05	0	0
104	Bob Dondero:1	Mickey Mouse	0.41	0.03	0	0
105	Matt Haake:0	haoyu	0.45	0.05	0	0
106	Lisa Kim:0	Aristotle	0.46	0.07	0	0
107	kt4124:1	haoyu	0.47	0.04	0	0
108	Anon5:1	Green "The Bean" Choi	0.48	0.07	0	0
109	Yan Wu:0	haoyu	0.49	0.05	0	0
110	Anon_K_P:1	Aristotle	0.49	0.03	0	0
111	KingBach:1	haoyu	0.51	0.04	0	0
112	kt4124:0	haoyu	0.52	0.03	0	0
113	Andrew Grasso:0	Aaron Doll	0.56	0.18	0	0
114	Sally Smith:1	haoyu	0.58	0.04	0	0
115	bfang:0	haoyu	0.64	0.04	0	0
116	Anon5:0	haoyu	0.70	0.05	0	0
117	David H.:0	AFC	0.82	0.28	0	0
118	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.82	0.01	0	0
119	Khoa:0	haoyu	0.87	0.09	0	0
120	Sprt:1	haoyu	0.90	0.05	0	0
121	Khoa:1	Aristotle	0.95	0.09	0	0
122	Yan Wu:1	haoyu	0.97	0.04	0	0
123	Batman:0	haoyu	0.99	0.04	0	0
124	Ben Chen:0	Elphaba	1.07	0.07	0	0
125	Batman:1	haoyu	1.10	0.04	0	0
126	KingBach:0	haoyu	1.11	0.06	0	0
127	Brendan Wright:1	Deric Cheng	1.23	0.10	0	0
128	burrito:0	haoyu	1.49	0.09	0	0
129	Yacob Y.:0	haoyu	1.56	0.06	0	0
130	soccer:1	haoyu	1.73	0.04	0	0
131	Valya Barboy:1	Shaheed Chagani	2.02	0.18	0	0
132	DinnerPartyPlannerBM:1	Nihar the Great	2.15	0.06	0	0
133	soccer:0	haoyu	2.17	0.04	0	0
134	Sabar Dasgupta:0	spl	2.19	0.23	0	0
135	Andrew Grasso:1	Shaheed Chagani	2.21	0.15	0	0
136	EC:1	haoyu	2.58	0.03	0	0
137	dfshasdsf12:0	haoyu	2.62	0.09	0	0
138	Sabar Dasgupta:1	Aaron Doll	3.04	0.17	0	0
139	David H.:1	DeeEmEm	3.04	0.33	0	0
140	Andys:0	Aristotle	3.05	0.12	0	0
141	snowflakes:0	haoyu	3.43	0.03	0	0
142	Sunny:0	Green "The Bean" Choi	3.86	0.02	0	0
143	Aaron H:1	Aristotle	3.94	0.11	0	0
144	Sunny:1	jabreezy	3.94	0.01	0	0
145	Aaron H:0	Aristotle	4.00	0.11	0	0
146	Sprt:0	Aristotle	4.26	0.11	0	0
147	NA:1	Elphaba	4.68	0.04	0	0
148	Lil Thug:0	Andrew Grasso	5.32	0.03	0	0
149	John Whelchel:0	haoyu	5.71	0.06	0	0
150	Mr. Blobby:0	Green "The Bean" Choi	5.74	0.14	0	0
151	Andys:1	Aristotle	5.90	0.13	0	0
152	dfshasdsf12:1	Nihar the Great	6.00	0.11	0	0
153	burrito:1	haoyu	6.18	0.10	0	0
154	Lil Thug:1	Andrew Grasso	6.20	0.03	0	0
155	BH:1	haoyu	6.40	0.05	0	0
156	Dusty:0	CookieMonster	8.81	1.39	0	0
157	Fanny:1	Aristotle	8.85	0.12	0	0
158	Mike Hunt:1	Aristotle	10.33	0.29	0	0
159	Charliezsc:1	haoyu	10.67	0.07	0	0
160	Brendan Wright:0	haoyu	10.68	0.10	0	0
161	CAPS LOCK:0	Aristotle	12.02	0.20	0	0
162	Mike Hunt:0	Aristotle	13.22	0.27	0	0
163	Dusty:1	Shaheed Chagani	13.32	0.22	0	0
164	BH:0	haoyu	13.67	0.07	0	0
165	DinnerPartyPlannerBM:0	Aristotle	13.97	0.11	0	0
166	jabreezy:0	Mercury	14.16	0.09	0	0
167	Mr. Blobby:1	dusty	14.27	0.12	0	0
168	nupog:0	Aristotle	14.46	0.13	0	0
169	nupog:1	Aristotle	14.76	0.12	0	0
170	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
171	CookieMonster:0	CookieMonster	15.00	0.82	1	0
172	0108:0	jgs	15.00	14.98	1	1
173	Glenn Fisher:1	jabreezy	15.00	0.09	1	0
174	Quite Satisfied:1	Joel Faron	15.00	2.11	2	1
175	Jessie Chen:1	Joel Faron	15.00	0.12	2	1
176	T. Capote:0	haoyu	15.00	0.00	2	2
177	AFC:1	Aristotle	15.00	0.16	2	0
178	DeeEmEm:0	CAPS LOCK	15.00	13.00	2	1
179	T. Capote:1	haoyu	15.00	0.00	2	2
180	Walter Little:1	haoyu	15.00	0.03	3	0
181	Jessie Chen:0	Joel Faron	15.00	0.13	4	1
182	Absurdity:0	Aristotle	15.00	0.23	4	0
183	Walter Little:0	haoyu	15.00	0.04	6	0
184	Absurdity:1	Aristotle	15.00	0.18	7	0
185	NA:0	haoyu	15.00	0.03	8	0
186	SuperFan:0	jgs	15.00	14.98	14	4
187	SuperFan:1	jgs	15.00	14.98	17	4
188	Supahaka:0	Andrew Werner	15.00	15.00	47	35
189	Supahaka:1	Joel Faron	15.00	15.00	48	35
190	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
191	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
192	CookieMonster:1	CookieMonster	15.00	1.10	1	0
193	AFC:0	CookieMonster	15.00	0.34	3	0
194	Ben Chen:1	spl	15.00	0.20	8	0
195	snowflakes:1	haoyu	15.00	0.03	11	0
196	spl:1	haoyu	15.00	0.06	13	0
197	ebp:0	haoyu	15.00	0.04	16	0
198	Fanny:0	Aristotle	15.00	0.10	4	0
199	jabreezy:1	Mercury	15.00	0.10	16	0
200	spl:0	Elphaba	15.00	0.09	19	0
201	EC:0	haoyu	15.00	0.03	5	0
202	Yacob Y.:1	Aristotle	15.00	15.00	9	1
203	Shaheed Chagani:0	Aristotle	15.01	0.17	7	0
204	ebp:1	haoyu	15.01	0.04	20	0
205	Elphaba:0	Aristotle	15.01	0.24	28624	0
206	Bar Shabtai:1	haoyu	15.01	0.12	119	0
207	jgs:1	haoyu	15.01	0.18	92	0
208	Elphaba:1	Aristotle	15.01	0.22	29276	0
209	Nihar the Great:1	Aristotle	15.02	0.25	20911	0
210	Shaheed Chagani:1	Aristotle	15.02	0.11	42	0
211	Andrew Werner:1	haoyu	15.02	0.11	5	0
212	13a:1	Aaron Doll	15.02	15.00	66787	29
213	Aaron Doll:0	Aristotle	15.02	0.56	254324	0
214	John Whelchel:1	haoyu	15.02	0.11	2	0
215	Nihar the Great:0	Aristotle	15.02	0.23	20858	0
216	CAPS LOCK:1	Aristotle	15.02	0.25	1761	0
217	jgs:0	Aristotle	15.03	0.12	43	0
218	Charliezsc:0	jgs	15.03	14.98	3	1
219	13a:0	Aaron Doll	15.03	15.00	78523	21
220	Andrew Werner:0	Aaron Doll	15.04	0.33	4	0
221	Bar Shabtai:0	Aaron Doll	15.05	15.01	306986	1
222	Aaron Doll:1	Aristotle	15.06	1.27	300531	0
223	Deric Cheng:0	jgs	15.06	14.99	2	1
224	Aristotle:1	Aristotle	15.08	9.69	737141	0
225	Aristotle:0	Aristotle	15.09	15.00	745247	1
226	Matt Goldsmith:0	Nihar the Great	15.10	0.03	507641	0
227	Deric Cheng:1	jgs	15.11	14.98	2	1
228	Matt Goldsmith:1	Happy	15.18	0.03	511559	0

SatSolvers Ranklist

Generators Ranklist