Stats for formula: Yacob Y.-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 Yacob Y.-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Yacob Y.-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:	Yacob Y.-0
Rank of generator:	* / 114
Average score:	8.38
Median score:	8.12
Best solver:	haoyu
Description:	My generator generates CNF sentences that correspond to solving the problem of Hamiltonian cycles. We define a Hamiltonian cycle to be a path through a given directed graph such that the path visits every vertex once

	Solver	Time taken	Unsat
1	haoyu	0.06	0
2	Aaron Doll	0.14	0
3	Aristotle	0.14	0
4	dusty	0.14	0
5	Matt Goldsmith	0.18	0
6	spl	0.22	0
7	CookieMonster	0.24	0
8	Matt Haake	0.28	0
9	Sunny	0.34	0
10	ModifiedWalkSatBreakZero	0.35	0
11	Quite Satisfied	0.40	0
12	Dr Roberto	0.40	0
13	Tao	0.41	0
14	Shaheed Chagani	0.45	0
15	David H.	0.51	0
16	vhsiao	0.55	0
17	Glenn Fisher	0.64	0
18	Sabar Dasgupta	0.74	0
19	Anon5	0.75	0
20	John Whelchel	0.82	0
21	dfshasdsf12	0.84	0
22	DeeEmEm	0.95	0
23	Ben Chen	0.96	0
24	AFC	0.96	0
25	BH	1.15	0
26	Deric Cheng	1.21	0
27	Yacob Y.	1.30	0
28	Fanny	1.40	0
29	Andys	1.40	0
30	Mike Honcho	1.43	0
31	Mike Hawk	1.47	0
32	EC	1.54	0
33	Absurdity	1.56	0
34	Jonathan Kwok	1.61	0
35	Tree Prophet	1.61	0
36	HashTagAlreadyFallBreak	1.64	0
37	jgs	1.72	0
38	NA	1.83	0
39	Janie Gu	2.02	0
40	snowflakes	2.06	0
41	Joshua Zimmer	2.29	0
42	Andrew Grasso	2.31	0
43	13a	2.40	0
44	Mr. Blobby	2.44	0
45	Walter Little	2.74	0
46	Andrew Werner	3.05	0
47	Joel Faron	3.15	0
48	Nikhilesh Sigatapu	3.74	0
49	Aaron H	4.12	0
50	Lisa Kim	4.26	0
51	0108	4.67	0
52	KingBach	4.98	0
53	Charlie Shucheng Zhu	5.33	0
54	ebp	6.30	0
55	Sprt	7.06	0
56	Valya Barboy	7.95	0
57	Keji Xu	8.12	0
58	The Whitman Whale	8.69	0
59	Brendan Wright	10.22	0
60	Yan Wu	14.76	0
61	Bar Shabtai	15.00	1
62	Samuel Jerome	15.00	2
63	CAPS LOCK	13.00	12
64	R. A. B.	9.01	19
65	T. Capote	15.00	24
66	soccer	15.00	26
67	bigwig	15.00	30
68	Elphaba	0.12	38
69	RedOrangeBlue	14.99	60
70	George Okeowo	1.21	60
71	cat	14.99	677
72	Boomshanka	15.00	1033
73	bfang	15.00	1971
74	Cam Porter	15.00	6367
75	BMJ	15.00	7035
76	Nihar the Great	15.00	4
77	Mark Fillmore	15.00	9
78	Jameh	15.00	13
79	Solving For Clauses	15.00	13
80	burrito	15.00	18
81	bchouSolver	15.00	22
82	Linda	15.00	28
83	Ravi Tandon	15.00	31
84	Happy	15.00	56
85	Khoa	15.00	60
86	weezy	15.00	66
87	Sat Solver 2013	15.00	617
88	Supahaka	15.00	7190
89	Mickey Mouse	15.00	9331
90	Green "The Bean" Choi	15.00	48
91	K.L.	15.00	36968
92	kt4124	15.00	27
93	Blam	15.00	37
94	Tiny Wings	15.00	96
95	An Extremely Ordinary Sloth	15.01	1
96	LilThug	15.01	2
97	cmF5a3ly	15.01	8840
98	Ytterbium	15.01	1
99	Mercury	15.02	8
100	Sally Smith	15.03	2429
101	The Kraken	15.04	46
102	Alex Fish	15.12	6810
103	Bebe Shi	15.26	8430
104	Gewang	15.27	8981
105	David Lackey	15.27	7441
106	SuperFan	15.31	9130
107	Jessie Chen	15.33	8605
108	Bob Dondero	15.45	9798
109	TSATTER	15.54	10343
110	Anon_K_P	15.78	3
111	Qinlan Shen	17.03	9677
112	cjt	22.50	5240
113	Tom T	86.92	1
114	Jordan Ash	112.73	60
115	David Paulk	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist