SatSolvers Ranklist Generators Ranklist

Stats for satsolver: R. A. B.

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 R. A. B. 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 R. A. B. 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: R. A. B.
Rank: 59 / 118
Average Score: 8.51
Median Score: 15.00
Description: WalkSat algorithm with restarting to avoid local minima. At each iteration does random flip with probability one-half and greedy flip with probability one-half.
Generator Best solver Time taken Best time Unsat Best unsat
1Bebe Shi:1 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
4Ravi Tandon:1 KingBach 0.00 0.00 0 0
5Jonathan Kwok:1 KingBach 0.00 0.00 0 0
6Ravi Tandon:0 KingBach 0.00 0.00 0 0
7Miranda:1 cat 0.00 0.00 0 0
8Miranda:0 cat 0.00 0.00 0 0
9Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
10Joshua Zimmer:1 haoyu 0.01 0.00 0 0
11Solving For Clauses:1 haoyu 0.01 0.00 0 0
12Daffy Duck:1 haoyu 0.01 0.00 0 0
13Joshua Zimmer:0 haoyu 0.01 0.00 0 0
14Happy:1 KingBach 0.01 0.00 0 0
15bchouGenerator:0 haoyu 0.01 0.00 0 0
16Gewang:1 Jonathan Kwok 0.01 0.00 0 0
17K.L.:1 KingBach 0.01 0.00 0 0
18Gewang:0 Jonathan Kwok 0.01 0.00 0 0
19K.L.:0 haoyu 0.01 0.00 0 0
20Bebe Shi:0 KingBach 0.01 0.00 0 0
21BMJ:0 Elphaba 0.01 0.00 0 0
22Blam:1 Elphaba 0.01 0.00 0 0
23BMJ:1 burrito 0.01 0.00 0 0
24Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
25R. A. B.:1 cat 0.01 0.00 0 0
26Tree Prophet:0 haoyu 0.01 0.00 0 0
27Blam:0 Elphaba 0.01 0.00 0 0
28Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
29Scheduling Generator 203:0 jgs 0.01 0.01 0 0
30Qinlan Shen:0 Bar Shabtai 0.01 0.01 0 0
31Mike Honcho:0 Miranda 0.02 0.01 0 0
32Happy:0 haoyu 0.02 0.00 0 0
33David Paulk:1 Bar Shabtai 0.02 0.00 0 0
34David Paulk:0 cat 0.02 0.00 0 0
35The Kraken:1 haoyu 0.02 0.00 0 0
36cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
37The Kraken:0 haoyu 0.02 0.00 0 0
38cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
39Mike Honcho:1 Jessie Chen 0.02 0.01 0 0
40Tree Prophet:1 haoyu 0.02 0.00 0 0
41bchouGenerator:1 Jonathan Kwok 0.03 0.01 0 0
42haoyu:1 Anon5 0.03 0.01 0 0
43Quite Satisfied:0 haoyu 0.03 0.00 0 0
44Mickey Mouse:1 haoyu 0.04 0.01 0 0
45Scheduling Generator 203:1 Jameh 0.04 0.02 0 0
46haoyu:0 KingBach 0.04 0.01 0 0
47Jameh:0 haoyu 0.05 0.01 0 0
48weezy:1 Bar Shabtai 0.05 0.01 0 0
49Mickey Mouse:0 Bar Shabtai 0.05 0.01 0 0
50Tom T:1 Andrew Werner 0.05 0.02 0 0
51R. A. B.:0 Nihar the Great 0.05 0.00 0 0
52weezy:0 Bar Shabtai 0.06 0.01 0 0
53totallyOnFallBreak:1 Nikhilesh Sigatapu 0.06 0.01 0 0
54Sunny:1 jabreezy 0.06 0.01 0 0
55Tom T:0 EC 0.06 0.02 0 0
560108:1 haoyu 0.07 0.01 0 0
57Dr Roberto:0 Andrew Grasso 0.07 0.03 0 0
58totallyOnFallBreak:0 Nikhilesh Sigatapu 0.07 0.01 0 0
59Jordan Ash:1 Bar Shabtai 0.08 0.01 0 0
60vluu:1 Nihar the Great 0.09 0.02 0 0
61vluu:0 Nihar the Great 0.09 0.01 0 0
62Dr Roberto:1 Andrew Grasso 0.12 0.02 0 0
63Ytterbium:0 Andrew Grasso 0.12 0.02 0 0
64Tiny Wings:0 haoyu 0.13 0.02 0 0
65Jameh:1 haoyu 0.13 0.01 0 0
66Boomshanka:0 haoyu 0.13 0.01 0 0
67Tiny Wings:1 haoyu 0.15 0.01 0 0
68Sunny:0 Green "The Bean" Choi 0.17 0.02 0 0
69cat:0 haoyu 0.18 0.03 0 0
70cat:1 haoyu 0.20 0.03 0 0
71Keji Xu:1 Nihar the Great 0.23 0.04 0 0
72The Whitman Whale:1 Andrew Grasso 0.24 0.03 0 0
73Linda:0 Andrew Grasso 0.24 0.01 0 0
74Bob Dondero:0 Andrew Grasso 0.25 0.02 0 0
75Bob Dondero:1 Mickey Mouse 0.32 0.03 0 0
76George Okeowo:1 Andrew Grasso 0.34 0.01 0 0
77Ytterbium:1 Nihar the Great 0.37 0.02 0 0
78George Okeowo:0 Andrew Grasso 0.39 0.01 0 0
79Boomshanka:1 Bar Shabtai 0.39 0.01 0 0
80The Whitman Whale:0 bigwig 0.40 0.04 0 0
81Alex Fish:1 haoyu 0.54 0.02 0 0
82Lisa Kim:1 Bar Shabtai 0.54 0.06 0 0
83Keji Xu:0 Nihar the Great 0.56 0.03 0 0
84Janie Gu:0 Glenn Fisher 0.58 0.07 0 0
85Linda:1 Andrew Grasso 0.70 0.02 0 0
86Janie Gu:1 Jonathan Kwok 0.84 0.07 0 0
87kt4124:0 haoyu 0.88 0.03 0 0
88Lisa Kim:0 Aristotle 1.13 0.07 0 0
89kt4124:1 haoyu 1.37 0.04 0 0
90DeeEmEm:1 haoyu 1.56 0.02 0 0
91Khoa:1 Aristotle 1.72 0.09 0 0
92Sprt:1 haoyu 1.94 0.05 0 0
93KingBach:0 haoyu 2.12 0.06 0 0
94Khoa:0 haoyu 2.58 0.09 0 0
95Sally Smith:0 haoyu 2.70 0.04 0 0
96Samuel Jerome:0 haoyu 3.61 0.03 0 0
97Jordan Ash:0 EC 7.59 0.03 0 0
98Sally Smith:1 haoyu 7.76 0.04 0 0
99Alex Fish:0 haoyu 8.05 0.01 0 0
100Jessie Chen:0 Joel Faron 9.00 0.13 1 1
101Qinlan Shen:1 R. A. B. 9.00 9.00 1 1
102Quite Satisfied:1 Joel Faron 9.00 2.11 1 1
103Jessie Chen:1 Joel Faron 9.00 0.12 1 1
104T. Capote:0 haoyu 9.00 0.00 2 2
105T. Capote:1 haoyu 9.00 0.00 2 2
106Mark S. Fillmore:1 Supahaka 9.00 0.04 79 79
107Mark S. Fillmore:0 Supahaka 9.00 0.01 116 116
108soccer:0 haoyu 9.00 0.04 1 0
109AARON BURR, DROPPIN' HAMILTONS:1 haoyu 9.00 0.01 1 0
110Tao:0 Bar Shabtai 9.00 0.02 1 0
111AARON BURR, DROPPIN' HAMILTONS:0 haoyu 9.00 0.00 2 0
112Tao:1 Aristotle 9.00 0.07 2 0
113DeeEmEm:0 CAPS LOCK 9.00 13.00 2 1
114Brendan Wright:1 Deric Cheng 9.00 0.10 2 0
115KingBach:1 haoyu 9.00 0.04 2 0
116soccer:1 haoyu 9.00 0.04 3 0
117bfang:1 haoyu 9.01 0.04 4 0
118Nikhilesh Sigatapu:0 haoyu 9.00 0.03 4 0
119bfang:0 haoyu 9.00 0.04 4 0
120EC:1 haoyu 9.00 0.03 5 0
121Samuel Jerome:1 haoyu 9.00 0.03 5 0
122Anon5:1 Green "The Bean" Choi 9.00 0.07 6 0
123Anon_K_P:1 Aristotle 9.00 0.03 6 0
1240108:0 jgs 9.00 14.98 6 1
125Anon_K_P:0 haoyu 9.00 0.02 7 0
126Mercury:1 haoyu 9.00 0.05 7 0
127EC:0 haoyu 9.00 0.03 7 0
128Valya Barboy:1 Shaheed Chagani 9.00 0.18 8 0
129David H.:1 DeeEmEm 9.00 0.33 9 0
130David Lackey:1 Bar Shabtai 9.00 0.03 9 0
131David H.:0 AFC 9.00 0.28 9 0
132Valya Barboy:0 Aristotle 9.00 0.06 9 0
133Charliezsc:1 haoyu 9.01 0.07 10 0
134Batman:1 haoyu 9.01 0.04 10 0
135Charliezsc:0 jgs 9.01 14.98 10 1
136Nikhilesh Sigatapu:1 haoyu 9.00 0.04 10 0
137Mercury:0 haoyu 9.00 0.05 11 0
138Batman:0 haoyu 9.01 0.04 11 0
139Sabar Dasgupta:1 Aaron Doll 9.00 0.17 12 0
140Anon5:0 haoyu 9.00 0.05 13 0
141SuperFan:0 jgs 9.00 14.98 13 4
142SuperFan:1 jgs 9.00 14.98 13 4
143Fanny:0 Aristotle 9.00 0.10 15 0
144AFC:1 Aristotle 9.00 0.16 15 0
145CookieMonster:0 CookieMonster 9.00 0.82 15 0
146Fanny:1 Aristotle 9.00 0.12 16 0
147CookieMonster:1 CookieMonster 9.00 1.10 16 0
148AFC:0 CookieMonster 9.00 0.34 16 0
149Sabar Dasgupta:0 spl 9.00 0.23 17 0
150Brendan Wright:0 haoyu 9.00 0.10 19 0
151Yacob Y.:0 haoyu 9.01 0.06 19 0
152Glenn Fisher:0 Elphaba 9.00 0.02 21 0
153jabreezy:1 Mercury 9.00 0.10 22 0
154jabreezy:0 Mercury 9.00 0.09 22 0
155Absurdity:1 Aristotle 9.01 0.18 29 0
156Andrew Grasso:1 Shaheed Chagani 9.00 0.15 29 0
157Andrew Grasso:0 Aaron Doll 9.00 0.18 30 0
158Yacob Y.:1 Aristotle 9.01 15.00 31 1
159Absurdity:0 Aristotle 9.00 0.23 35 0
160Glenn Fisher:1 jabreezy 9.00 0.09 37 0
161Walter Little:0 haoyu 9.00 0.04 39 0
162Dusty:0 CookieMonster 9.00 1.39 39 0
163Mr. Blobby:0 Green "The Bean" Choi 9.00 0.14 41 0
164Dusty:1 Shaheed Chagani 9.00 0.22 41 0
165Walter Little:1 haoyu 9.00 0.03 41 0
166Yan Wu:0 haoyu 9.00 0.05 42 0
167ebp:1 haoyu 9.00 0.04 42 0
168Supahaka:0 Andrew Werner 9.00 15.00 43 35
169ebp:0 haoyu 9.00 0.04 44 0
170Mr. Blobby:1 dusty 9.00 0.12 44 0
171Supahaka:1 Joel Faron 9.00 15.00 44 35
172Yan Wu:1 haoyu 9.00 0.04 45 0
173David Lackey:0 Anon5 9.00 0.03 50 0
174Ben Chen:0 Elphaba 9.00 0.07 55 0
175Ben Chen:1 spl 9.00 0.20 56 0
176spl:0 Elphaba 9.00 0.09 59 0
177spl:1 haoyu 9.00 0.06 77 0
178NA:1 Elphaba 9.00 0.04 82 0
179NA:0 haoyu 9.00 0.03 85 0
180snowflakes:1 haoyu 9.00 0.03 112 0
181snowflakes:0 haoyu 9.00 0.03 121 0
182Matt Haake:0 haoyu 9.00 0.05 137 0
183Matt Haake:1 haoyu 9.00 0.05 139 0
184burrito:0 haoyu 9.05 0.09 392 0
185Andys:0 Aristotle 9.00 0.12 2128 0
186DinnerPartyPlannerBM:1 Nihar the Great 9.00 0.06 2782 0
187Mike Hunt:1 Aristotle 9.00 0.29 2790 0
188Mike Hunt:0 Aristotle 9.00 0.27 3596 0
189John Whelchel:0 haoyu 9.00 0.06 3982 0
190nupog:0 Aristotle 9.01 0.13 4259 0
191dfshasdsf12:0 haoyu 9.00 0.09 4341 0
192nupog:1 Aristotle 9.00 0.12 4385 0
193Andrew Werner:1 haoyu 9.00 0.11 5098 0
194Andys:1 Aristotle 9.00 0.13 5632 0
195BH:0 haoyu 9.00 0.07 5972 0
196BH:1 haoyu 9.00 0.05 6131 0
197Andrew Werner:0 Aaron Doll 9.00 0.33 6432 0
198Aaron H:1 Aristotle 9.01 0.11 7519 0
199Lil Thug:1 Andrew Grasso 9.00 0.03 7649 0
200Aaron H:0 Aristotle 9.00 0.11 8332 0
201Lil Thug:0 Andrew Grasso 9.00 0.03 8638 0
202Sprt:0 Aristotle 9.00 0.11 12107 0
203John Whelchel:1 haoyu 9.01 0.11 15626 0
204dfshasdsf12:1 Nihar the Great 9.00 0.11 16719 0
205Shaheed Chagani:1 Aristotle 9.00 0.11 21604 0
206Shaheed Chagani:0 Aristotle 9.00 0.17 21742 0
207DinnerPartyPlannerBM:0 Aristotle 9.00 0.11 22981 0
208burrito:1 haoyu 9.00 0.10 24986 0
209Nihar the Great:1 Aristotle 9.01 0.25 25787 0
210Nihar the Great:0 Aristotle 9.01 0.23 25799 0
211CAPS LOCK:0 Aristotle 9.00 0.20 26740 0
212jgs:1 haoyu 9.00 0.18 33289 0
213Deric Cheng:0 jgs 9.01 14.99 35254 1
214jgs:0 Aristotle 9.00 0.12 35930 0
215Bar Shabtai:1 haoyu 9.00 0.12 36326 0
216Deric Cheng:1 jgs 9.01 14.98 37700 1
217CAPS LOCK:1 Aristotle 9.03 0.25 52509 0
218Elphaba:1 Aristotle 9.01 0.22 92268 0
219Elphaba:0 Aristotle 9.02 0.24 96709 0
22013a:0 Aaron Doll 9.01 15.00 110881 21
22113a:1 Aaron Doll 9.00 15.00 111575 29
222Aaron Doll:0 Aristotle 9.04 0.56 271546 0
223Aaron Doll:1 Aristotle 9.04 1.27 321402 0
224Bar Shabtai:0 Aaron Doll 9.04 15.01 326032 1
225Matt Goldsmith:0 Nihar the Great 9.14 0.03 511762 0
226Matt Goldsmith:1 Happy 9.17 0.03 513780 0
227Aristotle:0 Aristotle 9.24 15.00 740437 1
228Aristotle:1 Aristotle 9.13 9.69 743706 0


SatSolvers Ranklist Generators Ranklist