SatSolvers Ranklist Generators Ranklist

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


SatSolvers Ranklist Generators Ranklist