Stats for formula: bfang-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 bfang-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf bfang-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:	bfang-0
Rank of generator:	47 / 114
Average score:	6.04
Median score:	0.75
Best solver:	haoyu
Description:	Returns satisfiable CNFs that correspond to the problem of finding a Hamilton cycle in a random graph with a fixed number of vertices.

	Solver	Time taken	Unsat
1	haoyu	0.04	0
2	Elphaba	0.09	0
3	Aristotle	0.12	0
4	Matt Goldsmith	0.12	0
5	Aaron Doll	0.13	0
6	spl	0.14	0
7	dusty	0.16	0
8	Mercury	0.17	0
9	bigwig	0.18	0
10	ModifiedWalkSatBreakZero	0.18	0
11	Bar Shabtai	0.18	0
12	HashTagAlreadyFallBreak	0.18	0
13	CookieMonster	0.20	0
14	Glenn Fisher	0.21	0
15	Andrew Grasso	0.23	0
16	Quite Satisfied	0.23	0
17	Jonathan Kwok	0.24	0
18	Matt Haake	0.25	0
19	Tao	0.26	0
20	Keji Xu	0.29	0
21	Green "The Bean" Choi	0.31	0
22	Sunny	0.31	0
23	Anon5	0.31	0
24	jgs	0.31	0
25	Lisa Kim	0.33	0
26	Joshua Zimmer	0.34	0
27	cat	0.34	0
28	John Whelchel	0.35	0
29	Janie Gu	0.35	0
30	Dr Roberto	0.35	0
31	Shaheed Chagani	0.36	0
32	Charlie Shucheng Zhu	0.38	0
33	EC	0.38	0
34	vhsiao	0.39	0
35	Sabar Dasgupta	0.40	0
36	Ben Chen	0.40	0
37	KingBach	0.41	0
38	David H.	0.42	0
39	Andrew Werner	0.43	0
40	Walter Little	0.43	0
41	0108	0.43	0
42	Yacob Y.	0.46	0
43	Andys	0.47	0
44	burrito	0.47	0
45	13a	0.49	0
46	Mr. Blobby	0.50	0
47	NA	0.53	0
48	Sprt	0.55	0
49	dfshasdsf12	0.56	0
50	Deric Cheng	0.58	0
51	BH	0.59	0
52	Aaron H	0.64	0
53	Absurdity	0.64	0
54	Yan Wu	0.66	0
55	DeeEmEm	0.68	0
56	AFC	0.68	0
57	Fanny	0.68	0
58	Ytterbium	0.75	0
59	Mike Hawk	0.77	0
60	snowflakes	0.80	0
61	Mike Honcho	1.08	0
62	Tree Prophet	1.19	0
63	An Extremely Ordinary Sloth	1.94	0
64	Valya Barboy	2.01	0
65	Joel Faron	2.26	0
66	jabreezy	2.48	0
67	Nikhilesh Sigatapu	2.62	0
68	Samuel Jerome	3.69	0
69	Anon_K_P	4.03	0
70	ebp	4.20	0
71	The Whitman Whale	6.50	0
72	Brendan Wright	6.55	0
73	Linda	6.67	0
74	Solving For Clauses	7.51	0
75	Tom T	9.96	0
76	CAPS LOCK	13.00	2
77	R. A. B.	9.00	4
78	T. Capote	15.00	8
79	soccer	15.00	10
80	RedOrangeBlue	15.00	60
81	George Okeowo	0.85	60
82	bfang	15.00	114
83	Boomshanka	15.00	219
84	Cam Porter	15.00	4456
85	BMJ	15.00	5859
86	Jameh	15.00	1
87	Mark Fillmore	15.00	2
88	Nihar the Great	15.00	3
89	Blam	15.00	7
90	Ravi Tandon	15.00	24
91	weezy	15.00	53
92	Happy	15.00	53
93	Supahaka	15.00	5718
94	Mickey Mouse	15.00	5840
95	LilThug	15.00	4
96	bchouSolver	15.00	12
97	kt4124	15.00	15
98	Khoa	15.00	60
99	K.L.	15.00	26482
100	Sat Solver 2013	15.01	557
101	The Kraken	15.01	35
102	Tiny Wings	15.01	21
103	Sally Smith	15.04	1685
104	Jessie Chen	15.06	6029
105	cmF5a3ly	15.14	6209
106	Alex Fish	15.15	3242
107	David Lackey	15.17	4405
108	Bob Dondero	15.19	7233
109	Gewang	15.20	6563
110	Qinlan Shen	15.22	7605
111	SuperFan	15.22	6741
112	Bebe Shi	15.27	4123
113	TSATTER	15.42	8035
114	cjt	22.50	1902
115	David Paulk	55.96	0
116	Jordan Ash	68.52	35
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist