Stats for formula: Keji Xu-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 Keji Xu-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Keji Xu-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:	Keji Xu-0
Rank of generator:	53 / 114
Average score:	5.69
Median score:	0.34
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.03	0
2	Bar Shabtai	0.03	0
3	John Whelchel	0.05	0
4	Jonathan Kwok	0.05	0
5	NA	0.05	0
6	jgs	0.06	0
7	Aristotle	0.06	0
8	HashTagAlreadyFallBreak	0.06	0
9	Janie Gu	0.07	0
10	Green "The Bean" Choi	0.07	0
11	Aaron Doll	0.07	0
12	Ben Chen	0.08	0
13	Quite Satisfied	0.08	0
14	David H.	0.08	0
15	Andrew Grasso	0.09	0
16	ModifiedWalkSatBreakZero	0.09	0
17	KingBach	0.09	0
18	CookieMonster	0.09	0
19	dusty	0.09	0
20	burrito	0.09	0
21	Sprt	0.10	0
22	Linda	0.10	0
23	Matt Goldsmith	0.10	0
24	Shaheed Chagani	0.10	0
25	jabreezy	0.10	0
26	Andys	0.11	0
27	Matt Haake	0.11	0
28	spl	0.11	0
29	Sabar Dasgupta	0.12	0
30	Walter Little	0.12	0
31	Jameh	0.12	0
32	Anon5	0.12	0
33	Mike Hawk	0.12	0
34	Aaron H	0.12	0
35	Mercury	0.14	0
36	BH	0.14	0
37	CAPS LOCK	0.14	0
38	Glenn Fisher	0.14	0
39	Fanny	0.15	0
40	EC	0.15	0
41	13a	0.15	0
42	Joshua Zimmer	0.16	0
43	David Paulk	0.16	0
44	dfshasdsf12	0.16	0
45	Tao	0.17	0
46	Mark Fillmore	0.18	0
47	Mr. Blobby	0.18	0
48	Deric Cheng	0.18	0
49	Valya Barboy	0.18	0
50	Absurdity	0.18	0
51	Andrew Werner	0.19	0
52	Mike Honcho	0.20	0
53	vhsiao	0.20	0
54	Charlie Shucheng Zhu	0.21	0
55	snowflakes	0.22	0
56	bigwig	0.23	0
57	Yacob Y.	0.24	0
58	An Extremely Ordinary Sloth	0.34	0
59	Yan Wu	0.39	0
60	Lisa Kim	0.42	0
61	0108	0.45	0
62	Solving For Clauses	0.51	0
63	R. A. B.	0.56	0
64	soccer	0.67	0
65	T. Capote	0.68	0
66	Khoa	0.72	0
67	Blam	1.36	0
68	kt4124	1.68	0
69	Boomshanka	2.10	0
70	Sally Smith	3.09	0
71	Tom T	3.44	0
72	David Lackey	4.03	0
73	Alex Fish	4.58	0
74	Happy	6.14	0
75	Gewang	8.87	0
76	Tiny Wings	12.72	0
77	Samuel Jerome	15.00	2
78	bfang	15.00	6
79	bchouSolver	15.00	8
80	Joel Faron	15.00	11
81	Brendan Wright	15.00	12
82	haoyu	14.99	13
83	The Whitman Whale	15.00	13
84	Nikhilesh Sigatapu	15.00	14
85	ebp	14.99	19
86	Dr Roberto	14.99	20
87	RedOrangeBlue	14.99	40
88	George Okeowo	0.17	41
89	Sunny	14.82	41
90	Elphaba	0.04	41
91	cat	14.99	113
92	BMJ	15.00	216
93	Anon_K_P	15.00	911
94	Supahaka	1.84	930
95	Cam Porter	15.00	991
96	K.L.	15.00	4889
97	LilThug	15.00	1
98	Ytterbium	15.00	2
99	Ravi Tandon	15.00	7
100	weezy	15.00	8
101	Tree Prophet	15.00	12
102	DeeEmEm	15.00	21
103	AFC	15.00	21
104	Sat Solver 2013	15.00	158
105	Mickey Mouse	15.00	1229
106	The Kraken	15.00	14
107	Jessie Chen	15.01	10
108	Bebe Shi	15.01	5
109	cmF5a3ly	15.01	1094
110	Keji Xu	15.01	3
111	Bob Dondero	15.01	960
112	SuperFan	15.02	921
113	TSATTER	15.03	1330
114	Qinlan Shen	15.03	440
115	Jordan Ash	18.53	41
116	cjt	22.50	8
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist