Stats for satsolver: Tree Prophet

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 Tree Prophet 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 Tree Prophet 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:	Tree Prophet
Rank:	37 / 118
Average Score:	6.05
Median Score:	1.21
Description:	I implemented DPLL with the pure symbol and unit clause heursitics with the optimization of always keeping track of the best model found so far and short-circuiting as soon as that best model has all clauses satisfied or when time runs out. In the case of the latter, as is the case when the algorithm runs to completion, the model generated along the search that satisfies the most clauses is returned.

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

SatSolvers Ranklist

Generators Ranklist