Stats for formula: Keji Xu-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 Keji Xu-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Keji Xu-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:	Keji Xu-1
Rank of generator:	53 / 114
Average score:	5.55
Median score:	0.23
Best solver:	Nihar the Great
Description:	This generates a CNF based on 17 vertices on the graph for a hamiltonian cycle problem There's also a 0.5 chance a vertex will share an edge with another vertex

	Solver	Time taken	Unsat
1	Nihar the Great	0.04	0
2	Bar Shabtai	0.04	0
3	John Whelchel	0.05	0
4	Jameh	0.06	0
5	David H.	0.07	0
6	Green "The Bean" Choi	0.07	0
7	NA	0.07	0
8	Jonathan Kwok	0.07	0
9	jgs	0.07	0
10	Aaron H	0.08	0
11	dusty	0.08	0
12	Charlie Shucheng Zhu	0.08	0
13	Aaron Doll	0.08	0
14	Aristotle	0.08	0
15	ModifiedWalkSatBreakZero	0.08	0
16	burrito	0.08	0
17	Anon5	0.08	0
18	Valya Barboy	0.09	0
19	KingBach	0.09	0
20	Mercury	0.09	0
21	13a	0.09	0
22	Walter Little	0.10	0
23	Yacob Y.	0.10	0
24	Andrew Werner	0.10	0
25	Quite Satisfied	0.10	0
26	Andys	0.10	0
27	Matt Goldsmith	0.10	0
28	Deric Cheng	0.11	0
29	Joshua Zimmer	0.11	0
30	Janie Gu	0.11	0
31	Ben Chen	0.11	0
32	Glenn Fisher	0.11	0
33	Sprt	0.11	0
34	spl	0.12	0
35	Mike Hawk	0.12	0
36	HashTagAlreadyFallBreak	0.12	0
37	Absurdity	0.12	0
38	Linda	0.13	0
39	Matt Haake	0.13	0
40	Sabar Dasgupta	0.14	0
41	Yan Wu	0.15	0
42	bigwig	0.15	0
43	BH	0.15	0
44	Shaheed Chagani	0.16	0
45	Andrew Grasso	0.16	0
46	EC	0.16	0
47	Tao	0.17	0
48	CAPS LOCK	0.17	0
49	Mike Honcho	0.17	0
50	Mark Fillmore	0.18	0
51	dfshasdsf12	0.18	0
52	CookieMonster	0.18	0
53	Mr. Blobby	0.18	0
54	snowflakes	0.20	0
55	Solving For Clauses	0.22	0
56	0108	0.22	0
57	Lisa Kim	0.23	0
58	R. A. B.	0.23	0
59	An Extremely Ordinary Sloth	0.27	0
60	Fanny	0.29	0
61	vhsiao	0.29	0
62	Khoa	0.29	0
63	soccer	0.37	0
64	T. Capote	0.43	0
65	David Paulk	0.52	0
66	kt4124	0.95	0
67	Tiny Wings	2.37	0
68	Sally Smith	2.45	0
69	Tom T	3.44	0
70	Alex Fish	3.62	0
71	Boomshanka	5.24	0
72	Keji Xu	5.46	0
73	David Lackey	5.98	0
74	Gewang	9.39	0
75	Jessie Chen	9.72	0
76	cmF5a3ly	10.52	0
77	Blam	11.66	0
78	cjt	12.63	0
79	Samuel Jerome	15.00	2
80	Dr Roberto	14.99	8
81	bchouSolver	15.00	9
82	Joel Faron	15.00	11
83	Nikhilesh Sigatapu	15.00	11
84	Brendan Wright	15.00	12
85	The Whitman Whale	15.00	12
86	haoyu	14.99	13
87	ebp	14.99	19
88	Elphaba	0.06	39
89	RedOrangeBlue	14.99	40
90	cat	14.99	40
91	George Okeowo	0.18	41
92	BMJ	15.00	104
93	Cam Porter	15.00	597
94	Anon_K_P	15.00	818
95	K.L.	15.00	4505
96	LilThug	15.00	1
97	Ytterbium	15.00	2
98	Happy	15.00	2
99	weezy	15.00	3
100	Ravi Tandon	15.00	3
101	AFC	15.00	9
102	Tree Prophet	15.00	12
103	bfang	15.00	17
104	DeeEmEm	15.00	30
105	Sat Solver 2013	15.00	184
106	Mickey Mouse	15.00	551
107	Supahaka	15.00	927
108	TSATTER	15.00	1241
109	The Kraken	15.00	13
110	SuperFan	15.01	835
111	Bebe Shi	15.01	4
112	Bob Dondero	15.02	857
113	Qinlan Shen	15.06	420
114	Jordan Ash	19.52	21
115	jabreezy	-	-
116	Sunny	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist