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

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

SatSolvers Ranklist

Generators Ranklist