Stats for formula: bfang-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 bfang-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf bfang-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:	bfang-1
Rank of generator:	47 / 114
Average score:	6.01
Median score:	0.80
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	bigwig	0.09	0
4	Aaron Doll	0.11	0
5	Aristotle	0.14	0
6	spl	0.14	0
7	dusty	0.17	0
8	ModifiedWalkSatBreakZero	0.17	0
9	Quite Satisfied	0.17	0
10	Matt Goldsmith	0.18	0
11	Jonathan Kwok	0.18	0
12	HashTagAlreadyFallBreak	0.19	0
13	Andrew Grasso	0.21	0
14	CookieMonster	0.21	0
15	Matt Haake	0.23	0
16	vhsiao	0.23	0
17	Mercury	0.24	0
18	Tao	0.26	0
19	Bar Shabtai	0.31	0
20	Sunny	0.32	0
21	Green "The Bean" Choi	0.32	0
22	Charlie Shucheng Zhu	0.32	0
23	jgs	0.33	0
24	Anon5	0.34	0
25	David H.	0.34	0
26	Mike Hawk	0.35	0
27	Dr Roberto	0.36	0
28	Shaheed Chagani	0.39	0
29	Absurdity	0.39	0
30	Joshua Zimmer	0.42	0
31	Sabar Dasgupta	0.42	0
32	Andys	0.42	0
33	Yacob Y.	0.45	0
34	John Whelchel	0.45	0
35	0108	0.46	0
36	EC	0.46	0
37	NA	0.47	0
38	Keji Xu	0.50	0
39	Mr. Blobby	0.53	0
40	dfshasdsf12	0.55	0
41	Andrew Werner	0.55	0
42	Walter Little	0.56	0
43	KingBach	0.56	0
44	Janie Gu	0.56	0
45	Fanny	0.56	0
46	Glenn Fisher	0.57	0
47	Aaron H	0.59	0
48	BH	0.60	0
49	Ben Chen	0.60	0
50	Deric Cheng	0.61	0
51	Valya Barboy	0.61	0
52	Lisa Kim	0.63	0
53	Samuel Jerome	0.64	0
54	AFC	0.67	0
55	snowflakes	0.72	0
56	burrito	0.74	0
57	Yan Wu	0.80	0
58	DeeEmEm	0.80	0
59	Mike Honcho	0.95	0
60	Tree Prophet	1.27	0
61	Sprt	1.34	0
62	cat	1.38	0
63	13a	1.51	0
64	Solving For Clauses	1.78	0
65	An Extremely Ordinary Sloth	2.22	0
66	jabreezy	2.26	0
67	Joel Faron	2.29	0
68	Nikhilesh Sigatapu	2.69	0
69	Anon_K_P	3.05	0
70	ebp	4.62	0
71	T. Capote	5.25	0
72	The Whitman Whale	6.41	0
73	Brendan Wright	7.20	0
74	Mark Fillmore	9.37	0
75	Ytterbium	10.51	0
76	Linda	11.93	0
77	Tom T	12.42	0
78	CAPS LOCK	13.00	2
79	R. A. B.	9.01	4
80	bchouSolver	15.00	10
81	soccer	15.00	15
82	RedOrangeBlue	15.00	60
83	George Okeowo	0.88	60
84	bfang	15.00	60
85	Boomshanka	15.00	692
86	Cam Porter	15.00	4914
87	BMJ	15.00	5160
88	K.L.	15.00	30593
89	Jameh	15.00	2
90	Ravi Tandon	15.00	26
91	weezy	15.00	44
92	Happy	15.00	47
93	Khoa	15.00	60
94	Sat Solver 2013	15.00	392
95	Mickey Mouse	15.00	5137
96	Supahaka	15.00	5213
97	LilThug	15.00	4
98	Blam	15.00	14
99	Nihar the Great	15.00	1
100	kt4124	15.00	24
101	Tiny Wings	15.00	141
102	Sally Smith	15.01	54
103	The Kraken	15.03	73
104	Alex Fish	15.14	4126
105	David Lackey	15.15	4597
106	Gewang	15.16	7017
107	Qinlan Shen	15.18	7506
108	TSATTER	15.19	8258
109	Bebe Shi	15.21	4128
110	Jessie Chen	15.28	6147
111	Bob Dondero	15.28	7053
112	cmF5a3ly	15.31	6724
113	SuperFan	15.36	6955
114	cjt	22.50	2478
115	David Paulk	56.42	0
116	Jordan Ash	66.86	21
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist