SatSolvers Ranklist Generators Ranklist

Stats for satsolver: cjt

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 cjt 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 cjt 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: cjt
Rank: 104 / 118
Average Score: 23.72
Median Score: 22.50
Description: This sat-solver generates models using the WalkSat algorithm.
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
5K.L.:1 KingBach 0.01 0.00 0 0
6Solving For Clauses:1 haoyu 0.02 0.00 0 0
7Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
8Bebe Shi:1 KingBach 0.02 0.00 0 0
9BMJ:1 burrito 0.02 0.00 0 0
10Bebe Shi:0 KingBach 0.02 0.00 0 0
11Miranda:0 cat 0.02 0.00 0 0
12Happy:0 haoyu 0.02 0.00 0 0
13K.L.:0 haoyu 0.03 0.00 0 0
14Joshua Zimmer:0 haoyu 0.03 0.00 0 0
15bchouGenerator:1 Jonathan Kwok 0.03 0.01 0 0
16Miranda:1 cat 0.03 0.00 0 0
17Joshua Zimmer:1 haoyu 0.03 0.00 0 0
18Happy:1 KingBach 0.03 0.00 0 0
19BMJ:0 Elphaba 0.04 0.00 0 0
20R. A. B.:1 cat 0.04 0.00 0 0
21Gewang:0 Jonathan Kwok 0.04 0.00 0 0
22Jonathan Kwok:1 KingBach 0.05 0.00 0 0
23Quite Satisfied:0 haoyu 0.06 0.00 0 0
24bchouGenerator:0 haoyu 0.06 0.00 0 0
25Jonathan Kwok:0 Elphaba 0.06 0.00 0 0
26Blam:1 Elphaba 0.07 0.00 0 0
27haoyu:0 KingBach 0.09 0.01 0 0
28Scheduling Generator 203:0 jgs 0.09 0.01 0 0
29Daffy Duck:1 haoyu 0.09 0.00 0 0
30Gewang:1 Jonathan Kwok 0.10 0.00 0 0
31haoyu:1 Anon5 0.10 0.01 0 0
32Blam:0 Elphaba 0.12 0.00 0 0
33Daffy Duck:0 Andrew Werner 0.15 0.00 0 0
34David Paulk:1 Bar Shabtai 0.15 0.00 0 0
35David Paulk:0 cat 0.15 0.00 0 0
36The Kraken:1 haoyu 0.16 0.00 0 0
37Tree Prophet:0 haoyu 0.17 0.00 0 0
38Jordan Ash:1 Bar Shabtai 0.18 0.01 0 0
39The Kraken:0 haoyu 0.18 0.00 0 0
40Tom T:0 EC 0.20 0.02 0 0
41Tom T:1 Andrew Werner 0.22 0.02 0 0
42Qinlan Shen:0 Bar Shabtai 0.27 0.01 0 0
43Scheduling Generator 203:1 Jameh 0.28 0.02 0 0
44Boomshanka:0 haoyu 0.29 0.01 0 0
45Sunny:1 jabreezy 0.31 0.01 0 0
46Tree Prophet:1 haoyu 0.31 0.00 0 0
47R. A. B.:0 Nihar the Great 0.34 0.00 0 0
48Mickey Mouse:0 Bar Shabtai 0.43 0.01 0 0
49weezy:0 Bar Shabtai 0.48 0.01 0 0
50weezy:1 Bar Shabtai 0.53 0.01 0 0
51Mickey Mouse:1 haoyu 0.56 0.01 0 0
52Tiny Wings:1 haoyu 0.72 0.01 0 0
53cmF5a3ly:1 Nihar the Great 0.85 0.00 0 0
54Bob Dondero:0 Andrew Grasso 1.01 0.02 0 0
55Bob Dondero:1 Mickey Mouse 1.17 0.03 0 0
56cmF5a3ly:0 Nihar the Great 1.35 0.00 0 0
57Jameh:0 haoyu 1.57 0.01 0 0
58Dr Roberto:0 Andrew Grasso 2.56 0.03 0 0
59Linda:0 Andrew Grasso 3.12 0.01 0 0
60Mike Honcho:0 Miranda 3.32 0.01 0 0
61Ytterbium:0 Andrew Grasso 3.50 0.02 0 0
62Tiny Wings:0 haoyu 3.54 0.02 0 0
63Boomshanka:1 Bar Shabtai 3.55 0.01 0 0
64Linda:1 Andrew Grasso 3.70 0.02 0 0
65The Whitman Whale:1 Andrew Grasso 4.15 0.03 0 0
66vluu:0 Nihar the Great 4.24 0.01 0 0
67Mike Honcho:1 Jessie Chen 4.31 0.01 0 0
68cat:0 haoyu 4.48 0.03 0 0
69vluu:1 Nihar the Great 4.63 0.02 0 0
70cat:1 haoyu 6.02 0.03 0 0
71Sunny:0 Green "The Bean" Choi 6.37 0.02 0 0
72Jameh:1 haoyu 8.43 0.01 0 0
73Alex Fish:0 haoyu 8.52 0.01 0 0
74DeeEmEm:1 haoyu 11.47 0.02 0 0
75Janie Gu:1 Jonathan Kwok 12.05 0.07 0 0
76Keji Xu:1 Nihar the Great 12.63 0.04 0 0
77Ytterbium:1 Nihar the Great 13.65 0.02 0 0
780108:1 haoyu 14.95 0.01 0 0
79The Whitman Whale:0 bigwig 15.31 0.04 0 0
80Quite Satisfied:1 Joel Faron 15.54 2.11 6 1
81Janie Gu:0 Glenn Fisher 15.62 0.07 0 0
82Jessie Chen:0 Joel Faron 15.64 0.13 6 1
83SuperFan:0 jgs 16.26 14.98 25 4
84SuperFan:1 jgs 16.43 14.98 24 4
85AARON BURR, DROPPIN' HAMILTONS:0 haoyu 17.05 0.00 7 0
86AARON BURR, DROPPIN' HAMILTONS:1 haoyu 17.53 0.01 9 0
87DeeEmEm:0 CAPS LOCK 19.39 13.00 7 1
88David H.:0 AFC 19.85 0.28 18 0
89Jordan Ash:0 EC 20.23 0.03 15 0
90Alex Fish:1 haoyu 21.13 0.02 7 0
91David H.:1 DeeEmEm 21.70 0.33 20 0
92Tao:1 Aristotle 22.50 0.07 6 0
93Brendan Wright:1 Deric Cheng 22.50 0.10 6 0
94totallyOnFallBreak:0 Nikhilesh Sigatapu 22.50 0.01 6 0
95Lisa Kim:0 Aristotle 22.50 0.07 7 0
96Lisa Kim:1 Bar Shabtai 22.50 0.06 8 0
97Keji Xu:0 Nihar the Great 22.50 0.03 8 0
98Sally Smith:1 haoyu 22.50 0.04 8 0
99Sally Smith:0 haoyu 22.50 0.04 9 0
1000108:0 jgs 22.50 14.98 11 1
101Tao:0 Bar Shabtai 22.50 0.02 13 0
102Anon5:0 haoyu 22.50 0.05 15 0
103Valya Barboy:1 Shaheed Chagani 22.50 0.18 16 0
104Anon_K_P:1 Aristotle 22.50 0.03 16 0
105Valya Barboy:0 Aristotle 22.50 0.06 16 0
106Nikhilesh Sigatapu:0 haoyu 22.50 0.03 17 0
107Anon_K_P:0 haoyu 22.50 0.02 18 0
108totallyOnFallBreak:1 Nikhilesh Sigatapu 22.50 0.01 18 0
109Nikhilesh Sigatapu:1 haoyu 22.50 0.04 18 0
110Samuel Jerome:0 haoyu 22.50 0.03 19 0
111EC:1 haoyu 22.50 0.03 21 0
112CookieMonster:0 CookieMonster 22.50 0.82 21 0
113Anon5:1 Green "The Bean" Choi 22.50 0.07 23 0
114CookieMonster:1 CookieMonster 22.50 1.10 23 0
115EC:0 haoyu 22.50 0.03 29 0
116AFC:1 Aristotle 22.50 0.16 31 0
117AFC:0 CookieMonster 22.50 0.34 34 0
118Mercury:1 haoyu 22.50 0.05 43 0
119Andrew Grasso:0 Aaron Doll 22.50 0.18 44 0
120Dusty:1 Shaheed Chagani 22.50 0.22 46 0
121Mr. Blobby:0 Green "The Bean" Choi 22.50 0.14 48 0
122Glenn Fisher:0 Elphaba 22.50 0.02 49 0
123Yan Wu:1 haoyu 22.50 0.04 49 0
124Samuel Jerome:1 haoyu 22.50 0.03 50 0
125Andrew Grasso:1 Shaheed Chagani 22.50 0.15 50 0
126Supahaka:0 Andrew Werner 22.50 15.00 50 35
127Fanny:1 Aristotle 22.50 0.12 50 0
128Supahaka:1 Joel Faron 22.50 15.00 52 35
129Dusty:0 CookieMonster 22.50 1.39 55 0
130Fanny:0 Aristotle 22.50 0.10 58 0
131Mr. Blobby:1 dusty 22.50 0.12 59 0
132Ben Chen:0 Elphaba 22.50 0.07 61 0
133Yan Wu:0 haoyu 22.50 0.05 71 0
134Ben Chen:1 spl 22.50 0.20 71 0
135Walter Little:1 haoyu 22.50 0.03 73 0
136Walter Little:0 haoyu 22.50 0.04 74 0
137Glenn Fisher:1 jabreezy 22.50 0.09 74 0
138Mark S. Fillmore:1 Supahaka 22.50 0.04 81 79
139David Lackey:1 Bar Shabtai 22.50 0.03 81 0
140David Lackey:0 Anon5 22.50 0.03 85 0
141NA:1 Elphaba 22.50 0.04 98 0
142kt4124:1 haoyu 22.50 0.04 108 0
143NA:0 haoyu 22.50 0.03 114 0
144Matt Haake:1 haoyu 22.50 0.05 116 0
145Matt Haake:0 haoyu 22.50 0.05 123 0
146snowflakes:0 haoyu 22.50 0.03 133 0
147Mercury:0 haoyu 22.50 0.05 137 0
148kt4124:0 haoyu 22.50 0.03 145 0
149snowflakes:1 haoyu 22.50 0.03 149 0
150George Okeowo:0 Andrew Grasso 22.50 0.01 896 0
151Mark S. Fillmore:0 Supahaka 22.50 0.01 1012 116
152George Okeowo:1 Andrew Grasso 22.50 0.01 1017 0
153spl:0 Elphaba 22.50 0.09 1637 0
154bfang:0 haoyu 22.50 0.04 1902 0
155spl:1 haoyu 22.50 0.06 2097 0
156soccer:0 haoyu 22.50 0.04 2452 0
157bfang:1 haoyu 22.50 0.04 2478 0
158jabreezy:1 Mercury 22.50 0.10 2652 0
159jabreezy:0 Mercury 22.50 0.09 2710 0
160soccer:1 haoyu 22.50 0.04 2874 0
161Yacob Y.:0 haoyu 22.50 0.06 5240 0
162Batman:1 haoyu 22.50 0.04 5335 0
163KingBach:1 haoyu 22.50 0.04 5671 0
164KingBach:0 haoyu 22.50 0.06 5935 0
165Batman:0 haoyu 22.50 0.04 5949 0
166Yacob Y.:1 Aristotle 22.50 15.00 6793 1
167Khoa:0 haoyu 22.50 0.09 7066 0
168ebp:1 haoyu 22.50 0.04 7144 0
169Khoa:1 Aristotle 22.50 0.09 7446 0
170ebp:0 haoyu 22.50 0.04 7453 0
171Charliezsc:0 jgs 22.50 14.98 7852 1
172Absurdity:1 Aristotle 22.50 0.18 7943 0
173Absurdity:0 Aristotle 22.50 0.23 8805 0
174Sprt:1 haoyu 22.50 0.05 10827 0
175Charliezsc:1 haoyu 22.50 0.07 11020 0
176Sabar Dasgupta:0 spl 22.50 0.23 12135 0
177Sabar Dasgupta:1 Aaron Doll 22.50 0.17 13088 0
178BH:1 haoyu 22.50 0.05 21403 0
179burrito:0 haoyu 22.50 0.09 21507 0
180DinnerPartyPlannerBM:1 Nihar the Great 22.50 0.06 22623 0
181Mike Hunt:0 Aristotle 22.50 0.27 23000 0
182Mike Hunt:1 Aristotle 22.50 0.29 23119 0
183Aaron H:1 Aristotle 22.50 0.11 28977 0
184Andrew Werner:0 Aaron Doll 22.50 0.33 29377 0
185John Whelchel:1 haoyu 22.50 0.11 29674 0
186dfshasdsf12:1 Nihar the Great 22.50 0.11 30065 0
187Lil Thug:0 Andrew Grasso 22.50 0.03 30479 0
188Andrew Werner:1 haoyu 22.50 0.11 31049 0
189John Whelchel:0 haoyu 22.50 0.06 31101 0
190Shaheed Chagani:0 Aristotle 22.50 0.17 36815 0
191burrito:1 haoyu 22.50 0.10 45734 0
192DinnerPartyPlannerBM:0 Aristotle 22.50 0.11 47122 0
193Deric Cheng:0 jgs 22.50 14.99 55472 1
194jgs:0 Aristotle 22.50 0.12 56855 0
195BH:0 haoyu 22.50 0.07 19566 0
196Aaron H:0 Aristotle 22.50 0.11 26940 0
197Sprt:0 Aristotle 22.50 0.11 29217 0
198Lil Thug:1 Andrew Grasso 22.50 0.03 29294 0
199Andys:0 Aristotle 22.50 0.12 30876 0
200Andys:1 Aristotle 22.50 0.13 31278 0
201Bar Shabtai:1 haoyu 22.50 0.12 53298 0
202Deric Cheng:1 jgs 22.50 14.98 57840 1
203jgs:1 haoyu 22.50 0.18 60006 0
204Brendan Wright:0 haoyu 22.50 0.10 5 0
205dfshasdsf12:0 haoyu 22.50 0.09 20499 0
206Shaheed Chagani:1 Aristotle 22.50 0.11 35929 0
207CAPS LOCK:0 Aristotle 22.50 0.20 55409 0
208CAPS LOCK:1 Aristotle 25.77 0.25 70727 0
209nupog:1 Aristotle 35.59 0.12 5046 0
210nupog:0 Aristotle 36.72 0.13 4985 0
211Elphaba:0 Aristotle 37.50 0.24 107469 0
212Elphaba:1 Aristotle 45.03 0.22 109377 0
21313a:1 Aaron Doll 60.42 15.00 129372 29
21413a:0 Aaron Doll 73.50 15.00 121668 21
215Matt Goldsmith:0 Nihar the Great - 0.03 - 0
216Aristotle:1 Aristotle - 9.69 - 0
217Dr Roberto:1 Andrew Grasso - 0.02 - 0
218Qinlan Shen:1 R. A. B. - 9.00 - 1
219Aaron Doll:0 Aristotle - 0.56 - 0
220Jessie Chen:1 Joel Faron - 0.12 - 1
221T. Capote:0 haoyu - 0.00 - 2
222Aaron Doll:1 Aristotle - 1.27 - 0
223Nihar the Great:0 Aristotle - 0.23 - 0
224Bar Shabtai:0 Aaron Doll - 15.01 - 1
225T. Capote:1 haoyu - 0.00 - 2
226Aristotle:0 Aristotle - 15.00 - 1
227Nihar the Great:1 Aristotle - 0.25 - 0
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist