Stats for formula: Mercury-1

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 formulas generated by a generator are denoted by generator_name:i where i is 0 for the first cnf and 1 for the second. The table below shows the time each satsolver took for cnf Mercury-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Mercury-1 or terminated with an exception. Some important stats are summarized at the start.The ranking scheme is described on the Generators Ranklist page. Click on the name of a satsolver to see details of that satsolver.

Summary

Cnf:	Mercury-1
Rank of generator:	44 / 114
Average score:	6.70
Median score:	1.56
Best solver:	haoyu
Description:	This generator produces satisfiable instances of the Hamiltonian circuit problem on random graphs. The default constructor produces a graph of 24 vertices with a 33% chance of an edge between every pair of vertices. An assignment that satisfies the cnf will indicate vertex 'i' of the circuit is on vertex 'j' of the underlying graph for every literal i,j that is true.

	Solver	Time taken	Unsat
1	haoyu	0.05	0
2	Aristotle	0.09	0
3	Matt Goldsmith	0.10	0
4	Aaron Doll	0.12	0
5	dusty	0.14	0
6	Jonathan Kwok	0.16	0
7	HashTagAlreadyFallBreak	0.17	0
8	spl	0.19	0
9	Quite Satisfied	0.19	0
10	John Whelchel	0.20	0
11	Matt Haake	0.21	0
12	Glenn Fisher	0.23	0
13	Sunny	0.23	0
14	ModifiedWalkSatBreakZero	0.23	0
15	Tao	0.24	0
16	13a	0.26	0
17	CookieMonster	0.27	0
18	Shaheed Chagani	0.29	0
19	dfshasdsf12	0.29	0
20	jgs	0.30	0
21	Dr Roberto	0.31	0
22	Andrew Werner	0.33	0
23	Yan Wu	0.33	0
24	EC	0.36	0
25	Charlie Shucheng Zhu	0.38	0
26	Janie Gu	0.39	0
27	Absurdity	0.40	0
28	Andrew Grasso	0.40	0
29	NA	0.41	0
30	David H.	0.41	0
31	Sabar Dasgupta	0.43	0
32	Ben Chen	0.43	0
33	Walter Little	0.45	0
34	vhsiao	0.47	0
35	Mr. Blobby	0.48	0
36	KingBach	0.51	0
37	BH	0.52	0
38	Andys	0.54	0
39	Lisa Kim	0.56	0
40	AFC	0.58	0
41	Deric Cheng	0.59	0
42	DeeEmEm	0.68	0
43	0108	0.69	0
44	Mike Honcho	0.72	0
45	Mike Hawk	0.75	0
46	Tree Prophet	0.75	0
47	snowflakes	0.78	0
48	Sprt	0.79	0
49	Joshua Zimmer	0.79	0
50	Samuel Jerome	0.82	0
51	Fanny	0.83	0
52	Yacob Y.	0.86	0
53	Anon5	1.02	0
54	bfang	1.12	0
55	Ytterbium	1.21	0
56	Valya Barboy	1.23	0
57	Joel Faron	1.54	0
58	Keji Xu	1.57	0
59	burrito	1.68	0
60	Anon_K_P	1.72	0
61	Nikhilesh Sigatapu	1.80	0
62	An Extremely Ordinary Sloth	1.96	0
63	Aaron H	2.13	0
64	The Whitman Whale	2.52	0
65	ebp	3.02	0
66	Brendan Wright	5.32	0
67	bigwig	7.74	0
68	Mercury	8.29	0
69	CAPS LOCK	13.00	4
70	bchouSolver	15.00	6
71	R. A. B.	9.00	7
72	soccer	15.00	12
73	T. Capote	15.00	30
74	Elphaba	0.09	36
75	RedOrangeBlue	14.99	48
76	George Okeowo	0.80	48
77	cat	14.99	1267
78	Boomshanka	15.00	1704
79	Cam Porter	15.00	5669
80	BMJ	15.00	5855
81	K.L.	15.00	31901
82	Mark Fillmore	15.00	1
83	Jameh	15.00	2
84	Solving For Clauses	15.00	3
85	Nihar the Great	15.00	6
86	Linda	15.00	13
87	Ravi Tandon	15.00	20
88	weezy	15.00	24
89	Happy	15.00	41
90	Khoa	15.00	48
91	Sat Solver 2013	15.00	530
92	Mickey Mouse	15.00	1155
93	Supahaka	15.00	5325
94	LilThug	15.00	3
95	Green "The Bean" Choi	15.00	36
96	Bar Shabtai	15.00	1
97	kt4124	15.00	27
98	The Kraken	15.01	3003
99	Blam	15.01	36
100	Tiny Wings	15.01	6
101	Sally Smith	15.01	21
102	Bob Dondero	15.01	6319
103	Jessie Chen	15.02	4699
104	cmF5a3ly	15.04	6269
105	Alex Fish	15.05	2136
106	Qinlan Shen	15.08	6567
107	David Lackey	15.08	1887
108	Gewang	15.17	5981
109	Bebe Shi	15.25	3997
110	SuperFan	15.33	6592
111	TSATTER	15.42	7486
112	Tom T	18.16	0
113	cjt	22.50	43
114	Jordan Ash	54.36	6
115	David Paulk	90.53	0
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist