Stats for formula: Yacob Y.-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 Yacob Y.-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Yacob Y.-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:	Yacob Y.-1
Rank of generator:	* / 114
Average score:	15.00
Median score:	15.00
Best solver:	Aristotle
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	Aristotle	15.00	1
2	Tao	15.00	2
3	Andrew Werner	15.00	3
4	spl	15.00	3
5	Dr Roberto	14.99	6
6	jgs	14.98	7
7	haoyu	15.00	7
8	CookieMonster	15.00	7
9	NA	15.00	8
10	Andrew Grasso	15.00	8
11	Joel Faron	15.00	9
12	Bar Shabtai	15.00	13
13	13a	15.00	14
14	ModifiedWalkSatBreakZero	15.00	14
15	Matt Goldsmith	15.00	15
16	Nikhilesh Sigatapu	15.00	16
17	HashTagAlreadyFallBreak	15.00	22
18	CAPS LOCK	13.00	23
19	vhsiao	14.98	24
20	ebp	14.99	30
21	R. A. B.	9.01	31
22	Brendan Wright	15.00	37
23	soccer	15.00	37
24	T. Capote	15.00	38
25	bigwig	15.00	41
26	The Whitman Whale	15.00	45
27	Elphaba	0.09	48
28	George Okeowo	1.44	60
29	Boomshanka	15.00	1355
30	cat	15.00	2758
31	bfang	15.00	3227
32	Cam Porter	15.00	7411
33	BMJ	15.00	7882
34	K.L.	15.00	42436
35	AFC	15.00	2
36	dfshasdsf12	15.00	3
37	Matt Haake	15.00	4
38	Mike Honcho	15.00	4
39	Valya Barboy	15.00	4
40	dusty	15.00	5
41	BH	15.00	6
42	Nihar the Great	15.00	6
43	Ytterbium	15.00	7
44	Sprt	15.00	9
45	Aaron Doll	15.00	10
46	Shaheed Chagani	15.00	13
47	EC	15.00	14
48	Lisa Kim	15.00	20
49	Jameh	15.00	23
50	Quite Satisfied	15.00	23
51	Mark Fillmore	15.00	24
52	0108	15.00	26
53	Ravi Tandon	15.00	30
54	burrito	15.00	32
55	Linda	15.00	35
56	Happy	15.00	55
57	Khoa	15.00	60
58	weezy	15.00	116
59	Mickey Mouse	15.00	9139
60	Supahaka	15.00	9811
61	David H.	15.00	11081
62	Sabar Dasgupta	15.00	7
63	Ben Chen	15.00	8
64	Janie Gu	15.00	9
65	An Extremely Ordinary Sloth	15.00	12
66	bchouSolver	15.00	34
67	Sat Solver 2013	15.00	803
68	snowflakes	15.00	17
69	Walter Little	15.00	17
70	kt4124	15.00	39
71	Mike Hawk	15.00	7
72	Absurdity	15.00	9
73	Glenn Fisher	15.00	12
74	KingBach	15.00	14
75	Yacob Y.	15.00	21
76	RedOrangeBlue	15.00	60
77	Anon5	15.01	6
78	LilThug	15.01	8
79	Deric Cheng	15.01	10
80	Blam	15.01	42
81	John Whelchel	15.01	14
82	Solving For Clauses	15.01	24
83	TSATTER	15.01	12532
84	Samuel Jerome	15.01	7
85	Keji Xu	15.01	39
86	Jonathan Kwok	15.01	6
87	Mr. Blobby	15.01	7
88	Aaron H	15.01	12
89	Andys	15.01	7
90	DeeEmEm	15.01	24
91	Green "The Bean" Choi	15.01	53
92	Fanny	15.01	8
93	Charlie Shucheng Zhu	15.01	9
94	Tree Prophet	15.02	41
95	Sally Smith	15.02	4810
96	Mercury	15.02	21
97	Anon_K_P	15.02	2065
98	Joshua Zimmer	15.02	8
99	cmF5a3ly	15.02	10893
100	Tiny Wings	15.03	1281
101	The Kraken	15.03	46
102	Alex Fish	15.15	8648
103	Gewang	15.24	9986
104	Sunny	15.30	22
105	Jessie Chen	15.32	10372
106	Bebe Shi	15.38	9871
107	SuperFan	15.39	10007
108	Bob Dondero	15.40	11432
109	David Lackey	15.51	8668
110	Qinlan Shen	17.14	11331
111	cjt	22.50	6793
112	Tom T	119.69	13
113	Jordan Ash	131.17	60
114	David Paulk	-	-
115	Yan Wu	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist