Stats for satsolver: Dr Roberto

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 Dr Roberto 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 Dr Roberto 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:	Dr Roberto
Rank:	101 / 118
Average Score:	19.07
Median Score:	0.60
Description:	Variant of DPLL that uses indexing and keeps track of which clauses and symbols are being affected by a specific change in the model and then only checks those as opposed to checking all of them is search for potential new satisfactions. It also contains random choice of true or false and symbol ranking.

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

SatSolvers Ranklist

Generators Ranklist