SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Tom T

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 Tom T 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 Tom T 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: Tom T
Rank: 105 / 118
Average Score: 26.30
Median Score: 12.54
Description: This SAT solver is a variant of WALKSAT. First, it tries to assign truth values to pure symbols. Then, it uses WALKSAT to solve the remaining literals.
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
3Ravi Tandon:1 KingBach 0.01 0.00 0 0
4Ravi Tandon:0 KingBach 0.01 0.00 0 0
5Bebe Shi:1 KingBach 0.01 0.00 0 0
6Bebe Shi:0 KingBach 0.02 0.00 0 0
7Jonathan Kwok:0 Elphaba 0.02 0.00 0 0
8Happy:1 KingBach 0.02 0.00 0 0
9Jonathan Kwok:1 KingBach 0.02 0.00 0 0
10BMJ:1 burrito 0.02 0.00 0 0
11Happy:0 haoyu 0.02 0.00 0 0
12K.L.:1 KingBach 0.02 0.00 0 0
13Joshua Zimmer:0 haoyu 0.03 0.00 0 0
14Gewang:0 Jonathan Kwok 0.03 0.00 0 0
15Gewang:1 Jonathan Kwok 0.03 0.00 0 0
16Solving For Clauses:0 Glenn Fisher 0.04 0.00 0 0
17R. A. B.:0 Nihar the Great 0.04 0.00 0 0
18Quite Satisfied:0 haoyu 0.04 0.00 0 0
19bchouGenerator:1 Jonathan Kwok 0.05 0.01 0 0
20David Paulk:1 Bar Shabtai 0.05 0.00 0 0
21BMJ:0 Elphaba 0.06 0.00 0 0
22Mike Honcho:0 Miranda 0.06 0.01 0 0
23bchouGenerator:0 haoyu 0.06 0.00 0 0
24Mickey Mouse:1 haoyu 0.07 0.01 0 0
25Mike Honcho:1 Jessie Chen 0.08 0.01 0 0
26K.L.:0 haoyu 0.08 0.00 0 0
27Blam:1 Elphaba 0.09 0.00 0 0
28Mickey Mouse:0 Bar Shabtai 0.09 0.01 0 0
29Tiny Wings:0 haoyu 0.09 0.02 0 0
30Joshua Zimmer:1 haoyu 0.09 0.00 0 0
31Tree Prophet:0 haoyu 0.11 0.00 0 0
32R. A. B.:1 cat 0.14 0.00 0 0
33Daffy Duck:1 haoyu 0.16 0.00 0 0
34haoyu:1 Anon5 0.17 0.01 0 0
35Jameh:1 haoyu 0.17 0.01 0 0
36Daffy Duck:0 Andrew Werner 0.18 0.00 0 0
37Blam:0 Elphaba 0.20 0.00 0 0
38Solving For Clauses:1 haoyu 0.23 0.00 0 0
390108:1 haoyu 0.23 0.01 0 0
40The Kraken:1 haoyu 0.24 0.00 0 0
41Tom T:0 EC 0.25 0.02 0 0
42Tree Prophet:1 haoyu 0.26 0.00 0 0
43The Kraken:0 haoyu 0.29 0.00 0 0
44Sunny:0 Green "The Bean" Choi 0.29 0.02 0 0
45Ytterbium:0 Andrew Grasso 0.31 0.02 0 0
46Miranda:1 cat 0.32 0.00 0 0
47Jameh:0 haoyu 0.36 0.01 0 0
48David Paulk:0 cat 0.37 0.00 0 0
49Miranda:0 cat 0.39 0.00 0 0
50Ytterbium:1 Nihar the Great 0.44 0.02 0 0
51haoyu:0 KingBach 0.44 0.01 0 0
52Jordan Ash:1 Bar Shabtai 0.59 0.01 0 0
53cat:1 haoyu 0.63 0.03 0 0
54cmF5a3ly:0 Nihar the Great 0.64 0.00 0 0
55AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.70 0.00 0 0
56David Lackey:1 Bar Shabtai 0.72 0.03 0 0
57Linda:0 Andrew Grasso 0.81 0.01 0 0
58DeeEmEm:1 haoyu 0.84 0.02 0 0
59Scheduling Generator 203:0 jgs 0.86 0.01 0 0
60Qinlan Shen:0 Bar Shabtai 0.93 0.01 0 0
61Alex Fish:0 haoyu 0.98 0.01 0 0
62kt4124:0 haoyu 1.00 0.03 0 0
63David Lackey:0 Anon5 1.03 0.03 0 0
64Brendan Wright:1 Deric Cheng 1.12 0.10 0 0
65Samuel Jerome:0 haoyu 1.14 0.03 0 0
66Boomshanka:0 haoyu 1.15 0.01 0 0
67weezy:0 Bar Shabtai 1.52 0.01 0 0
68weezy:1 Bar Shabtai 1.72 0.01 0 0
69Linda:1 Andrew Grasso 1.87 0.02 0 0
70Glenn Fisher:0 Elphaba 2.13 0.02 0 0
71Scheduling Generator 203:1 Jameh 2.21 0.02 0 0
72Jordan Ash:0 EC 2.50 0.03 0 0
73vluu:0 Nihar the Great 2.61 0.01 0 0
74vluu:1 Nihar the Great 2.68 0.02 0 0
75Yan Wu:0 haoyu 3.21 0.05 0 0
76Keji Xu:0 Nihar the Great 3.44 0.03 0 0
77Keji Xu:1 Nihar the Great 3.44 0.04 0 0
78Samuel Jerome:1 haoyu 3.45 0.03 0 0
79Boomshanka:1 Bar Shabtai 3.54 0.01 0 0
80Nikhilesh Sigatapu:1 haoyu 3.79 0.04 0 0
81Tom T:1 Andrew Werner 4.35 0.02 0 0
82The Whitman Whale:0 bigwig 4.39 0.04 0 0
83kt4124:1 haoyu 4.55 0.04 0 0
84Sunny:1 jabreezy 4.67 0.01 0 0
85Alex Fish:1 haoyu 4.72 0.02 0 0
86Nikhilesh Sigatapu:0 haoyu 4.83 0.03 0 0
87cat:0 haoyu 5.05 0.03 0 0
88The Whitman Whale:1 Andrew Grasso 5.18 0.03 0 0
89KingBach:1 haoyu 5.35 0.04 0 0
90totallyOnFallBreak:0 Nikhilesh Sigatapu 5.52 0.01 0 0
91Tao:0 Bar Shabtai 5.64 0.02 0 0
92Janie Gu:0 Glenn Fisher 5.92 0.07 0 0
93totallyOnFallBreak:1 Nikhilesh Sigatapu 5.99 0.01 0 0
94Tiny Wings:1 haoyu 6.71 0.01 0 0
95Janie Gu:1 Jonathan Kwok 7.12 0.07 0 0
96AARON BURR, DROPPIN' HAMILTONS:1 haoyu 7.74 0.01 0 0
97Sally Smith:1 haoyu 7.75 0.04 0 0
98George Okeowo:1 Andrew Grasso 7.78 0.01 0 0
99Lisa Kim:0 Aristotle 8.03 0.07 0 0
100Sprt:0 Aristotle 8.82 0.11 0 0
101Tao:1 Aristotle 9.19 0.07 0 0
102bfang:0 haoyu 9.96 0.04 0 0
103Lisa Kim:1 Bar Shabtai 10.26 0.06 0 0
104Lil Thug:1 Andrew Grasso 11.42 0.03 0 0
105bfang:1 haoyu 12.42 0.04 0 0
106Mercury:0 haoyu 12.65 0.05 0 0
107Bob Dondero:1 Mickey Mouse 12.90 0.03 0 0
108Yan Wu:1 haoyu 13.67 0.04 0 0
109Sabar Dasgupta:1 Aaron Doll 14.88 0.17 0 0
110Glenn Fisher:1 jabreezy 15.14 0.09 3 0
111T. Capote:1 haoyu 15.15 0.00 2 2
112soccer:1 haoyu 15.20 0.04 1 0
113cmF5a3ly:1 Nihar the Great 15.22 0.00 1 0
114Khoa:0 haoyu 15.46 0.09 1 0
115Valya Barboy:1 Shaheed Chagani 15.47 0.18 2 0
116jabreezy:1 Mercury 15.56 0.10 5 0
117T. Capote:0 haoyu 15.58 0.00 2 2
118Anon_K_P:0 haoyu 15.59 0.02 2 0
119Jessie Chen:0 Joel Faron 15.65 0.13 1 1
120ebp:1 haoyu 15.68 0.04 11 0
121Mr. Blobby:1 dusty 15.69 0.12 7 0
122Dusty:1 Shaheed Chagani 15.91 0.22 22 0
123DeeEmEm:0 CAPS LOCK 15.94 13.00 1 1
124ebp:0 haoyu 15.97 0.04 3 0
125Jessie Chen:1 Joel Faron 16.12 0.12 1 1
126Supahaka:1 Joel Faron 16.12 15.00 39 35
127Mr. Blobby:0 Green "The Bean" Choi 16.12 0.14 11 0
128Batman:1 haoyu 16.17 0.04 0 0
129Sally Smith:0 haoyu 16.22 0.04 42 0
130SuperFan:0 jgs 16.31 14.98 5 4
131SuperFan:1 jgs 16.71 14.98 4 4
132Supahaka:0 Andrew Werner 16.75 15.00 40 35
133jabreezy:0 Mercury 16.79 0.09 13 0
134Dusty:0 CookieMonster 16.92 1.39 23 0
135Mark S. Fillmore:1 Supahaka 17.14 0.04 79 79
136Mark S. Fillmore:0 Supahaka 17.50 0.01 116 116
137snowflakes:1 haoyu 17.91 0.03 33 0
138Mercury:1 haoyu 18.16 0.05 0 0
139Anon5:0 haoyu 18.25 0.05 5 0
140snowflakes:0 haoyu 18.31 0.03 22 0
141Andrew Grasso:1 Shaheed Chagani 18.35 0.15 18 0
142Quite Satisfied:1 Joel Faron 18.37 2.11 1 1
143soccer:0 haoyu 18.42 0.04 2 0
144Andrew Grasso:0 Aaron Doll 18.51 0.18 17 0
1450108:0 jgs 18.56 14.98 1 1
146Qinlan Shen:1 R. A. B. 18.59 9.00 1 1
147Khoa:1 Aristotle 18.92 0.09 0 0
148Fanny:0 Aristotle 19.12 0.10 1 0
149Anon5:1 Green "The Bean" Choi 19.30 0.07 2 0
150Matt Haake:0 haoyu 21.97 0.05 3 0
151Matt Haake:1 haoyu 22.18 0.05 5 0
152David H.:1 DeeEmEm 22.56 0.33 2 0
153Mike Hunt:1 Aristotle 22.60 0.29 0 0
154Valya Barboy:0 Aristotle 23.17 0.06 2 0
155George Okeowo:0 Andrew Grasso 23.32 0.01 81 0
156burrito:0 haoyu 23.51 0.09 1260 0
157dfshasdsf12:0 haoyu 23.68 0.09 77 0
158NA:1 Elphaba 24.60 0.04 16 0
159NA:0 haoyu 24.60 0.03 20 0
160Sprt:1 haoyu 24.80 0.05 1 0
161Anon_K_P:1 Aristotle 24.86 0.03 1 0
162David H.:0 AFC 25.07 0.28 4 0
163Batman:0 haoyu 25.66 0.04 0 0
164DinnerPartyPlannerBM:0 Aristotle 26.35 0.11 0 0
165EC:1 haoyu 26.52 0.03 2 0
166Aaron H:1 Aristotle 26.74 0.11 90 0
167DinnerPartyPlannerBM:1 Nihar the Great 26.94 0.06 46 0
168EC:0 haoyu 27.16 0.03 2 0
169John Whelchel:0 haoyu 27.25 0.06 40 0
170John Whelchel:1 haoyu 27.82 0.11 40 0
171BH:0 haoyu 27.90 0.07 0 0
172Dr Roberto:1 Andrew Grasso 28.32 0.02 6 0
173Fanny:1 Aristotle 29.23 0.12 1 0
174Walter Little:1 haoyu 29.68 0.03 7 0
175Walter Little:0 haoyu 29.79 0.04 11 0
176AFC:0 CookieMonster 29.80 0.34 5 0
177nupog:1 Aristotle 30.93 0.12 1 0
178Ben Chen:1 spl 30.99 0.20 8 0
179Ben Chen:0 Elphaba 31.21 0.07 6 0
180CookieMonster:1 CookieMonster 31.83 1.10 1 0
181nupog:0 Aristotle 32.11 0.13 0 0
182Andys:0 Aristotle 32.51 0.12 35 0
183spl:1 haoyu 32.55 0.06 5 0
184spl:0 Elphaba 32.80 0.09 7 0
185AFC:1 Aristotle 33.07 0.16 6 0
186Absurdity:1 Aristotle 33.31 0.18 8 0
187Lil Thug:0 Andrew Grasso 33.68 0.03 26 0
188Aaron H:0 Aristotle 33.98 0.11 90 0
189KingBach:0 haoyu 35.34 0.06 1 0
190Absurdity:0 Aristotle 35.51 0.23 3 0
191Andys:1 Aristotle 35.53 0.13 35 0
192CookieMonster:0 CookieMonster 35.99 0.82 1 0
193Charliezsc:0 jgs 38.86 14.98 2 1
194Shaheed Chagani:0 Aristotle 39.55 0.17 500 0
195Dr Roberto:0 Andrew Grasso 41.52 0.03 3 0
196Shaheed Chagani:1 Aristotle 42.93 0.11 500 0
197BH:1 haoyu 46.00 0.05 82 0
198burrito:1 haoyu 50.30 0.10 1892 0
199dfshasdsf12:1 Nihar the Great 51.24 0.11 93 0
200Andrew Werner:0 Aaron Doll 60.82 0.33 1 0
201Deric Cheng:0 jgs 62.46 14.99 45 1
202Deric Cheng:1 jgs 66.07 14.98 45 1
203Charliezsc:1 haoyu 67.06 0.07 1 0
204Sabar Dasgupta:0 spl 67.64 0.23 1 0
205Bar Shabtai:1 haoyu 71.09 0.12 35 0
206jgs:1 haoyu 74.09 0.18 110 0
207Andrew Werner:1 haoyu 79.78 0.11 1 0
208jgs:0 Aristotle 83.55 0.12 110 0
209Yacob Y.:0 haoyu 86.92 0.06 1 0
210Brendan Wright:0 haoyu 110.01 0.10 40 0
211Yacob Y.:1 Aristotle 119.69 15.00 13 1
212Elphaba:1 Aristotle - 0.22 - 0
213Matt Goldsmith:0 Nihar the Great - 0.03 - 0
214Aristotle:1 Aristotle - 9.69 - 0
215Mike Hunt:0 Aristotle - 0.27 - 0
216Aaron Doll:0 Aristotle - 0.56 - 0
21713a:0 Aaron Doll - 15.00 - 21
218Elphaba:0 Aristotle - 0.24 - 0
219Aaron Doll:1 Aristotle - 1.27 - 0
220Nihar the Great:0 Aristotle - 0.23 - 0
221CAPS LOCK:1 Aristotle - 0.25 - 0
222Bob Dondero:0 Andrew Grasso - 0.02 - 0
223Bar Shabtai:0 Aaron Doll - 15.01 - 1
224Aristotle:0 Aristotle - 15.00 - 1
22513a:1 Aaron Doll - 15.00 - 29
226Nihar the Great:1 Aristotle - 0.25 - 0
227CAPS LOCK:0 Aristotle - 0.20 - 0
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist