Stats for formula: Mercury-0

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-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Mercury-0 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-0
Rank of generator:	44 / 114
Average score:	6.70
Median score:	1.53
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	Elphaba	0.07	0
3	Aaron Doll	0.13	0
4	Aristotle	0.13	0
5	Matt Goldsmith	0.14	0
6	dusty	0.14	0
7	spl	0.15	0
8	HashTagAlreadyFallBreak	0.18	0
9	Quite Satisfied	0.20	0
10	John Whelchel	0.23	0
11	ModifiedWalkSatBreakZero	0.23	0
12	Sunny	0.25	0
13	Bar Shabtai	0.26	0
14	Matt Haake	0.28	0
15	EC	0.29	0
16	CookieMonster	0.29	0
17	Tao	0.29	0
18	Shaheed Chagani	0.29	0
19	Yan Wu	0.32	0
20	jgs	0.32	0
21	Charlie Shucheng Zhu	0.32	0
22	Absurdity	0.33	0
23	Glenn Fisher	0.34	0
24	Andys	0.36	0
25	Ben Chen	0.36	0
26	Dr Roberto	0.37	0
27	dfshasdsf12	0.42	0
28	Sprt	0.43	0
29	Anon5	0.45	0
30	Andrew Werner	0.51	0
31	Deric Cheng	0.52	0
32	David H.	0.55	0
33	AFC	0.55	0
34	Mike Hawk	0.57	0
35	Jonathan Kwok	0.57	0
36	Walter Little	0.58	0
37	Sabar Dasgupta	0.59	0
38	Mr. Blobby	0.60	0
39	Yacob Y.	0.60	0
40	KingBach	0.63	0
41	Mike Honcho	0.67	0
42	BH	0.67	0
43	13a	0.69	0
44	NA	0.76	0
45	snowflakes	0.76	0
46	Andrew Grasso	0.77	0
47	Joshua Zimmer	0.83	0
48	Tree Prophet	0.84	0
49	DeeEmEm	0.86	0
50	0108	0.88	0
51	vhsiao	0.90	0
52	Janie Gu	0.97	0
53	Lisa Kim	0.98	0
54	Fanny	1.12	0
55	Valya Barboy	1.12	0
56	bfang	1.14	0
57	Aaron H	1.53	0
58	Joel Faron	1.61	0
59	Nikhilesh Sigatapu	1.83	0
60	An Extremely Ordinary Sloth	2.14	0
61	The Whitman Whale	2.58	0
62	Keji Xu	2.72	0
63	ebp	3.25	0
64	Brendan Wright	4.66	0
65	burrito	5.63	0
66	Anon_K_P	6.31	0
67	Samuel Jerome	6.61	0
68	Ytterbium	9.25	0
69	Tom T	12.65	0
70	CAPS LOCK	13.00	3
71	T. Capote	15.00	10
72	R. A. B.	9.00	11
73	bchouSolver	15.00	14
74	soccer	15.00	17
75	bigwig	15.00	17
76	RedOrangeBlue	15.00	48
77	George Okeowo	1.17	48
78	Boomshanka	15.00	752
79	cat	14.99	969
80	BMJ	15.00	4039
81	Cam Porter	15.00	4215
82	K.L.	15.00	30053
83	Mark Fillmore	15.00	2
84	LilThug	15.00	2
85	Jameh	15.00	3
86	Nihar the Great	15.00	8
87	Linda	15.00	10
88	Ravi Tandon	15.00	18
89	weezy	15.00	21
90	Happy	15.00	45
91	Khoa	15.00	48
92	Sat Solver 2013	15.00	580
93	Supahaka	15.00	6343
94	Tiny Wings	15.00	15
95	Mickey Mouse	15.00	6734
96	Blam	15.00	30
97	Green "The Bean" Choi	15.00	34
98	Solving For Clauses	15.00	4
99	kt4124	15.00	16
100	Sally Smith	15.01	13
101	The Kraken	15.01	2938
102	Mercury	15.01	1
103	Alex Fish	15.06	1855
104	Bob Dondero	15.07	6837
105	David Lackey	15.14	2380
106	TSATTER	15.14	7702
107	cmF5a3ly	15.15	7766
108	Bebe Shi	15.16	2991
109	Jessie Chen	15.18	6760
110	Gewang	15.19	7933
111	Qinlan Shen	15.32	8202
112	SuperFan	15.32	6324
113	cjt	22.50	137
114	Jordan Ash	56.95	9
115	David Paulk	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist