SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Sabar Dasgupta

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 Sabar Dasgupta 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 Sabar Dasgupta 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: Sabar Dasgupta
Rank: 22 / 118
Average Score: 5.18
Median Score: 0.54
Description: Solves Sat problems using a variation of WALKSAT that saves the best model seen so that it can be returned if time elapses.
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 KingBach 0.00 0.00 0 0
2bigwig:0 Andrew Werner 0.00 0.00 0 0
3bigwig:1 KingBach 0.00 0.00 0 0
4Bebe Shi:0 KingBach 0.00 0.00 0 0
5Bebe Shi:1 KingBach 0.00 0.00 0 0
6Happy:1 KingBach 0.00 0.00 0 0
7Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
8Ravi Tandon:1 KingBach 0.00 0.00 0 0
9BMJ:1 burrito 0.00 0.00 0 0
10K.L.:1 KingBach 0.00 0.00 0 0
11Solving For Clauses:1 haoyu 0.01 0.00 0 0
12Miranda:0 cat 0.01 0.00 0 0
13Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
14Miranda:1 cat 0.01 0.00 0 0
15Joshua Zimmer:1 haoyu 0.01 0.00 0 0
16Daffy Duck:1 haoyu 0.01 0.00 0 0
17Joshua Zimmer:0 haoyu 0.01 0.00 0 0
18Blam:1 Elphaba 0.01 0.00 0 0
19K.L.:0 haoyu 0.01 0.00 0 0
20Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
21bchouGenerator:0 haoyu 0.01 0.00 0 0
22David Paulk:1 Bar Shabtai 0.01 0.00 0 0
23haoyu:0 KingBach 0.01 0.01 0 0
24Gewang:1 Jonathan Kwok 0.01 0.00 0 0
25Tree Prophet:0 haoyu 0.01 0.00 0 0
26Jonathan Kwok:1 KingBach 0.01 0.00 0 0
27Gewang:0 Jonathan Kwok 0.01 0.00 0 0
28R. A. B.:1 cat 0.02 0.00 0 0
29BMJ:0 Elphaba 0.02 0.00 0 0
30R. A. B.:0 Nihar the Great 0.02 0.00 0 0
31Blam:0 Elphaba 0.02 0.00 0 0
32The Kraken:0 haoyu 0.02 0.00 0 0
33cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
34Mickey Mouse:1 haoyu 0.02 0.01 0 0
35Mike Honcho:0 Miranda 0.02 0.01 0 0
36David Paulk:0 cat 0.02 0.00 0 0
37Mickey Mouse:0 Bar Shabtai 0.02 0.01 0 0
38The Kraken:1 haoyu 0.03 0.00 0 0
39bchouGenerator:1 Jonathan Kwok 0.03 0.01 0 0
40haoyu:1 Anon5 0.03 0.01 0 0
41Tom T:0 EC 0.03 0.02 0 0
42Quite Satisfied:0 haoyu 0.03 0.00 0 0
43cmF5a3ly:1 Nihar the Great 0.03 0.00 0 0
44weezy:0 Bar Shabtai 0.03 0.01 0 0
45Happy:0 haoyu 0.03 0.00 0 0
46Boomshanka:1 Bar Shabtai 0.03 0.01 0 0
47Mike Honcho:1 Jessie Chen 0.03 0.01 0 0
48Alex Fish:1 haoyu 0.04 0.02 0 0
49Scheduling Generator 203:0 jgs 0.04 0.01 0 0
50weezy:1 Bar Shabtai 0.04 0.01 0 0
51Tom T:1 Andrew Werner 0.04 0.02 0 0
52Scheduling Generator 203:1 Jameh 0.04 0.02 0 0
53Jordan Ash:1 Bar Shabtai 0.05 0.01 0 0
54Jameh:0 haoyu 0.05 0.01 0 0
55Ytterbium:0 Andrew Grasso 0.05 0.02 0 0
56vluu:0 Nihar the Great 0.06 0.01 0 0
57vluu:1 Nihar the Great 0.06 0.02 0 0
58Tiny Wings:0 haoyu 0.06 0.02 0 0
59Jameh:1 haoyu 0.07 0.01 0 0
60Qinlan Shen:0 Bar Shabtai 0.07 0.01 0 0
610108:1 haoyu 0.07 0.01 0 0
62cat:1 haoyu 0.08 0.03 0 0
63cat:0 haoyu 0.09 0.03 0 0
64Alex Fish:0 haoyu 0.09 0.01 0 0
65Nikhilesh Sigatapu:1 haoyu 0.09 0.04 0 0
66Sunny:0 Green "The Bean" Choi 0.09 0.02 0 0
67totallyOnFallBreak:0 Nikhilesh Sigatapu 0.09 0.01 0 0
68David Lackey:0 Anon5 0.09 0.03 0 0
69totallyOnFallBreak:1 Nikhilesh Sigatapu 0.09 0.01 0 0
70AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.10 0.01 0 0
71Boomshanka:0 haoyu 0.10 0.01 0 0
72Tree Prophet:1 haoyu 0.10 0.00 0 0
73Linda:0 Andrew Grasso 0.10 0.01 0 0
74Keji Xu:0 Nihar the Great 0.12 0.03 0 0
75Dr Roberto:1 Andrew Grasso 0.12 0.02 0 0
76Ytterbium:1 Nihar the Great 0.12 0.02 0 0
77David Lackey:1 Bar Shabtai 0.12 0.03 0 0
78Tiny Wings:1 haoyu 0.12 0.01 0 0
79Samuel Jerome:0 haoyu 0.13 0.03 0 0
80The Whitman Whale:0 bigwig 0.13 0.04 0 0
81Jordan Ash:0 EC 0.14 0.03 0 0
82Nikhilesh Sigatapu:0 haoyu 0.14 0.03 0 0
83Keji Xu:1 Nihar the Great 0.14 0.04 0 0
84George Okeowo:1 Andrew Grasso 0.15 0.01 0 0
85George Okeowo:0 Andrew Grasso 0.15 0.01 0 0
86Lisa Kim:1 Bar Shabtai 0.16 0.06 0 0
87Fanny:1 Aristotle 0.18 0.12 0 0
88Tao:1 Aristotle 0.20 0.07 0 0
89Sunny:1 jabreezy 0.20 0.01 0 0
90Dr Roberto:0 Andrew Grasso 0.21 0.03 0 0
91The Whitman Whale:1 Andrew Grasso 0.21 0.03 0 0
92Lisa Kim:0 Aristotle 0.23 0.07 0 0
93Bob Dondero:0 Andrew Grasso 0.25 0.02 0 0
94Janie Gu:1 Jonathan Kwok 0.25 0.07 0 0
95kt4124:0 haoyu 0.26 0.03 0 0
96kt4124:1 haoyu 0.27 0.04 0 0
97Bob Dondero:1 Mickey Mouse 0.27 0.03 0 0
98Tao:0 Bar Shabtai 0.27 0.02 0 0
99AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.28 0.00 0 0
100Samuel Jerome:1 haoyu 0.29 0.03 0 0
101Yan Wu:1 haoyu 0.30 0.04 0 0
102Janie Gu:0 Glenn Fisher 0.31 0.07 0 0
103DeeEmEm:1 haoyu 0.37 0.02 0 0
104Anon_K_P:1 Aristotle 0.38 0.03 0 0
105Matt Haake:0 haoyu 0.38 0.05 0 0
106Sally Smith:1 haoyu 0.39 0.04 0 0
107bfang:0 haoyu 0.40 0.04 0 0
108Anon_K_P:0 haoyu 0.42 0.02 0 0
109bfang:1 haoyu 0.42 0.04 0 0
110Yan Wu:0 haoyu 0.43 0.05 0 0
111Mercury:1 haoyu 0.43 0.05 0 0
112Sally Smith:0 haoyu 0.44 0.04 0 0
113KingBach:0 haoyu 0.53 0.06 0 0
114Glenn Fisher:0 Elphaba 0.54 0.02 0 0
115Linda:1 Andrew Grasso 0.56 0.02 0 0
116Mercury:0 haoyu 0.59 0.05 0 0
117KingBach:1 haoyu 0.62 0.04 0 0
118Matt Haake:1 haoyu 0.66 0.05 0 0
119Khoa:1 Aristotle 0.69 0.09 0 0
120Batman:0 haoyu 0.72 0.04 0 0
121Batman:1 haoyu 0.73 0.04 0 0
122Yacob Y.:0 haoyu 0.74 0.06 0 0
123Khoa:0 haoyu 0.81 0.09 0 0
124Sprt:1 haoyu 0.88 0.05 0 0
125soccer:1 haoyu 1.11 0.04 0 0
126Andrew Grasso:0 Aaron Doll 1.38 0.18 0 0
127Mr. Blobby:1 dusty 1.45 0.12 0 0
128Brendan Wright:0 haoyu 1.53 0.10 0 0
129soccer:0 haoyu 1.58 0.04 0 0
130Ben Chen:0 Elphaba 1.90 0.07 0 0
131Ben Chen:1 spl 2.13 0.20 0 0
132DinnerPartyPlannerBM:1 Nihar the Great 2.19 0.06 0 0
133Anon5:1 Green "The Bean" Choi 2.38 0.07 0 0
134Mr. Blobby:0 Green "The Bean" Choi 2.46 0.14 0 0
135snowflakes:0 haoyu 2.65 0.03 0 0
136Sabar Dasgupta:1 Aaron Doll 2.65 0.17 0 0
137Sprt:0 Aristotle 3.26 0.11 0 0
138burrito:0 haoyu 3.32 0.09 0 0
139Brendan Wright:1 Deric Cheng 3.40 0.10 0 0
140Fanny:0 Aristotle 3.74 0.10 0 0
141Sabar Dasgupta:0 spl 3.89 0.23 0 0
142Valya Barboy:1 Shaheed Chagani 4.07 0.18 0 0
143dfshasdsf12:0 haoyu 4.13 0.09 0 0
144Walter Little:1 haoyu 4.25 0.03 0 0
145Aaron H:1 Aristotle 5.49 0.11 0 0
146Mike Hunt:0 Aristotle 6.04 0.27 0 0
147Lil Thug:1 Andrew Grasso 6.44 0.03 0 0
148EC:1 haoyu 6.82 0.03 0 0
149Lil Thug:0 Andrew Grasso 6.86 0.03 0 0
150DinnerPartyPlannerBM:0 Aristotle 7.01 0.11 0 0
151CAPS LOCK:0 Aristotle 7.36 0.20 0 0
152NA:1 Elphaba 7.63 0.04 0 0
153ebp:0 haoyu 7.67 0.04 0 0
154Valya Barboy:0 Aristotle 7.73 0.06 0 0
155Charliezsc:1 haoyu 7.75 0.07 0 0
156BH:1 haoyu 8.48 0.05 0 0
157BH:0 haoyu 8.86 0.07 0 0
158Aaron H:0 Aristotle 9.24 0.11 0 0
159ebp:1 haoyu 9.28 0.04 0 0
160Mike Hunt:1 Aristotle 9.49 0.29 0 0
161Glenn Fisher:1 jabreezy 9.54 0.09 0 0
162dfshasdsf12:1 Nihar the Great 10.13 0.11 0 0
163jabreezy:0 Mercury 10.34 0.09 0 0
164Andys:1 Aristotle 10.41 0.13 0 0
165John Whelchel:1 haoyu 11.35 0.11 0 0
166Walter Little:0 haoyu 12.19 0.04 0 0
167nupog:1 Aristotle 12.33 0.12 0 0
168nupog:0 Aristotle 12.80 0.13 0 0
169jabreezy:1 Mercury 12.91 0.10 0 0
170snowflakes:1 haoyu 13.60 0.03 0 0
171EC:0 haoyu 14.49 0.03 0 0
172burrito:1 haoyu 14.52 0.10 0 0
173Jessie Chen:0 Joel Faron 15.00 0.13 1 1
174Dusty:1 Shaheed Chagani 15.00 0.22 1 0
175Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
176Anon5:0 haoyu 15.00 0.05 1 0
177Dusty:0 CookieMonster 15.00 1.39 1 0
178Charliezsc:0 jgs 15.00 14.98 1 1
179Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
180Jessie Chen:1 Joel Faron 15.00 0.12 1 1
181David H.:0 AFC 15.00 0.28 1 0
182Andrew Grasso:1 Shaheed Chagani 15.00 0.15 1 0
183DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1840108:0 jgs 15.00 14.98 1 1
185CookieMonster:1 CookieMonster 15.00 1.10 1 0
186David H.:1 DeeEmEm 15.00 0.33 2 0
187T. Capote:0 haoyu 15.00 0.00 2 2
188T. Capote:1 haoyu 15.00 0.00 2 2
189spl:0 Elphaba 15.00 0.09 3 0
190spl:1 haoyu 15.00 0.06 3 0
191SuperFan:0 jgs 15.00 14.98 4 4
192NA:0 haoyu 15.00 0.03 4 0
193SuperFan:1 jgs 15.00 14.98 4 4
194Supahaka:0 Andrew Werner 15.00 15.00 37 35
195Supahaka:1 Joel Faron 15.00 15.00 37 35
196Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
197Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
198AFC:1 Aristotle 15.00 0.16 1 0
199Absurdity:0 Aristotle 15.00 0.23 2 0
200Yacob Y.:1 Aristotle 15.00 15.00 7 1
201AFC:0 CookieMonster 15.00 0.34 2 0
202Shaheed Chagani:0 Aristotle 15.00 0.17 6 0
203jgs:0 Aristotle 15.00 0.12 589 0
204CookieMonster:0 CookieMonster 15.00 0.82 1 0
205Bar Shabtai:0 Aaron Doll 15.00 15.01 319929 1
206Nihar the Great:0 Aristotle 15.01 0.23 18031 0
207Nihar the Great:1 Aristotle 15.01 0.25 17859 0
20813a:0 Aaron Doll 15.01 15.00 69513 21
209Aaron Doll:0 Aristotle 15.01 0.56 209721 0
210CAPS LOCK:1 Aristotle 15.01 0.25 2 0
211jgs:1 haoyu 15.01 0.18 788 0
212Absurdity:1 Aristotle 15.01 0.18 1 0
213Shaheed Chagani:1 Aristotle 15.01 0.11 4 0
214Elphaba:0 Aristotle 15.01 0.24 1747 0
215Elphaba:1 Aristotle 15.01 0.22 648 0
21613a:1 Aaron Doll 15.02 15.00 45418 29
217Matt Goldsmith:0 Nihar the Great 15.03 0.03 507931 0
218Andrew Werner:1 haoyu 15.05 0.11 1 0
219Deric Cheng:0 jgs 15.05 14.99 1 1
220Aaron Doll:1 Aristotle 15.06 1.27 279602 0
221Andys:0 Aristotle 15.06 0.12 4 0
222John Whelchel:0 haoyu 15.06 0.06 1 0
223Deric Cheng:1 jgs 15.07 14.98 1 1
224Bar Shabtai:1 haoyu 15.10 0.12 23 0
225Andrew Werner:0 Aaron Doll 15.12 0.33 2 0
226Matt Goldsmith:1 Happy 15.14 0.03 509495 0
227Aristotle:0 Aristotle 15.20 15.00 746289 1
228Aristotle:1 Aristotle 15.21 9.69 730375 0


SatSolvers Ranklist Generators Ranklist