SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Absurdity

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 Absurdity 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 Absurdity 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: Absurdity
Rank: 23 / 118
Average Score: 5.22
Median Score: 0.58
Description: Implements the WalkSAT algorithm for finding satisfying models of CNF sentences.
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 KingBach 0.00 0.00 0 0
2Bebe Shi:1 KingBach 0.00 0.00 0 0
3K.L.:1 KingBach 0.00 0.00 0 0
4bigwig:0 Andrew Werner 0.00 0.00 0 0
5bigwig:1 KingBach 0.00 0.00 0 0
6Bebe Shi:0 KingBach 0.00 0.00 0 0
7Ravi Tandon:1 KingBach 0.00 0.00 0 0
8Happy:1 KingBach 0.00 0.00 0 0
9Miranda:1 cat 0.00 0.00 0 0
10Miranda:0 cat 0.00 0.00 0 0
11Joshua Zimmer:1 haoyu 0.01 0.00 0 0
12Joshua Zimmer:0 haoyu 0.01 0.00 0 0
13bchouGenerator:0 haoyu 0.01 0.00 0 0
14Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
15Blam:1 Elphaba 0.01 0.00 0 0
16Jonathan Kwok:1 KingBach 0.01 0.00 0 0
17Tree Prophet:0 haoyu 0.01 0.00 0 0
18Solving For Clauses:1 haoyu 0.01 0.00 0 0
19K.L.:0 haoyu 0.01 0.00 0 0
20R. A. B.:1 cat 0.01 0.00 0 0
21haoyu:0 KingBach 0.01 0.01 0 0
22haoyu:1 Anon5 0.01 0.01 0 0
23bchouGenerator:1 Jonathan Kwok 0.01 0.01 0 0
24BMJ:0 Elphaba 0.01 0.00 0 0
25Daffy Duck:1 haoyu 0.01 0.00 0 0
26Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
27Quite Satisfied:0 haoyu 0.01 0.00 0 0
28David Paulk:0 cat 0.01 0.00 0 0
29Gewang:0 Jonathan Kwok 0.01 0.00 0 0
30Gewang:1 Jonathan Kwok 0.01 0.00 0 0
31Daffy Duck:0 Andrew Werner 0.02 0.00 0 0
32David Paulk:1 Bar Shabtai 0.02 0.00 0 0
33BMJ:1 burrito 0.02 0.00 0 0
34The Kraken:0 haoyu 0.02 0.00 0 0
35Scheduling Generator 203:0 jgs 0.02 0.01 0 0
36Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
37The Kraken:1 haoyu 0.02 0.00 0 0
38cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
39cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
40Scheduling Generator 203:1 Jameh 0.02 0.02 0 0
41Tom T:1 Andrew Werner 0.03 0.02 0 0
42R. A. B.:0 Nihar the Great 0.03 0.00 0 0
43Tree Prophet:1 haoyu 0.03 0.00 0 0
44Mickey Mouse:1 haoyu 0.03 0.01 0 0
45Tom T:0 EC 0.04 0.02 0 0
46Mickey Mouse:0 Bar Shabtai 0.04 0.01 0 0
47Qinlan Shen:0 Bar Shabtai 0.04 0.01 0 0
48Mike Honcho:1 Jessie Chen 0.04 0.01 0 0
49Jameh:0 haoyu 0.04 0.01 0 0
50weezy:0 Bar Shabtai 0.04 0.01 0 0
51Boomshanka:1 Bar Shabtai 0.04 0.01 0 0
52weezy:1 Bar Shabtai 0.04 0.01 0 0
53Mike Honcho:0 Miranda 0.04 0.01 0 0
54David Lackey:1 Bar Shabtai 0.04 0.03 0 0
55Happy:0 haoyu 0.04 0.00 0 0
56Blam:0 Elphaba 0.04 0.00 0 0
57David Lackey:0 Anon5 0.05 0.03 0 0
58Tiny Wings:0 haoyu 0.05 0.02 0 0
59totallyOnFallBreak:1 Nikhilesh Sigatapu 0.05 0.01 0 0
600108:1 haoyu 0.06 0.01 0 0
61Alex Fish:0 haoyu 0.06 0.01 0 0
62Boomshanka:0 haoyu 0.06 0.01 0 0
63Jameh:1 haoyu 0.06 0.01 0 0
64totallyOnFallBreak:0 Nikhilesh Sigatapu 0.06 0.01 0 0
65vluu:1 Nihar the Great 0.07 0.02 0 0
66Ytterbium:0 Andrew Grasso 0.07 0.02 0 0
67Jordan Ash:0 EC 0.07 0.03 0 0
68Tao:1 Aristotle 0.07 0.07 0 0
69Tiny Wings:1 haoyu 0.07 0.01 0 0
70cat:0 haoyu 0.08 0.03 0 0
71vluu:0 Nihar the Great 0.09 0.01 0 0
72Tao:0 Bar Shabtai 0.09 0.02 0 0
73Nikhilesh Sigatapu:0 haoyu 0.10 0.03 0 0
74cat:1 haoyu 0.10 0.03 0 0
75Janie Gu:1 Jonathan Kwok 0.10 0.07 0 0
76Alex Fish:1 haoyu 0.11 0.02 0 0
77Bob Dondero:0 Andrew Grasso 0.12 0.02 0 0
78AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.12 0.00 0 0
79Keji Xu:1 Nihar the Great 0.12 0.04 0 0
80The Whitman Whale:0 bigwig 0.13 0.04 0 0
81Dr Roberto:1 Andrew Grasso 0.13 0.02 0 0
82Samuel Jerome:0 haoyu 0.13 0.03 0 0
83Anon_K_P:0 haoyu 0.16 0.02 0 0
84Ytterbium:1 Nihar the Great 0.17 0.02 0 0
85The Whitman Whale:1 Andrew Grasso 0.17 0.03 0 0
86Dr Roberto:0 Andrew Grasso 0.18 0.03 0 0
87DeeEmEm:1 haoyu 0.18 0.02 0 0
88Janie Gu:0 Glenn Fisher 0.18 0.07 0 0
89Nikhilesh Sigatapu:1 haoyu 0.18 0.04 0 0
90Keji Xu:0 Nihar the Great 0.18 0.03 0 0
91George Okeowo:1 Andrew Grasso 0.19 0.01 0 0
92Linda:1 Andrew Grasso 0.19 0.02 0 0
93George Okeowo:0 Andrew Grasso 0.19 0.01 0 0
94Linda:0 Andrew Grasso 0.22 0.01 0 0
95Lisa Kim:1 Bar Shabtai 0.23 0.06 0 0
96Samuel Jerome:1 haoyu 0.26 0.03 0 0
97Valya Barboy:0 Aristotle 0.28 0.06 0 0
98Matt Haake:1 haoyu 0.29 0.05 0 0
99Mercury:0 haoyu 0.33 0.05 0 0
100Glenn Fisher:0 Elphaba 0.34 0.02 0 0
101Sally Smith:0 haoyu 0.37 0.04 0 0
102bfang:1 haoyu 0.39 0.04 0 0
103Mercury:1 haoyu 0.40 0.05 0 0
104Bob Dondero:1 Mickey Mouse 0.41 0.03 0 0
105Matt Haake:0 haoyu 0.45 0.05 0 0
106Lisa Kim:0 Aristotle 0.46 0.07 0 0
107kt4124:1 haoyu 0.47 0.04 0 0
108Anon5:1 Green "The Bean" Choi 0.48 0.07 0 0
109Yan Wu:0 haoyu 0.49 0.05 0 0
110Anon_K_P:1 Aristotle 0.49 0.03 0 0
111KingBach:1 haoyu 0.51 0.04 0 0
112kt4124:0 haoyu 0.52 0.03 0 0
113Andrew Grasso:0 Aaron Doll 0.56 0.18 0 0
114Sally Smith:1 haoyu 0.58 0.04 0 0
115bfang:0 haoyu 0.64 0.04 0 0
116Anon5:0 haoyu 0.70 0.05 0 0
117David H.:0 AFC 0.82 0.28 0 0
118AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.82 0.01 0 0
119Khoa:0 haoyu 0.87 0.09 0 0
120Sprt:1 haoyu 0.90 0.05 0 0
121Khoa:1 Aristotle 0.95 0.09 0 0
122Yan Wu:1 haoyu 0.97 0.04 0 0
123Batman:0 haoyu 0.99 0.04 0 0
124Ben Chen:0 Elphaba 1.07 0.07 0 0
125Batman:1 haoyu 1.10 0.04 0 0
126KingBach:0 haoyu 1.11 0.06 0 0
127Brendan Wright:1 Deric Cheng 1.23 0.10 0 0
128burrito:0 haoyu 1.49 0.09 0 0
129Yacob Y.:0 haoyu 1.56 0.06 0 0
130soccer:1 haoyu 1.73 0.04 0 0
131Valya Barboy:1 Shaheed Chagani 2.02 0.18 0 0
132DinnerPartyPlannerBM:1 Nihar the Great 2.15 0.06 0 0
133soccer:0 haoyu 2.17 0.04 0 0
134Sabar Dasgupta:0 spl 2.19 0.23 0 0
135Andrew Grasso:1 Shaheed Chagani 2.21 0.15 0 0
136EC:1 haoyu 2.58 0.03 0 0
137dfshasdsf12:0 haoyu 2.62 0.09 0 0
138Sabar Dasgupta:1 Aaron Doll 3.04 0.17 0 0
139David H.:1 DeeEmEm 3.04 0.33 0 0
140Andys:0 Aristotle 3.05 0.12 0 0
141snowflakes:0 haoyu 3.43 0.03 0 0
142Sunny:0 Green "The Bean" Choi 3.86 0.02 0 0
143Aaron H:1 Aristotle 3.94 0.11 0 0
144Sunny:1 jabreezy 3.94 0.01 0 0
145Aaron H:0 Aristotle 4.00 0.11 0 0
146Sprt:0 Aristotle 4.26 0.11 0 0
147NA:1 Elphaba 4.68 0.04 0 0
148Lil Thug:0 Andrew Grasso 5.32 0.03 0 0
149John Whelchel:0 haoyu 5.71 0.06 0 0
150Mr. Blobby:0 Green "The Bean" Choi 5.74 0.14 0 0
151Andys:1 Aristotle 5.90 0.13 0 0
152dfshasdsf12:1 Nihar the Great 6.00 0.11 0 0
153burrito:1 haoyu 6.18 0.10 0 0
154Lil Thug:1 Andrew Grasso 6.20 0.03 0 0
155BH:1 haoyu 6.40 0.05 0 0
156Dusty:0 CookieMonster 8.81 1.39 0 0
157Fanny:1 Aristotle 8.85 0.12 0 0
158Mike Hunt:1 Aristotle 10.33 0.29 0 0
159Charliezsc:1 haoyu 10.67 0.07 0 0
160Brendan Wright:0 haoyu 10.68 0.10 0 0
161CAPS LOCK:0 Aristotle 12.02 0.20 0 0
162Mike Hunt:0 Aristotle 13.22 0.27 0 0
163Dusty:1 Shaheed Chagani 13.32 0.22 0 0
164BH:0 haoyu 13.67 0.07 0 0
165DinnerPartyPlannerBM:0 Aristotle 13.97 0.11 0 0
166jabreezy:0 Mercury 14.16 0.09 0 0
167Mr. Blobby:1 dusty 14.27 0.12 0 0
168nupog:0 Aristotle 14.46 0.13 0 0
169nupog:1 Aristotle 14.76 0.12 0 0
170Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
171CookieMonster:0 CookieMonster 15.00 0.82 1 0
1720108:0 jgs 15.00 14.98 1 1
173Glenn Fisher:1 jabreezy 15.00 0.09 1 0
174Quite Satisfied:1 Joel Faron 15.00 2.11 2 1
175Jessie Chen:1 Joel Faron 15.00 0.12 2 1
176T. Capote:0 haoyu 15.00 0.00 2 2
177AFC:1 Aristotle 15.00 0.16 2 0
178DeeEmEm:0 CAPS LOCK 15.00 13.00 2 1
179T. Capote:1 haoyu 15.00 0.00 2 2
180Walter Little:1 haoyu 15.00 0.03 3 0
181Jessie Chen:0 Joel Faron 15.00 0.13 4 1
182Absurdity:0 Aristotle 15.00 0.23 4 0
183Walter Little:0 haoyu 15.00 0.04 6 0
184Absurdity:1 Aristotle 15.00 0.18 7 0
185NA:0 haoyu 15.00 0.03 8 0
186SuperFan:0 jgs 15.00 14.98 14 4
187SuperFan:1 jgs 15.00 14.98 17 4
188Supahaka:0 Andrew Werner 15.00 15.00 47 35
189Supahaka:1 Joel Faron 15.00 15.00 48 35
190Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
191Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
192CookieMonster:1 CookieMonster 15.00 1.10 1 0
193AFC:0 CookieMonster 15.00 0.34 3 0
194Ben Chen:1 spl 15.00 0.20 8 0
195snowflakes:1 haoyu 15.00 0.03 11 0
196spl:1 haoyu 15.00 0.06 13 0
197ebp:0 haoyu 15.00 0.04 16 0
198Fanny:0 Aristotle 15.00 0.10 4 0
199jabreezy:1 Mercury 15.00 0.10 16 0
200spl:0 Elphaba 15.00 0.09 19 0
201EC:0 haoyu 15.00 0.03 5 0
202Yacob Y.:1 Aristotle 15.00 15.00 9 1
203Shaheed Chagani:0 Aristotle 15.01 0.17 7 0
204ebp:1 haoyu 15.01 0.04 20 0
205Elphaba:0 Aristotle 15.01 0.24 28624 0
206Bar Shabtai:1 haoyu 15.01 0.12 119 0
207jgs:1 haoyu 15.01 0.18 92 0
208Elphaba:1 Aristotle 15.01 0.22 29276 0
209Nihar the Great:1 Aristotle 15.02 0.25 20911 0
210Shaheed Chagani:1 Aristotle 15.02 0.11 42 0
211Andrew Werner:1 haoyu 15.02 0.11 5 0
21213a:1 Aaron Doll 15.02 15.00 66787 29
213Aaron Doll:0 Aristotle 15.02 0.56 254324 0
214John Whelchel:1 haoyu 15.02 0.11 2 0
215Nihar the Great:0 Aristotle 15.02 0.23 20858 0
216CAPS LOCK:1 Aristotle 15.02 0.25 1761 0
217jgs:0 Aristotle 15.03 0.12 43 0
218Charliezsc:0 jgs 15.03 14.98 3 1
21913a:0 Aaron Doll 15.03 15.00 78523 21
220Andrew Werner:0 Aaron Doll 15.04 0.33 4 0
221Bar Shabtai:0 Aaron Doll 15.05 15.01 306986 1
222Aaron Doll:1 Aristotle 15.06 1.27 300531 0
223Deric Cheng:0 jgs 15.06 14.99 2 1
224Aristotle:1 Aristotle 15.08 9.69 737141 0
225Aristotle:0 Aristotle 15.09 15.00 745247 1
226Matt Goldsmith:0 Nihar the Great 15.10 0.03 507641 0
227Deric Cheng:1 jgs 15.11 14.98 2 1
228Matt Goldsmith:1 Happy 15.18 0.03 511559 0


SatSolvers Ranklist Generators Ranklist