SatSolvers Ranklist Generators Ranklist

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


SatSolvers Ranklist Generators Ranklist