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

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

SatSolvers Ranklist

Generators Ranklist