Stats for formula: Brendan Wright-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 Brendan Wright-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Brendan Wright-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:	Brendan Wright-1
Rank of generator:	36 / 114
Average score:	8.23
Median score:	7.30
Best solver:	Deric Cheng
Description:	Generates a CNF to describe a Hamiltonian-cycle finding problem. The CNF will always be satisfiable.

	Solver	Time taken	Unsat
1	Deric Cheng	0.10	0
2	bfang	0.10	0
3	Glenn Fisher	0.14	0
4	Elphaba	0.14	0
5	jabreezy	0.15	0
6	Green "The Bean" Choi	0.16	0
7	haoyu	0.18	0
8	Anon5	0.22	0
9	dusty	0.34	0
10	Andys	0.41	0
11	AFC	0.52	0
12	burrito	0.54	0
13	Tree Prophet	0.58	0
14	Ben Chen	0.63	0
15	BH	0.68	0
16	Mark Fillmore	0.71	0
17	Nikhilesh Sigatapu	0.71	0
18	Linda	0.77	0
19	HashTagAlreadyFallBreak	0.80	0
20	Joel Faron	0.87	0
21	KingBach	0.95	0
22	jgs	1.00	0
23	0108	1.01	0
24	Sunny	1.01	0
25	spl	1.08	0
26	Tom T	1.12	0
27	Joshua Zimmer	1.20	0
28	Absurdity	1.23	0
29	Janie Gu	1.26	0
30	David Paulk	1.34	0
31	Sprt	1.53	0
32	Jameh	1.55	0
33	Aristotle	1.59	0
34	snowflakes	1.65	0
35	Brendan Wright	1.66	0
36	vhsiao	1.66	0
37	The Whitman Whale	1.71	0
38	NA	1.87	0
39	DeeEmEm	1.88	0
40	Qinlan Shen	1.90	0
41	Walter Little	2.24	0
42	Andrew Grasso	2.27	0
43	Quite Satisfied	3.00	0
44	Jonathan Kwok	3.39	0
45	Sabar Dasgupta	3.40	0
46	Mr. Blobby	3.45	0
47	Charlie Shucheng Zhu	3.70	0
48	EC	4.06	0
49	Shaheed Chagani	4.35	0
50	Mike Honcho	4.55	0
51	Aaron Doll	5.00	0
52	Yan Wu	5.58	0
53	Yacob Y.	5.92	0
54	T. Capote	6.00	0
55	David H.	6.60	0
56	CAPS LOCK	6.75	0
57	Lisa Kim	7.86	0
58	Aaron H	8.41	0
59	An Extremely Ordinary Sloth	8.66	0
60	Blam	9.95	0
61	Khoa	11.17	0
62	David Lackey	13.04	0
63	Dr Roberto	13.74	0
64	ModifiedWalkSatBreakZero	14.57	0
65	Tao	14.93	0
66	13a	15.00	1
67	R. A. B.	9.00	2
68	bigwig	15.00	2
69	Matt Goldsmith	15.00	2
70	cat	15.00	8
71	George Okeowo	2.87	29
72	BMJ	15.00	74
73	Valya Barboy	15.00	1
74	kt4124	15.00	3
75	Nihar the Great	15.00	8
76	Ravi Tandon	15.00	11
77	bchouSolver	15.00	14
78	Happy	15.00	28
79	Supahaka	15.00	36
80	weezy	15.00	56
81	Sat Solver 2013	15.00	19998
82	dfshasdsf12	15.00	1
83	soccer	15.00	11
84	Boomshanka	15.00	11
85	Mickey Mouse	15.00	67
86	Samuel Jerome	15.00	2
87	LilThug	15.00	4
88	Cam Porter	15.00	19978
89	K.L.	15.00	20127
90	Matt Haake	15.00	1
91	Mike Hawk	15.00	1
92	Solving For Clauses	15.00	1
93	John Whelchel	15.00	1
94	Ytterbium	15.01	2
95	Bob Dondero	15.01	12
96	Anon_K_P	15.01	11
97	Alex Fish	15.01	1
98	The Kraken	15.01	13
99	Bebe Shi	15.02	4
100	Sally Smith	15.03	5
101	RedOrangeBlue	15.03	34
102	Andrew Werner	15.03	1
103	cmF5a3ly	15.03	6
104	Gewang	15.04	2
105	SuperFan	15.04	16
106	TSATTER	15.05	105
107	CookieMonster	15.05	2
108	Tiny Wings	15.05	16
109	Keji Xu	15.08	7
110	Jessie Chen	15.11	4
111	cjt	22.50	6
112	Jordan Ash	30.86	1
113	Mercury	69.78	0
114	Fanny	-	-
115	Miranda	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist