Stats for formula: Nikhilesh Sigatapu-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 Nikhilesh Sigatapu-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Nikhilesh Sigatapu-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:	Nikhilesh Sigatapu-0
Rank of generator:	54 / 114
Average score:	5.46
Median score:	0.42
Best solver:	haoyu
Description:	Generates a satisfiable CNF corresponding to an instance of the Hamiltonian path problem.

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

SatSolvers Ranklist

Generators Ranklist