SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Mercury

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 Mercury 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 Mercury 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: Mercury
Rank: 91 / 118
Average Score: 15.35
Median Score: 0.47
Description: Variant of WalkSat where breakcounts are only approximated by the number of clauses where a symbol is true, vs the number of clauses where that symbol is false. Indexing and added datastructures allow fast choice of random unsatisfied clause, symbol assignment propagation, and choice of next symbol. Runtime dominated by branching cost of major while loop.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2Happy:1 KingBach 0.00 0.00 0 0
3bigwig:1 KingBach 0.00 0.00 0 0
4Bebe Shi:0 KingBach 0.00 0.00 0 0
5Ravi Tandon:0 KingBach 0.00 0.00 0 0
6Bebe Shi:1 KingBach 0.00 0.00 0 0
7K.L.:1 KingBach 0.00 0.00 0 0
8BMJ:0 Elphaba 0.00 0.00 0 0
9K.L.:0 haoyu 0.00 0.00 0 0
10Ravi Tandon:1 KingBach 0.00 0.00 0 0
11R. A. B.:1 cat 0.00 0.00 0 0
12BMJ:1 burrito 0.00 0.00 0 0
13Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
14Blam:0 Elphaba 0.00 0.00 0 0
15Blam:1 Elphaba 0.01 0.00 0 0
16Jonathan Kwok:1 KingBach 0.01 0.00 0 0
17Joshua Zimmer:0 haoyu 0.01 0.00 0 0
18Tree Prophet:0 haoyu 0.01 0.00 0 0
19Miranda:1 cat 0.01 0.00 0 0
20Joshua Zimmer:1 haoyu 0.01 0.00 0 0
21Miranda:0 cat 0.01 0.00 0 0
22Tree Prophet:1 haoyu 0.01 0.00 0 0
23Daffy Duck:1 haoyu 0.01 0.00 0 0
24Happy:0 haoyu 0.01 0.00 0 0
25David Paulk:0 cat 0.01 0.00 0 0
26haoyu:1 Anon5 0.01 0.01 0 0
27R. A. B.:0 Nihar the Great 0.01 0.00 0 0
28bchouGenerator:0 haoyu 0.01 0.00 0 0
29Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
30The Kraken:1 haoyu 0.01 0.00 0 0
31haoyu:0 KingBach 0.01 0.01 0 0
32The Kraken:0 haoyu 0.01 0.00 0 0
33David Paulk:1 Bar Shabtai 0.01 0.00 0 0
34Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
35Gewang:1 Jonathan Kwok 0.02 0.00 0 0
36Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
37Gewang:0 Jonathan Kwok 0.02 0.00 0 0
38Quite Satisfied:0 haoyu 0.02 0.00 0 0
39Solving For Clauses:1 haoyu 0.02 0.00 0 0
40Jameh:0 haoyu 0.02 0.01 0 0
41Sunny:1 jabreezy 0.03 0.01 0 0
42Mickey Mouse:1 haoyu 0.03 0.01 0 0
43Sunny:0 Green "The Bean" Choi 0.03 0.02 0 0
44Mickey Mouse:0 Bar Shabtai 0.03 0.01 0 0
45bchouGenerator:1 Jonathan Kwok 0.03 0.01 0 0
46Jameh:1 haoyu 0.03 0.01 0 0
47Qinlan Shen:0 Bar Shabtai 0.04 0.01 0 0
48DeeEmEm:1 haoyu 0.04 0.02 0 0
49vluu:0 Nihar the Great 0.04 0.01 0 0
50vluu:1 Nihar the Great 0.04 0.02 0 0
51Ytterbium:0 Andrew Grasso 0.04 0.02 0 0
52Tiny Wings:0 haoyu 0.04 0.02 0 0
53The Whitman Whale:1 Andrew Grasso 0.05 0.03 0 0
54The Whitman Whale:0 bigwig 0.05 0.04 0 0
55weezy:1 Bar Shabtai 0.05 0.01 0 0
56weezy:0 Bar Shabtai 0.05 0.01 0 0
57Tiny Wings:1 haoyu 0.05 0.01 0 0
58cat:1 haoyu 0.06 0.03 0 0
59kt4124:0 haoyu 0.06 0.03 0 0
60cat:0 haoyu 0.06 0.03 0 0
610108:1 haoyu 0.06 0.01 0 0
62kt4124:1 haoyu 0.07 0.04 0 0
63Lisa Kim:1 Bar Shabtai 0.07 0.06 0 0
64Ytterbium:1 Nihar the Great 0.07 0.02 0 0
65Boomshanka:1 Bar Shabtai 0.08 0.01 0 0
66George Okeowo:1 Andrew Grasso 0.08 0.01 0 0
67Lisa Kim:0 Aristotle 0.09 0.07 0 0
68George Okeowo:0 Andrew Grasso 0.09 0.01 0 0
69jabreezy:0 Mercury 0.09 0.09 0 0
70Keji Xu:1 Nihar the Great 0.09 0.04 0 0
71jabreezy:1 Mercury 0.10 0.10 0 0
72cmF5a3ly:1 Nihar the Great 0.10 0.00 0 0
73cmF5a3ly:0 Nihar the Great 0.10 0.00 0 0
74Jordan Ash:0 EC 0.10 0.03 0 0
75Alex Fish:1 haoyu 0.11 0.02 0 0
76Boomshanka:0 haoyu 0.11 0.01 0 0
77Khoa:1 Aristotle 0.12 0.09 0 0
78Janie Gu:0 Glenn Fisher 0.12 0.07 0 0
79Sally Smith:0 haoyu 0.12 0.04 0 0
80Janie Gu:1 Jonathan Kwok 0.12 0.07 0 0
81Khoa:0 haoyu 0.12 0.09 0 0
82Keji Xu:0 Nihar the Great 0.14 0.03 0 0
83Sprt:1 haoyu 0.14 0.05 0 0
84Batman:0 haoyu 0.15 0.04 0 0
85totallyOnFallBreak:0 Nikhilesh Sigatapu 0.17 0.01 0 0
86KingBach:1 haoyu 0.17 0.04 0 0
87bfang:0 haoyu 0.17 0.04 0 0
88Sally Smith:1 haoyu 0.17 0.04 0 0
89Alex Fish:0 haoyu 0.18 0.01 0 0
90KingBach:0 haoyu 0.19 0.06 0 0
91ebp:1 haoyu 0.19 0.04 0 0
92totallyOnFallBreak:1 Nikhilesh Sigatapu 0.20 0.01 0 0
93Batman:1 haoyu 0.21 0.04 0 0
94ebp:0 haoyu 0.23 0.04 0 0
95bfang:1 haoyu 0.24 0.04 0 0
96soccer:1 haoyu 0.24 0.04 0 0
97soccer:0 haoyu 0.25 0.04 0 0
98DinnerPartyPlannerBM:1 Nihar the Great 0.27 0.06 0 0
99Scheduling Generator 203:0 jgs 0.28 0.01 0 0
100Sprt:0 Aristotle 0.36 0.11 0 0
101Nikhilesh Sigatapu:0 haoyu 0.37 0.03 0 0
102nupog:0 Aristotle 0.40 0.13 0 0
103Andrew Werner:0 Aaron Doll 0.41 0.33 0 0
104nupog:1 Aristotle 0.41 0.12 0 0
105Andrew Werner:1 haoyu 0.45 0.11 0 0
106DinnerPartyPlannerBM:0 Aristotle 0.46 0.11 0 0
107burrito:0 haoyu 0.47 0.09 0 0
108Lil Thug:1 Andrew Grasso 0.58 0.03 0 0
109Lil Thug:0 Andrew Grasso 0.62 0.03 0 0
110Samuel Jerome:0 haoyu 0.66 0.03 0 0
111dfshasdsf12:0 haoyu 0.75 0.09 0 0
112Bar Shabtai:1 haoyu 0.85 0.12 0 0
113Tom T:0 EC 0.92 0.02 0 0
114Tom T:1 Andrew Werner 0.93 0.02 0 0
115burrito:1 haoyu 0.96 0.10 0 0
116Aaron H:0 Aristotle 1.23 0.11 0 0
117Tao:1 Aristotle 1.27 0.07 0 0
118Scheduling Generator 203:1 Jameh 1.28 0.02 0 0
119Shaheed Chagani:0 Aristotle 1.29 0.17 0 0
120dfshasdsf12:1 Nihar the Great 1.49 0.11 0 0
121David Lackey:1 Bar Shabtai 1.59 0.03 0 0
122John Whelchel:0 haoyu 2.02 0.06 0 0
123David Lackey:0 Anon5 2.81 0.03 0 0
124Samuel Jerome:1 haoyu 2.88 0.03 0 0
125Elphaba:1 Aristotle 2.93 0.22 0 0
126Elphaba:0 Aristotle 3.19 0.24 0 0
127Shaheed Chagani:1 Aristotle 4.38 0.11 0 0
128Aaron H:1 Aristotle 4.54 0.11 0 0
129Tao:0 Bar Shabtai 7.60 0.02 0 0
130Linda:0 Andrew Grasso 7.86 0.01 0 0
131Mercury:1 haoyu 8.29 0.05 0 0
132Nikhilesh Sigatapu:1 haoyu 8.94 0.04 0 0
133CAPS LOCK:0 Aristotle 9.70 0.20 0 0
134AARON BURR, DROPPIN' HAMILTONS:1 haoyu 10.78 0.01 0 0
135Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
136Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
137Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
138DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
139T. Capote:0 haoyu 15.00 0.00 2 2
140Valya Barboy:0 Aristotle 15.00 0.06 2 0
141Anon5:0 haoyu 15.00 0.05 6 0
142SuperFan:0 jgs 15.00 14.98 6 4
143spl:1 haoyu 15.00 0.06 8 0
144spl:0 Elphaba 15.00 0.09 9 0
145AFC:0 CookieMonster 15.00 0.34 10 0
146Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 23 0
147Dusty:1 Shaheed Chagani 15.00 0.22 23 0
148Andrew Grasso:0 Aaron Doll 15.00 0.18 23 0
149Andrew Grasso:1 Shaheed Chagani 15.00 0.15 24 0
150Supahaka:0 Andrew Werner 15.00 15.00 36 35
151NA:0 haoyu 15.00 0.03 37 0
152Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
153T. Capote:1 haoyu 15.00 0.00 2 2
154EC:0 haoyu 15.00 0.03 3 0
155SuperFan:1 jgs 15.00 14.98 4 4
156Glenn Fisher:0 Elphaba 15.00 0.02 6 0
157Absurdity:0 Aristotle 15.00 0.23 18 0
158Supahaka:1 Joel Faron 15.00 15.00 36 35
159Matt Haake:0 haoyu 15.00 0.05 47 0
160AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 1 0
161Jessie Chen:0 Joel Faron 15.00 0.13 1 1
162Jessie Chen:1 Joel Faron 15.00 0.12 1 1
163Valya Barboy:1 Shaheed Chagani 15.00 0.18 3 0
164Glenn Fisher:1 jabreezy 15.00 0.09 20 0
165Dusty:0 CookieMonster 15.00 1.39 25 0
166Walter Little:1 haoyu 15.00 0.03 25 0
167CookieMonster:0 CookieMonster 15.00 0.82 1 0
1680108:0 jgs 15.00 14.98 1 1
169CookieMonster:1 CookieMonster 15.00 1.10 1 0
170David H.:0 AFC 15.00 0.28 5 0
171Mr. Blobby:1 dusty 15.00 0.12 23 0
172NA:1 Elphaba 15.00 0.04 40 0
173Charliezsc:1 haoyu 15.00 0.07 1 0
174Sabar Dasgupta:0 spl 15.00 0.23 3 0
175Matt Haake:1 haoyu 15.00 0.05 51 0
176Walter Little:0 haoyu 15.01 0.04 27 0
177snowflakes:0 haoyu 15.01 0.03 65 0
178Sabar Dasgupta:1 Aaron Doll 15.01 0.17 4 0
179Absurdity:1 Aristotle 15.01 0.18 18 0
180AFC:1 Aristotle 15.01 0.16 9 0
181snowflakes:1 haoyu 15.01 0.03 69 0
182Anon_K_P:1 Aristotle 15.01 0.03 1 0
183Anon5:1 Green "The Bean" Choi 15.01 0.07 4 0
184David H.:1 DeeEmEm 15.01 0.33 4 0
185Ben Chen:1 spl 15.01 0.20 26 0
186BH:1 haoyu 15.01 0.05 311 0
187Anon_K_P:0 haoyu 15.01 0.02 2 0
188EC:1 haoyu 15.01 0.03 3 0
189Mercury:0 haoyu 15.01 0.05 1 0
190Charliezsc:0 jgs 15.01 14.98 2 1
191Ben Chen:0 Elphaba 15.01 0.07 26 0
192John Whelchel:1 haoyu 15.01 0.11 2 0
193jgs:0 Aristotle 15.01 0.12 13 0
194Yacob Y.:0 haoyu 15.02 0.06 8 0
195Mike Hunt:0 Aristotle 15.02 0.27 11 0
196Yan Wu:1 haoyu 15.02 0.04 23 0
197Yacob Y.:1 Aristotle 15.02 15.00 21 1
198BH:0 haoyu 15.02 0.07 317 0
199Mike Hunt:1 Aristotle 15.02 0.29 8 0
20013a:0 Aaron Doll 15.02 15.00 91 21
20113a:1 Aaron Doll 15.02 15.00 91 29
202Yan Wu:0 haoyu 15.03 0.05 28 0
203jgs:1 haoyu 15.03 0.18 11 0
204Fanny:1 Aristotle 15.03 0.12 3 0
205Andys:1 Aristotle 15.04 0.13 15 0
206Andys:0 Aristotle 15.05 0.12 16 0
207Fanny:0 Aristotle 15.05 0.10 1 0
208Deric Cheng:0 jgs 15.06 14.99 3 1
209Deric Cheng:1 jgs 15.08 14.98 3 1
210Dr Roberto:1 Andrew Grasso 20.59 0.02 0 0
211CAPS LOCK:1 Aristotle 25.31 0.25 0 0
212Linda:1 Andrew Grasso 27.83 0.02 0 0
213Dr Roberto:0 Andrew Grasso 30.04 0.03 0 0
214Brendan Wright:1 Deric Cheng 69.78 0.10 0 0
215Matt Goldsmith:0 Nihar the Great - 0.03 - 0
216Aristotle:1 Aristotle - 9.69 - 0
217Mike Honcho:0 Miranda - 0.01 - 0
218Aaron Doll:0 Aristotle - 0.56 - 0
219Brendan Wright:0 haoyu - 0.10 - 0
220Bob Dondero:1 Mickey Mouse - 0.03 - 0
221Aaron Doll:1 Aristotle - 1.27 - 0
222Nihar the Great:0 Aristotle - 0.23 - 0
223Bob Dondero:0 Andrew Grasso - 0.02 - 0
224Bar Shabtai:0 Aaron Doll - 15.01 - 1
225Aristotle:0 Aristotle - 15.00 - 1
226Nihar the Great:1 Aristotle - 0.25 - 0
227Mike Honcho:1 Jessie Chen - 0.01 - 0
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist