Stats for satsolver: Igor

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 Igor 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 Igor 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:	Igor
Rank:	118 / 118
Average Score:	142.24
Median Score:	0.00
Description:	description

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

SatSolvers Ranklist

Generators Ranklist