Stats for satsolver: Miranda

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 Miranda 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 Miranda 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:	Miranda
Rank:	117 / 118
Average Score:	105.24
Median Score:	15.00
Description:	This sat-solver works and returns the best one when time runs out.

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

SatSolvers Ranklist

Generators Ranklist