SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Tao

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 Tao 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 Tao 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: Tao
Rank: 7 / 118
Average Score: 4.16
Median Score: 0.43
Description: I implement the WalkSAT algorithm. To speed up the searching of symbol-clause pair, for each symbol, I implement the HastSet to store the indices of clauses where it appears.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2Bebe Shi:1 KingBach 0.00 0.00 0 0
3Ravi Tandon:0 KingBach 0.00 0.00 0 0
4K.L.:1 KingBach 0.00 0.00 0 0
5Ravi Tandon:1 KingBach 0.00 0.00 0 0
6Jonathan Kwok:1 KingBach 0.00 0.00 0 0
7BMJ:1 burrito 0.00 0.00 0 0
8bigwig:1 KingBach 0.00 0.00 0 0
9Happy:1 KingBach 0.01 0.00 0 0
10Miranda:1 cat 0.01 0.00 0 0
11Joshua Zimmer:1 haoyu 0.01 0.00 0 0
12Miranda:0 cat 0.01 0.00 0 0
13Joshua Zimmer:0 haoyu 0.01 0.00 0 0
14R. A. B.:1 cat 0.01 0.00 0 0
15Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
16BMJ:0 Elphaba 0.01 0.00 0 0
17Bebe Shi:0 KingBach 0.01 0.00 0 0
18Happy:0 haoyu 0.01 0.00 0 0
19Tree Prophet:0 haoyu 0.01 0.00 0 0
20Blam:1 Elphaba 0.02 0.00 0 0
21David Paulk:0 cat 0.02 0.00 0 0
22Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
23David Paulk:1 Bar Shabtai 0.02 0.00 0 0
24bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
25Gewang:0 Jonathan Kwok 0.02 0.00 0 0
26Quite Satisfied:0 haoyu 0.03 0.00 0 0
27bchouGenerator:0 haoyu 0.03 0.00 0 0
28Gewang:1 Jonathan Kwok 0.03 0.00 0 0
29R. A. B.:0 Nihar the Great 0.03 0.00 0 0
30haoyu:1 Anon5 0.03 0.01 0 0
31Solving For Clauses:1 haoyu 0.03 0.00 0 0
32haoyu:0 KingBach 0.03 0.01 0 0
33The Kraken:1 haoyu 0.03 0.00 0 0
34K.L.:0 haoyu 0.04 0.00 0 0
35The Kraken:0 haoyu 0.04 0.00 0 0
36Tree Prophet:1 haoyu 0.04 0.00 0 0
37Daffy Duck:1 haoyu 0.05 0.00 0 0
38Jordan Ash:1 Bar Shabtai 0.05 0.01 0 0
39Mickey Mouse:1 haoyu 0.06 0.01 0 0
40Jordan Ash:0 EC 0.06 0.03 0 0
41cmF5a3ly:0 Nihar the Great 0.06 0.00 0 0
42cmF5a3ly:1 Nihar the Great 0.06 0.00 0 0
430108:1 haoyu 0.06 0.01 0 0
44Jonathan Kwok:0 Elphaba 0.07 0.00 0 0
45Blam:0 Elphaba 0.07 0.00 0 0
46weezy:0 Bar Shabtai 0.08 0.01 0 0
47Mickey Mouse:0 Bar Shabtai 0.08 0.01 0 0
48Scheduling Generator 203:0 jgs 0.08 0.01 0 0
49Jameh:0 haoyu 0.08 0.01 0 0
50Qinlan Shen:0 Bar Shabtai 0.09 0.01 0 0
51AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.09 0.01 0 0
52Tiny Wings:0 haoyu 0.10 0.02 0 0
53weezy:1 Bar Shabtai 0.11 0.01 0 0
54vluu:0 Nihar the Great 0.11 0.01 0 0
55Boomshanka:0 haoyu 0.12 0.01 0 0
56vluu:1 Nihar the Great 0.12 0.02 0 0
57Tiny Wings:1 haoyu 0.12 0.01 0 0
58cat:1 haoyu 0.12 0.03 0 0
59Nikhilesh Sigatapu:0 haoyu 0.12 0.03 0 0
60David Lackey:0 Anon5 0.12 0.03 0 0
61Tom T:1 Andrew Werner 0.12 0.02 0 0
62Tao:1 Aristotle 0.12 0.07 0 0
63Tao:0 Bar Shabtai 0.12 0.02 0 0
64Ytterbium:0 Andrew Grasso 0.13 0.02 0 0
65David Lackey:1 Bar Shabtai 0.13 0.03 0 0
66Jameh:1 haoyu 0.13 0.01 0 0
67The Whitman Whale:0 bigwig 0.14 0.04 0 0
68cat:0 haoyu 0.14 0.03 0 0
69Alex Fish:1 haoyu 0.14 0.02 0 0
70Scheduling Generator 203:1 Jameh 0.14 0.02 0 0
71Boomshanka:1 Bar Shabtai 0.15 0.01 0 0
72Tom T:0 EC 0.15 0.02 0 0
73Lisa Kim:1 Bar Shabtai 0.15 0.06 0 0
74Alex Fish:0 haoyu 0.16 0.01 0 0
75AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.16 0.00 0 0
76Keji Xu:1 Nihar the Great 0.17 0.04 0 0
77Ytterbium:1 Nihar the Great 0.17 0.02 0 0
78Dr Roberto:1 Andrew Grasso 0.17 0.02 0 0
79Keji Xu:0 Nihar the Great 0.17 0.03 0 0
80The Whitman Whale:1 Andrew Grasso 0.18 0.03 0 0
81Glenn Fisher:0 Elphaba 0.18 0.02 0 0
82totallyOnFallBreak:1 Nikhilesh Sigatapu 0.18 0.01 0 0
83Anon_K_P:0 haoyu 0.19 0.02 0 0
84Lisa Kim:0 Aristotle 0.19 0.07 0 0
85Nikhilesh Sigatapu:1 haoyu 0.19 0.04 0 0
86Samuel Jerome:0 haoyu 0.22 0.03 0 0
87totallyOnFallBreak:0 Nikhilesh Sigatapu 0.22 0.01 0 0
88George Okeowo:1 Andrew Grasso 0.22 0.01 0 0
89Janie Gu:1 Jonathan Kwok 0.23 0.07 0 0
90Mercury:1 haoyu 0.24 0.05 0 0
91Sally Smith:0 haoyu 0.24 0.04 0 0
92George Okeowo:0 Andrew Grasso 0.24 0.01 0 0
93bfang:0 haoyu 0.26 0.04 0 0
94bfang:1 haoyu 0.26 0.04 0 0
95Sally Smith:1 haoyu 0.27 0.04 0 0
96Yan Wu:0 haoyu 0.27 0.05 0 0
97Andrew Grasso:0 Aaron Doll 0.28 0.18 0 0
98Mercury:0 haoyu 0.29 0.05 0 0
99Anon_K_P:1 Aristotle 0.30 0.03 0 0
100Janie Gu:0 Glenn Fisher 0.30 0.07 0 0
101Samuel Jerome:1 haoyu 0.32 0.03 0 0
102Matt Haake:0 haoyu 0.33 0.05 0 0
103DeeEmEm:1 haoyu 0.34 0.02 0 0
104David H.:0 AFC 0.34 0.28 0 0
105Batman:1 haoyu 0.34 0.04 0 0
106kt4124:1 haoyu 0.36 0.04 0 0
107kt4124:0 haoyu 0.37 0.03 0 0
108KingBach:1 haoyu 0.38 0.04 0 0
109Valya Barboy:0 Aristotle 0.39 0.06 0 0
110Sunny:0 Green "The Bean" Choi 0.40 0.02 0 0
111Yacob Y.:0 haoyu 0.41 0.06 0 0
112Linda:0 Andrew Grasso 0.41 0.01 0 0
113AFC:1 Aristotle 0.42 0.16 0 0
114Dr Roberto:0 Andrew Grasso 0.43 0.03 0 0
115Khoa:1 Aristotle 0.45 0.09 0 0
116Matt Haake:1 haoyu 0.47 0.05 0 0
117Batman:0 haoyu 0.47 0.04 0 0
118KingBach:0 haoyu 0.48 0.06 0 0
119Yan Wu:1 haoyu 0.49 0.04 0 0
120Khoa:0 haoyu 0.56 0.09 0 0
121Sprt:1 haoyu 0.63 0.05 0 0
122Linda:1 Andrew Grasso 0.64 0.02 0 0
123soccer:1 haoyu 0.67 0.04 0 0
124Sunny:1 jabreezy 0.68 0.01 0 0
125Anon5:1 Green "The Bean" Choi 0.71 0.07 0 0
126Bob Dondero:1 Mickey Mouse 0.72 0.03 0 0
127Brendan Wright:0 haoyu 0.72 0.10 0 0
128Ben Chen:1 spl 0.81 0.20 0 0
129EC:1 haoyu 0.86 0.03 0 0
130Bob Dondero:0 Andrew Grasso 0.88 0.02 0 0
131David H.:1 DeeEmEm 0.94 0.33 0 0
132soccer:0 haoyu 0.94 0.04 0 0
133burrito:0 haoyu 0.95 0.09 0 0
134Mike Honcho:0 Miranda 1.02 0.01 0 0
135Mike Honcho:1 Jessie Chen 1.08 0.01 0 0
136DinnerPartyPlannerBM:1 Nihar the Great 1.10 0.06 0 0
137Sabar Dasgupta:1 Aaron Doll 1.16 0.17 0 0
138Anon5:0 haoyu 1.27 0.05 0 0
139Glenn Fisher:1 jabreezy 1.48 0.09 0 0
140dfshasdsf12:0 haoyu 1.58 0.09 0 0
141Charliezsc:1 haoyu 1.79 0.07 0 0
142Fanny:0 Aristotle 2.14 0.10 0 0
143Sabar Dasgupta:0 spl 2.16 0.23 0 0
144BH:1 haoyu 2.34 0.05 0 0
145Mike Hunt:0 Aristotle 2.40 0.27 0 0
146Sprt:0 Aristotle 2.47 0.11 0 0
147BH:0 haoyu 2.64 0.07 0 0
148Mike Hunt:1 Aristotle 3.10 0.29 0 0
149Absurdity:0 Aristotle 3.28 0.23 0 0
150Lil Thug:0 Andrew Grasso 3.36 0.03 0 0
151Aaron H:0 Aristotle 3.46 0.11 0 0
152Lil Thug:1 Andrew Grasso 3.51 0.03 0 0
153Aaron H:1 Aristotle 3.53 0.11 0 0
154burrito:1 haoyu 3.73 0.10 0 0
155dfshasdsf12:1 Nihar the Great 3.74 0.11 0 0
156EC:0 haoyu 3.75 0.03 0 0
157Absurdity:1 Aristotle 3.78 0.18 0 0
158Valya Barboy:1 Shaheed Chagani 3.87 0.18 0 0
159Mr. Blobby:0 Green "The Bean" Choi 4.09 0.14 0 0
160NA:1 Elphaba 4.26 0.04 0 0
161Dusty:1 Shaheed Chagani 4.27 0.22 0 0
162CAPS LOCK:0 Aristotle 4.48 0.20 0 0
163John Whelchel:0 haoyu 4.50 0.06 0 0
164DinnerPartyPlannerBM:0 Aristotle 4.65 0.11 0 0
165nupog:0 Aristotle 5.11 0.13 0 0
166jabreezy:0 Mercury 5.22 0.09 0 0
167Andrew Werner:1 haoyu 5.47 0.11 0 0
168nupog:1 Aristotle 5.51 0.12 0 0
169jgs:1 haoyu 5.96 0.18 0 0
170jabreezy:1 Mercury 6.15 0.10 0 0
171John Whelchel:1 haoyu 6.27 0.11 0 0
172Bar Shabtai:1 haoyu 6.47 0.12 0 0
173jgs:0 Aristotle 7.00 0.12 0 0
174Andrew Werner:0 Aaron Doll 8.05 0.33 0 0
175CAPS LOCK:1 Aristotle 8.52 0.25 0 0
176ebp:0 haoyu 8.55 0.04 0 0
177Andys:0 Aristotle 8.80 0.12 0 0
178ebp:1 haoyu 8.82 0.04 0 0
179Fanny:1 Aristotle 9.04 0.12 0 0
180AFC:0 CookieMonster 11.00 0.34 0 0
181Elphaba:0 Aristotle 11.96 0.24 0 0
182Elphaba:1 Aristotle 12.64 0.22 0 0
183Mr. Blobby:1 dusty 14.69 0.12 0 0
184Brendan Wright:1 Deric Cheng 14.93 0.10 0 0
185Jessie Chen:0 Joel Faron 15.00 0.13 1 1
186Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
187Charliezsc:0 jgs 15.00 14.98 1 1
188Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
189Jessie Chen:1 Joel Faron 15.00 0.12 1 1
190Deric Cheng:1 jgs 15.00 14.98 1 1
191Deric Cheng:0 jgs 15.00 14.99 1 1
192DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1930108:0 jgs 15.00 14.98 1 1
194T. Capote:0 haoyu 15.00 0.00 2 2
195T. Capote:1 haoyu 15.00 0.00 2 2
196SuperFan:0 jgs 15.00 14.98 4 4
197SuperFan:1 jgs 15.00 14.98 4 4
198Supahaka:1 Joel Faron 15.00 15.00 35 35
199Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
200Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
201Dusty:0 CookieMonster 15.00 1.39 1 0
202Andrew Grasso:1 Shaheed Chagani 15.00 0.15 1 0
203CookieMonster:0 CookieMonster 15.00 0.82 1 0
204NA:0 haoyu 15.00 0.03 1 0
205CookieMonster:1 CookieMonster 15.00 1.10 1 0
206Walter Little:0 haoyu 15.00 0.04 2 0
207snowflakes:0 haoyu 15.00 0.03 2 0
208Ben Chen:0 Elphaba 15.00 0.07 2 0
209spl:0 Elphaba 15.00 0.09 2 0
210Walter Little:1 haoyu 15.00 0.03 2 0
211snowflakes:1 haoyu 15.00 0.03 2 0
212Yacob Y.:1 Aristotle 15.00 15.00 2 1
213spl:1 haoyu 15.00 0.06 3 0
214Shaheed Chagani:0 Aristotle 15.00 0.17 4 0
215Shaheed Chagani:1 Aristotle 15.00 0.11 4 0
216Andys:1 Aristotle 15.00 0.13 5 0
217Supahaka:0 Andrew Werner 15.00 15.00 37 35
218Nihar the Great:1 Aristotle 15.00 0.25 13946 0
219Aaron Doll:1 Aristotle 15.00 1.27 287891 0
22013a:1 Aaron Doll 15.00 15.00 2523 29
22113a:0 Aaron Doll 15.00 15.00 21247 21
222Nihar the Great:0 Aristotle 15.01 0.23 13151 0
223Matt Goldsmith:1 Happy 15.01 0.03 495078 0
224Bar Shabtai:0 Aaron Doll 15.02 15.01 269981 1
225Aaron Doll:0 Aristotle 15.03 0.56 213692 0
226Aristotle:0 Aristotle 15.03 15.00 737565 1
227Matt Goldsmith:0 Nihar the Great 15.03 0.03 497335 0
228Aristotle:1 Aristotle 15.06 9.69 743675 0


SatSolvers Ranklist Generators Ranklist