SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Ravi Tandon

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


SatSolvers Ranklist Generators Ranklist