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

	Solver	Time taken	Unsat
1	haoyu	0.10	0
2	bfang	0.16	0
3	Green "The Bean" Choi	0.20	0
4	jabreezy	0.31	0
5	Elphaba	0.51	0
6	Aristotle	0.52	0
7	Sunny	0.61	0
8	Tao	0.72	0
9	Janie Gu	0.87	0
10	Andrew Grasso	1.01	0
11	spl	1.04	0
12	Nikhilesh Sigatapu	1.14	0
13	Joshua Zimmer	1.18	0
14	snowflakes	1.20	0
15	KingBach	1.29	0
16	Walter Little	1.29	0
17	Joel Faron	1.36	0
18	Sabar Dasgupta	1.53	0
19	Charlie Shucheng Zhu	1.66	0
20	Jonathan Kwok	1.67	0
21	AFC	1.78	0
22	BH	1.81	0
23	Andrew Werner	1.83	0
24	Brendan Wright	1.87	0
25	Tree Prophet	1.88	0
26	EC	2.08	0
27	Mr. Blobby	2.14	0
28	HashTagAlreadyFallBreak	2.16	0
29	dusty	2.23	0
30	NA	2.57	0
31	DeeEmEm	2.61	0
32	Shaheed Chagani	2.80	0
33	jgs	2.89	0
34	Andys	3.17	0
35	Glenn Fisher	3.27	0
36	Mike Hawk	3.50	0
37	bigwig	3.51	0
38	An Extremely Ordinary Sloth	3.72	0
39	0108	3.76	0
40	Ben Chen	3.79	0
41	Deric Cheng	4.15	0
42	Anon5	4.29	0
43	Yan Wu	4.43	0
44	Valya Barboy	4.53	0
45	Matt Haake	4.67	0
46	vhsiao	4.75	0
47	Sally Smith	4.80	0
48	dfshasdsf12	5.38	0
49	Qinlan Shen	5.59	0
50	Aaron Doll	5.69	0
51	CAPS LOCK	6.25	0
52	The Whitman Whale	6.26	0
53	Jameh	6.38	0
54	David H.	6.91	0
55	Miranda	7.22	0
56	burrito	7.23	0
57	Mike Honcho	8.16	0
58	kt4124	8.18	0
59	Lisa Kim	9.08	0
60	Yacob Y.	9.12	0
61	Samuel Jerome	9.47	0
62	Khoa	9.91	0
63	Absurdity	10.68	0
64	Quite Satisfied	11.22	0
65	John Whelchel	12.30	0
66	Aaron H	14.91	0
67	13a	15.00	1
68	Boomshanka	2.06	1
69	R. A. B.	9.00	19
70	George Okeowo	7.29	22
71	RedOrangeBlue	14.99	33
72	ebp	14.99	36
73	Anon_K_P	15.00	32587
74	Sprt	15.00	1
75	cat	15.00	4
76	BMJ	15.00	38
77	Happy	15.00	38
78	weezy	15.00	112
79	Nihar the Great	15.00	6
80	Blam	15.00	7
81	Ravi Tandon	15.00	16
82	Cam Porter	15.00	32584
83	Mickey Mouse	15.00	32653
84	Linda	15.01	5
85	Mark Fillmore	15.01	1
86	Supahaka	15.01	90
87	bchouSolver	15.01	20
88	LilThug	15.01	4
89	Ytterbium	15.02	2
90	Sat Solver 2013	15.02	32602
91	Solving For Clauses	15.02	1
92	soccer	15.03	99
93	K.L.	15.03	149
94	T. Capote	15.04	2
95	David Lackey	15.05	8
96	CookieMonster	15.06	2
97	The Kraken	15.06	15
98	Tiny Wings	15.07	18
99	TSATTER	15.08	113
100	Gewang	15.08	1
101	SuperFan	15.11	53
102	Alex Fish	15.13	3
103	Jessie Chen	15.15	14
104	Bebe Shi	15.23	6
105	cmF5a3ly	15.26	7
106	Bob Dondero	15.34	16
107	Keji Xu	15.41	44
108	cjt	22.50	5
109	David Paulk	27.24	0
110	Matt Goldsmith	40.80	40
111	Dr Roberto	49.50	38
112	ModifiedWalkSatBreakZero	56.81	137
113	Jordan Ash	100.17	0
114	Tom T	110.01	40
115	Fanny	-	-
116	Mercury	-	-
117	Bar Shabtai	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist