Stats for formula: Lil Thug-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 Lil Thug-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Lil Thug-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:	Lil Thug-0
Rank of generator:	42 / 114
Average score:	7.24
Median score:	4.51
Best solver:	Andrew Grasso
Description:	Generates a CNF from the dining party problem.

	Solver	Time taken	Unsat
1	Andrew Grasso	0.03	0
2	Nihar the Great	0.08	0
3	haoyu	0.11	0
4	Aristotle	0.13	0
5	Aaron Doll	0.17	0
6	bigwig	0.18	0
7	Matt Goldsmith	0.35	0
8	dusty	0.38	0
9	spl	0.39	0
10	Mark Fillmore	0.43	0
11	Elphaba	0.45	0
12	Mercury	0.62	0
13	Quite Satisfied	0.66	0
14	CookieMonster	0.70	0
15	vhsiao	0.81	0
16	Matt Haake	0.95	0
17	ModifiedWalkSatBreakZero	1.06	0
18	Jonathan Kwok	1.07	0
19	CAPS LOCK	1.31	0
20	Solving For Clauses	1.63	0
21	HashTagAlreadyFallBreak	1.82	0
22	John Whelchel	1.88	0
23	burrito	2.01	0
24	Keji Xu	2.04	0
25	Glenn Fisher	2.09	0
26	Bar Shabtai	2.26	0
27	Yan Wu	2.60	0
28	Joshua Zimmer	2.63	0
29	Jameh	2.73	0
30	Valya Barboy	2.77	0
31	0108	2.87	0
32	Yacob Y.	2.93	0
33	Mike Hawk	2.94	0
34	KingBach	3.31	0
35	Tao	3.36	0
36	Green "The Bean" Choi	3.38	0
37	Sprt	3.41	0
38	David Paulk	3.43	0
39	jgs	3.44	0
40	Deric Cheng	3.46	0
41	Khoa	3.47	0
42	DeeEmEm	3.48	0
43	Anon5	3.54	0
44	EC	3.54	0
45	NA	3.57	0
46	Janie Gu	3.57	0
47	Linda	3.60	0
48	Andrew Werner	3.63	0
49	Lisa Kim	3.70	0
50	Ben Chen	3.97	0
51	Andys	4.09	0
52	kt4124	4.10	0
53	cat	4.36	0
54	Shaheed Chagani	4.46	0
55	Walter Little	4.48	0
56	soccer	4.51	0
57	dfshasdsf12	4.54	0
58	T. Capote	4.60	0
59	George Okeowo	4.89	0
60	BH	5.31	0
61	Absurdity	5.32	0
62	Mr. Blobby	5.37	0
63	David H.	5.77	0
64	Ytterbium	5.84	0
65	Ravi Tandon	6.36	0
66	Dr Roberto	6.58	0
67	Sabar Dasgupta	6.86	0
68	Sunny	6.92	0
69	Fanny	8.27	0
70	LilThug	8.29	0
71	Blam	8.54	0
72	snowflakes	9.00	0
73	13a	9.11	0
74	AFC	9.18	0
75	Tree Prophet	10.78	0
76	Mike Honcho	12.32	0
77	Charlie Shucheng Zhu	13.55	0
78	ebp	14.99	22
79	R. A. B.	9.00	8638
80	Samuel Jerome	15.00	10200
81	BMJ	15.00	19130
82	Cam Porter	15.00	22729
83	bfang	15.00	29998
84	K.L.	15.00	121275
85	Happy	15.00	49
86	weezy	15.00	7472
87	Supahaka	15.00	19774
88	bchouSolver	15.00	23
89	Sat Solver 2013	15.00	1795
90	Mickey Mouse	15.00	31111
91	Joel Faron	15.00	38
92	Aaron H	15.00	1028
93	Boomshanka	15.00	18157
94	An Extremely Ordinary Sloth	15.01	6148
95	Brendan Wright	15.01	47
96	RedOrangeBlue	15.01	46
97	The Kraken	15.04	1416
98	Tiny Wings	15.04	19476
99	jabreezy	15.04	50
100	Anon_K_P	15.12	7065
101	Bob Dondero	15.41	31337
102	Alex Fish	15.53	28990
103	SuperFan	15.95	27453
104	Bebe Shi	16.51	29549
105	Gewang	17.35	32551
106	Jessie Chen	17.71	31244
107	David Lackey	18.27	29677
108	TSATTER	18.53	33894
109	Qinlan Shen	19.74	31536
110	cmF5a3ly	19.94	31436
111	cjt	22.50	30479
112	Tom T	33.68	26
113	Miranda	-	-
114	Jordan Ash	-	-
115	The Whitman Whale	-	-
116	Igor	-	-
117	Sally Smith	-	-
118	Nikhilesh Sigatapu	-	-

SatSolvers Ranklist

Generators Ranklist