Stats for formula: David Lackey-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 David Lackey-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf David Lackey-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:	David Lackey-1
Rank of generator:	60 / 114
Average score:	4.83
Median score:	0.35
Best solver:	Bar Shabtai
Description:	Generates random CNF formulas based on the Wedding Party Planning problem.

	Solver	Time taken	Unsat
1	Bar Shabtai	0.03	0
2	Anon5	0.03	0
3	Absurdity	0.04	0
4	Elphaba	0.04	0
5	Lisa Kim	0.04	0
6	Nihar the Great	0.04	0
7	Sunny	0.05	0
8	Andrew Grasso	0.05	0
9	jgs	0.06	0
10	EC	0.06	0
11	Janie Gu	0.06	0
12	NA	0.06	0
13	Ben Chen	0.07	0
14	Andys	0.07	0
15	Yacob Y.	0.07	0
16	Deric Cheng	0.07	0
17	Green "The Bean" Choi	0.07	0
18	Mike Hawk	0.07	0
19	snowflakes	0.07	0
20	jabreezy	0.07	0
21	Mr. Blobby	0.07	0
22	bfang	0.07	0
23	Joshua Zimmer	0.08	0
24	Andrew Werner	0.08	0
25	Samuel Jerome	0.08	0
26	dusty	0.08	0
27	Jonathan Kwok	0.08	0
28	Ytterbium	0.08	0
29	Walter Little	0.08	0
30	Charlie Shucheng Zhu	0.09	0
31	Aristotle	0.09	0
32	13a	0.09	0
33	Shaheed Chagani	0.10	0
34	HashTagAlreadyFallBreak	0.10	0
35	Valya Barboy	0.12	0
36	Glenn Fisher	0.12	0
37	CookieMonster	0.12	0
38	Sabar Dasgupta	0.12	0
39	KingBach	0.12	0
40	Tao	0.13	0
41	Mike Honcho	0.13	0
42	Sprt	0.13	0
43	Yan Wu	0.14	0
44	spl	0.16	0
45	David H.	0.16	0
46	Aaron H	0.16	0
47	Aaron Doll	0.16	0
48	Quite Satisfied	0.17	0
49	John Whelchel	0.18	0
50	Matt Haake	0.19	0
51	AFC	0.21	0
52	Tree Prophet	0.24	0
53	vhsiao	0.24	0
54	BH	0.26	0
55	0108	0.26	0
56	dfshasdsf12	0.28	0
57	Nikhilesh Sigatapu	0.29	0
58	Matt Goldsmith	0.35	0
59	LilThug	0.35	0
60	ModifiedWalkSatBreakZero	0.40	0
61	David Lackey	0.41	0
62	cmF5a3ly	0.42	0
63	Joel Faron	0.45	0
64	Dr Roberto	0.59	0
65	Alex Fish	0.64	0
66	Khoa	0.68	0
67	Anon_K_P	0.72	0
68	Tom T	0.72	0
69	Bebe Shi	0.76	0
70	ebp	0.80	0
71	Fanny	0.85	0
72	Gewang	1.01	0
73	Qinlan Shen	1.21	0
74	Brendan Wright	1.24	0
75	Mercury	1.59	0
76	The Whitman Whale	1.78	0
77	Tiny Wings	1.79	0
78	burrito	2.03	0
79	DeeEmEm	3.89	0
80	Mark Fillmore	6.16	0
81	Linda	9.31	0
82	kt4124	11.89	0
83	Keji Xu	12.25	0
84	haoyu	12.91	0
85	Happy	13.24	0
86	CAPS LOCK	13.00	3
87	R. A. B.	9.00	9
88	Cam Porter	15.00	38
89	BMJ	15.00	55
90	T. Capote	15.00	63
91	soccer	15.00	64
92	George Okeowo	0.44	67
93	Boomshanka	15.00	68
94	RedOrangeBlue	14.99	80
95	bchouSolver	15.00	127
96	bigwig	15.00	609
97	cat	14.99	831
98	K.L.	15.00	5450
99	Solving For Clauses	15.00	1
100	Jameh	15.00	3
101	weezy	15.00	48
102	Ravi Tandon	15.00	49
103	Mickey Mouse	15.00	157
104	Supahaka	15.00	215
105	An Extremely Ordinary Sloth	15.00	11
106	Jessie Chen	15.00	63
107	Sally Smith	15.00	63
108	Sat Solver 2013	15.00	184
109	The Kraken	15.01	54
110	SuperFan	15.01	1
111	Bob Dondero	15.01	12
112	Blam	15.01	89
113	TSATTER	15.02	311
114	Jordan Ash	15.39	28
115	cjt	22.50	81
116	David Paulk	133.94	0
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist