SatSolvers Ranklist Generators Ranklist

Stats for satsolver: TSATTER

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 TSATTER 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 TSATTER 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: TSATTER
Rank: 103 / 118
Average Score: 21.52
Median Score: 15.03
Description: This algorithm implements...
Generator Best solver Time taken Best time Unsat Best unsat
1Mike Honcho:0 Miranda 0.01 0.01 0 0
2Ravi Tandon:0 KingBach 0.02 0.00 0 0
3Mike Honcho:1 Jessie Chen 0.02 0.01 0 0
4bigwig:1 KingBach 0.05 0.00 0 0
5bigwig:0 Andrew Werner 0.14 0.00 0 0
6Ravi Tandon:1 KingBach 0.21 0.00 0 0
7BMJ:1 burrito 15.00 0.00 23 0
8K.L.:1 KingBach 15.00 0.00 31 0
9Happy:1 KingBach 15.00 0.00 31 0
10BMJ:0 Elphaba 15.00 0.00 33 0
11K.L.:0 haoyu 15.00 0.00 33 0
12Solving For Clauses:1 haoyu 15.00 0.00 39 0
13T. Capote:0 haoyu 15.00 0.00 41 2
14T. Capote:1 haoyu 15.00 0.00 42 2
15Jonathan Kwok:1 KingBach 15.00 0.00 44 0
16Bebe Shi:0 KingBach 15.00 0.00 44 0
17Solving For Clauses:0 Glenn Fisher 15.00 0.00 45 0
18Bebe Shi:1 KingBach 15.00 0.00 45 0
19R. A. B.:1 cat 15.00 0.00 47 0
20Happy:0 haoyu 15.00 0.00 51 0
21Joshua Zimmer:1 haoyu 15.00 0.00 54 0
22Joshua Zimmer:0 haoyu 15.00 0.00 55 0
23Daffy Duck:1 haoyu 15.00 0.00 61 0
24Blam:1 Elphaba 15.00 0.00 63 0
25Jonathan Kwok:0 Elphaba 15.00 0.00 63 0
26Tree Prophet:0 haoyu 15.00 0.00 82 0
27Blam:0 Elphaba 15.00 0.00 84 0
28haoyu:0 KingBach 15.00 0.01 95 0
29haoyu:1 Anon5 15.00 0.01 98 0
30Tree Prophet:1 haoyu 15.00 0.00 100 0
31Daffy Duck:0 Andrew Werner 15.00 0.00 107 0
32Miranda:1 cat 15.00 0.00 109 0
33Miranda:0 cat 15.00 0.00 117 0
34Jessie Chen:1 Joel Faron 15.00 0.12 124 1
35Sunny:1 jabreezy 15.00 0.01 126 0
36cmF5a3ly:1 Nihar the Great 15.00 0.00 135 0
37Jessie Chen:0 Joel Faron 15.00 0.13 138 1
38The Kraken:0 haoyu 15.00 0.00 153 0
39bchouGenerator:1 Jonathan Kwok 15.00 0.01 192 0
40SuperFan:1 jgs 15.00 14.98 203 4
41Supahaka:1 Joel Faron 15.00 15.00 229 35
42AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 271 0
43Quite Satisfied:0 haoyu 15.00 0.00 297 0
44Jameh:0 haoyu 15.00 0.01 429 0
45Gewang:1 Jonathan Kwok 15.00 0.00 498 0
460108:1 haoyu 15.00 0.01 538 0
47Keji Xu:1 Nihar the Great 15.00 0.04 1241 0
48Alex Fish:0 haoyu 15.00 0.01 2030 0
49Sunny:0 Green "The Bean" Choi 15.00 0.02 140 0
50R. A. B.:0 Nihar the Great 15.00 0.00 147 0
51David Paulk:0 cat 15.00 0.00 184 0
52SuperFan:0 jgs 15.00 14.98 200 4
53The Kraken:1 haoyu 15.00 0.00 250 0
54bchouGenerator:0 haoyu 15.00 0.00 289 0
55Quite Satisfied:1 Joel Faron 15.00 2.11 346 1
56Scheduling Generator 203:0 jgs 15.00 0.01 961 0
57Janie Gu:0 Glenn Fisher 15.00 0.07 59 0
58AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 233 0
59Jordan Ash:1 Bar Shabtai 15.00 0.01 307 0
60Gewang:0 Jonathan Kwok 15.00 0.00 428 0
61Samuel Jerome:0 haoyu 15.00 0.03 3659 0
62David Paulk:1 Bar Shabtai 15.00 0.00 203 0
63DeeEmEm:1 haoyu 15.00 0.02 428 0
64Qinlan Shen:1 R. A. B. 15.00 9.00 449 1
65Qinlan Shen:0 Bar Shabtai 15.00 0.01 513 0
66Dr Roberto:0 Andrew Grasso 15.01 0.03 789 0
67Mickey Mouse:1 haoyu 15.01 0.01 1122 0
68weezy:1 Bar Shabtai 15.01 0.01 1389 0
69Alex Fish:1 haoyu 15.01 0.02 1544 0
70AFC:0 CookieMonster 15.01 0.34 5575 0
71Walter Little:1 haoyu 15.01 0.03 5801 0
72Valya Barboy:0 Aristotle 15.01 0.06 1092 0
73weezy:0 Bar Shabtai 15.01 0.01 1522 0
74kt4124:0 haoyu 15.01 0.03 1660 0
75Yan Wu:1 haoyu 15.01 0.04 6612 0
76DeeEmEm:0 CAPS LOCK 15.01 13.00 478 1
77Yacob Y.:1 Aristotle 15.01 15.00 12532 1
78Jameh:1 haoyu 15.01 0.01 743 0
79Tiny Wings:1 haoyu 15.01 0.01 1871 0
80Tom T:1 Andrew Werner 15.01 0.02 464 0
81Nikhilesh Sigatapu:1 haoyu 15.01 0.04 2667 0
82Dr Roberto:1 Andrew Grasso 15.01 0.02 685 0
83Andrew Grasso:1 Shaheed Chagani 15.01 0.15 770 0
84The Whitman Whale:1 Andrew Grasso 15.01 0.03 1740 0
85Ytterbium:0 Andrew Grasso 15.01 0.02 2147 0
86soccer:1 haoyu 15.01 0.04 7794 0
87Jordan Ash:0 EC 15.01 0.03 842 0
88Mickey Mouse:0 Bar Shabtai 15.01 0.01 1053 0
89The Whitman Whale:0 bigwig 15.01 0.04 1919 0
900108:0 jgs 15.02 14.98 1020 1
91David H.:0 AFC 15.02 0.28 1546 0
92Tom T:0 EC 15.02 0.02 106 0
93Tao:1 Aristotle 15.02 0.07 1976 0
94Tao:0 Bar Shabtai 15.02 0.02 2156 0
95Supahaka:0 Andrew Werner 15.02 15.00 190 35
96Khoa:0 haoyu 15.02 0.09 8162 0
97Boomshanka:0 haoyu 15.02 0.01 503 0
98Ytterbium:1 Nihar the Great 15.02 0.02 5014 0
99Fanny:0 Aristotle 15.02 0.10 1819 0
100EC:0 haoyu 15.02 0.03 4195 0
101David Lackey:0 Anon5 15.02 0.03 158 0
102cmF5a3ly:0 Nihar the Great 15.02 0.00 147 0
103David Lackey:1 Bar Shabtai 15.02 0.03 311 0
104cat:0 haoyu 15.02 0.03 2231 0
105spl:1 haoyu 15.02 0.06 4664 0
106Anon5:1 Green "The Bean" Choi 15.03 0.07 1279 0
107Keji Xu:0 Nihar the Great 15.03 0.03 1330 0
108Scheduling Generator 203:1 Jameh 15.03 0.02 1210 0
109David H.:1 DeeEmEm 15.03 0.33 1641 0
110Boomshanka:1 Bar Shabtai 15.03 0.01 417 0
111Nikhilesh Sigatapu:0 haoyu 15.03 0.03 2796 0
112Dusty:1 Shaheed Chagani 15.03 0.22 721 0
113Matt Haake:1 haoyu 15.03 0.05 1662 0
114Tiny Wings:0 haoyu 15.03 0.02 1860 0
115Dusty:0 CookieMonster 15.03 1.39 721 0
116Valya Barboy:1 Shaheed Chagani 15.03 0.18 1107 0
117Andrew Grasso:0 Aaron Doll 15.04 0.18 773 0
118Anon_K_P:1 Aristotle 15.04 0.03 1521 0
119Janie Gu:1 Jonathan Kwok 15.04 0.07 74 0
120vluu:1 Nihar the Great 15.04 0.02 1949 0
121Sally Smith:0 haoyu 15.04 0.04 3681 0
122CookieMonster:0 CookieMonster 15.04 0.82 4203 0
123kt4124:1 haoyu 15.04 0.04 1805 0
124Fanny:1 Aristotle 15.04 0.12 2303 0
125Anon5:0 haoyu 15.04 0.05 2254 0
126Brendan Wright:1 Deric Cheng 15.05 0.10 105 0
127Anon_K_P:0 haoyu 15.05 0.02 2097 0
128vluu:0 Nihar the Great 15.06 0.01 1961 0
129Sally Smith:1 haoyu 15.06 0.04 3518 0
130NA:0 haoyu 15.06 0.03 1930 0
131EC:1 haoyu 15.06 0.03 4045 0
132cat:1 haoyu 15.07 0.03 2272 0
133snowflakes:0 haoyu 15.08 0.03 2739 0
134Samuel Jerome:1 haoyu 15.08 0.03 3575 0
135Brendan Wright:0 haoyu 15.08 0.10 113 0
136Matt Haake:0 haoyu 15.08 0.05 1751 0
137CookieMonster:1 CookieMonster 15.08 1.10 3934 0
138Walter Little:0 haoyu 15.09 0.04 5086 0
139Mark S. Fillmore:1 Supahaka 15.09 0.04 777 79
140Ben Chen:1 spl 15.10 0.20 6106 0
141NA:1 Elphaba 15.11 0.04 1879 0
142Linda:0 Andrew Grasso 15.12 0.01 4017 0
143AFC:1 Aristotle 15.12 0.16 4757 0
144Bob Dondero:1 Mickey Mouse 15.12 0.03 8008 0
145KingBach:0 haoyu 15.12 0.06 12127 0
146Linda:1 Andrew Grasso 15.14 0.02 6754 0
147Yan Wu:0 haoyu 15.14 0.05 7948 0
148Mark S. Fillmore:0 Supahaka 15.14 0.01 1355 116
149Ben Chen:0 Elphaba 15.14 0.07 6176 0
150Mercury:0 haoyu 15.14 0.05 7702 0
151Glenn Fisher:1 jabreezy 15.14 0.09 2852 0
152Glenn Fisher:0 Elphaba 15.15 0.02 2869 0
153George Okeowo:0 Andrew Grasso 15.15 0.01 4446 0
154jabreezy:0 Mercury 15.15 0.09 6435 0
155Bob Dondero:0 Andrew Grasso 15.17 0.02 18564 0
156Andys:0 Aristotle 15.19 0.12 30611 0
157bfang:1 haoyu 15.19 0.04 8258 0
158Mr. Blobby:1 dusty 15.20 0.12 2992 0
159snowflakes:1 haoyu 15.20 0.03 3079 0
160Lisa Kim:1 Bar Shabtai 15.24 0.06 4667 0
161Mr. Blobby:0 Green "The Bean" Choi 15.24 0.14 3044 0
162Lisa Kim:0 Aristotle 15.26 0.07 5477 0
163soccer:0 haoyu 15.29 0.04 7153 0
164jabreezy:1 Mercury 15.30 0.10 6011 0
165totallyOnFallBreak:0 Nikhilesh Sigatapu 15.35 0.01 3199 0
166Shaheed Chagani:0 Aristotle 15.41 0.17 35130 0
167Absurdity:0 Aristotle 15.41 0.23 9970 0
168bfang:0 haoyu 15.42 0.04 8035 0
169Mercury:1 haoyu 15.42 0.05 7486 0
170Batman:1 haoyu 15.44 0.04 10950 0
171Batman:0 haoyu 15.47 0.04 10175 0
172ebp:1 haoyu 15.50 0.04 7883 0
173Yacob Y.:0 haoyu 15.54 0.06 10343 0
174spl:0 Elphaba 15.55 0.09 4258 0
175George Okeowo:1 Andrew Grasso 15.57 0.01 4318 0
176Sabar Dasgupta:1 Aaron Doll 15.78 0.17 15207 0
177Charliezsc:1 haoyu 15.85 0.07 14729 0
178KingBach:1 haoyu 15.86 0.04 11641 0
179Sprt:1 haoyu 15.90 0.05 12235 0
180Charliezsc:0 jgs 16.08 14.98 12060 1
181Absurdity:1 Aristotle 16.13 0.18 10688 0
182Mike Hunt:0 Aristotle 16.32 0.27 24534 0
183ebp:0 haoyu 16.41 0.04 8516 0
184Khoa:1 Aristotle 16.45 0.09 7791 0
185burrito:1 haoyu 16.53 0.10 43936 0
186Sabar Dasgupta:0 spl 16.59 0.23 13423 0
187burrito:0 haoyu 17.17 0.09 23316 0
188totallyOnFallBreak:1 Nikhilesh Sigatapu 17.52 0.01 3072 0
189Aaron H:0 Aristotle 17.62 0.11 27662 0
190BH:1 haoyu 17.77 0.05 21242 0
191DinnerPartyPlannerBM:0 Aristotle 18.01 0.11 44810 0
192DinnerPartyPlannerBM:1 Nihar the Great 18.03 0.06 25747 0
193John Whelchel:1 haoyu 18.22 0.11 31889 0
194John Whelchel:0 haoyu 18.24 0.06 29776 0
195jgs:1 haoyu 18.53 0.18 58208 0
196Lil Thug:0 Andrew Grasso 18.53 0.03 33894 0
197Andys:1 Aristotle 18.54 0.13 29578 0
198Lil Thug:1 Andrew Grasso 18.68 0.03 30256 0
199nupog:1 Aristotle 18.78 0.12 5008 0
200Andrew Werner:1 haoyu 19.08 0.11 30702 0
201Aaron H:1 Aristotle 19.40 0.11 28000 0
202dfshasdsf12:0 haoyu 20.09 0.09 22915 0
203Mike Hunt:1 Aristotle 20.36 0.29 23641 0
204BH:0 haoyu 21.46 0.07 19971 0
205Andrew Werner:0 Aaron Doll 21.62 0.33 30139 0
206Sprt:0 Aristotle 21.98 0.11 27115 0
207Deric Cheng:1 jgs 22.71 14.98 57502 1
208Bar Shabtai:1 haoyu 23.18 0.12 51709 0
209Deric Cheng:0 jgs 24.86 14.99 57798 1
210CAPS LOCK:0 Aristotle 25.85 0.20 45379 0
211Elphaba:1 Aristotle 26.14 0.22 107445 0
212Elphaba:0 Aristotle 26.21 0.24 104592 0
213dfshasdsf12:1 Nihar the Great 27.85 0.11 34634 0
214jgs:0 Aristotle 28.97 0.12 57148 0
215Shaheed Chagani:1 Aristotle 33.76 0.11 34108 0
216nupog:0 Aristotle 37.96 0.13 5074 0
217CAPS LOCK:1 Aristotle 39.26 0.25 71417 0
21813a:0 Aaron Doll 82.98 15.00 123995 21
21913a:1 Aaron Doll 84.55 15.00 119765 29
220Nihar the Great:1 Aristotle 117.92 0.25 200875 0
221Matt Goldsmith:0 Nihar the Great - 0.03 - 0
222Aristotle:1 Aristotle - 9.69 - 0
223Aaron Doll:0 Aristotle - 0.56 - 0
224Aaron Doll:1 Aristotle - 1.27 - 0
225Nihar the Great:0 Aristotle - 0.23 - 0
226Bar Shabtai:0 Aaron Doll - 15.01 - 1
227Aristotle:0 Aristotle - 15.00 - 1
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist