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

	Solver	Time taken	Unsat
1	Andrew Grasso	0.03	0
2	haoyu	0.11	0
3	Aristotle	0.11	0
4	Nihar the Great	0.14	0
5	bigwig	0.16	0
6	Aaron Doll	0.17	0
7	Matt Goldsmith	0.23	0
8	dusty	0.37	0
9	spl	0.41	0
10	Mark Fillmore	0.43	0
11	Elphaba	0.48	0
12	Mercury	0.58	0
13	Quite Satisfied	0.66	0
14	CookieMonster	0.74	0
15	vhsiao	0.79	0
16	Matt Haake	1.02	0
17	ModifiedWalkSatBreakZero	1.21	0
18	CAPS LOCK	1.32	0
19	Dr Roberto	1.33	0
20	Jonathan Kwok	1.62	0
21	Bar Shabtai	1.63	0
22	Solving For Clauses	1.71	0
23	Keji Xu	1.95	0
24	Glenn Fisher	2.06	0
25	John Whelchel	2.12	0
26	HashTagAlreadyFallBreak	2.16	0
27	burrito	2.32	0
28	Yan Wu	2.47	0
29	Jameh	2.59	0
30	Valya Barboy	2.69	0
31	Joshua Zimmer	2.69	0
32	EC	2.81	0
33	Mike Hawk	2.88	0
34	0108	2.89	0
35	jgs	2.92	0
36	Sprt	2.95	0
37	Khoa	3.20	0
38	David Paulk	3.31	0
39	Green "The Bean" Choi	3.32	0
40	Lisa Kim	3.48	0
41	Janie Gu	3.51	0
42	Tao	3.51	0
43	Deric Cheng	3.58	0
44	Linda	3.60	0
45	Yacob Y.	3.71	0
46	Ben Chen	3.87	0
47	Andys	3.88	0
48	kt4124	3.90	0
49	cat	3.94	0
50	Sunny	3.99	0
51	Anon5	4.12	0
52	Ravi Tandon	4.24	0
53	Shaheed Chagani	4.44	0
54	dfshasdsf12	4.68	0
55	DeeEmEm	5.00	0
56	KingBach	5.03	0
57	NA	5.07	0
58	T. Capote	5.09	0
59	Mr. Blobby	5.09	0
60	David H.	5.35	0
61	BH	5.37	0
62	soccer	5.81	0
63	Walter Little	5.83	0
64	Absurdity	6.20	0
65	George Okeowo	6.20	0
66	Charlie Shucheng Zhu	6.20	0
67	Sabar Dasgupta	6.44	0
68	13a	6.66	0
69	Ytterbium	7.01	0
70	Blam	7.19	0
71	Andrew Werner	7.41	0
72	LilThug	7.48	0
73	snowflakes	8.26	0
74	AFC	8.55	0
75	Fanny	9.88	0
76	Tree Prophet	11.18	0
77	Tom T	11.42	0
78	Mike Honcho	13.63	0
79	ebp	14.99	23
80	R. A. B.	9.00	7649
81	Samuel Jerome	15.00	10499
82	Cam Porter	15.00	20858
83	Happy	15.00	49
84	weezy	15.00	7712
85	BMJ	15.00	19293
86	Boomshanka	15.00	16264
87	Mickey Mouse	15.00	30621
88	Supahaka	15.00	20611
89	bchouSolver	15.00	24
90	Aaron H	15.00	378
91	bfang	15.01	29565
92	Sat Solver 2013	15.01	1665
93	An Extremely Ordinary Sloth	15.01	8293
94	RedOrangeBlue	15.01	44
95	Joel Faron	15.01	37
96	Tiny Wings	15.01	20566
97	Brendan Wright	15.02	47
98	K.L.	15.02	119715
99	jabreezy	15.03	50
100	The Kraken	15.03	1318
101	Anon_K_P	15.12	6878
102	SuperFan	16.20	28441
103	Bob Dondero	16.70	31140
104	cmF5a3ly	17.17	30616
105	Miranda	17.22	31846
106	Jessie Chen	17.63	31852
107	Bebe Shi	17.67	31403
108	Alex Fish	18.24	28399
109	Gewang	18.32	31121
110	David Lackey	18.47	32290
111	TSATTER	18.68	30256
112	cjt	22.50	29294
113	Qinlan Shen	27.85	31969
114	Jordan Ash	-	-
115	The Whitman Whale	-	-
116	Igor	-	-
117	Sally Smith	-	-
118	Nikhilesh Sigatapu	-	-

SatSolvers Ranklist

Generators Ranklist