Stats for formula: Linda-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 Linda-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Linda-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:	Linda-1
Rank of generator:	69 / 114
Average score:	3.82
Median score:	0.64
Best solver:	Andrew Grasso
Description:	Generates 18000 clauses over 100symbols. There are 4 literals per clause.

	Solver	Time taken	Unsat
1	Andrew Grasso	0.02	0
2	cat	0.06	0
3	John Whelchel	0.09	0
4	Khoa	0.12	0
5	CAPS LOCK	0.13	0
6	Charlie Shucheng Zhu	0.16	0
7	dusty	0.18	0
8	Jameh	0.19	0
9	HashTagAlreadyFallBreak	0.19	0
10	Absurdity	0.19	0
11	David Paulk	0.19	0
12	Solving For Clauses	0.19	0
13	Aristotle	0.20	0
14	jgs	0.21	0
15	Green "The Bean" Choi	0.21	0
16	Blam	0.23	0
17	Anon5	0.24	0
18	Joshua Zimmer	0.27	0
19	Glenn Fisher	0.28	0
20	Linda	0.28	0
21	T. Capote	0.28	0
22	Aaron H	0.30	0
23	spl	0.31	0
24	Mike Honcho	0.31	0
25	0108	0.32	0
26	soccer	0.32	0
27	Aaron Doll	0.32	0
28	burrito	0.32	0
29	Keji Xu	0.33	0
30	Ytterbium	0.35	0
31	NA	0.36	0
32	Nihar the Great	0.37	0
33	haoyu	0.37	0
34	kt4124	0.38	0
35	bfang	0.38	0
36	EC	0.40	0
37	Ben Chen	0.41	0
38	Matt Haake	0.42	0
39	Sunny	0.43	0
40	Ravi Tandon	0.47	0
41	BH	0.49	0
42	Sprt	0.50	0
43	Shaheed Chagani	0.51	0
44	Mike Hawk	0.52	0
45	CookieMonster	0.52	0
46	Quite Satisfied	0.53	0
47	Valya Barboy	0.55	0
48	Sabar Dasgupta	0.56	0
49	Yacob Y.	0.56	0
50	vhsiao	0.58	0
51	Walter Little	0.58	0
52	Janie Gu	0.60	0
53	dfshasdsf12	0.60	0
54	Yan Wu	0.61	0
55	Andrew Werner	0.61	0
56	jabreezy	0.61	0
57	KingBach	0.61	0
58	Tao	0.64	0
59	Lisa Kim	0.65	0
60	Andys	0.65	0
61	Mickey Mouse	0.66	0
62	Mark Fillmore	0.66	0
63	Bar Shabtai	0.70	0
64	R. A. B.	0.70	0
65	AFC	0.72	0
66	Mr. Blobby	0.74	0
67	Jonathan Kwok	0.76	0
68	Anon_K_P	0.79	0
69	Deric Cheng	0.80	0
70	Elphaba	0.80	0
71	snowflakes	0.82	0
72	Tree Prophet	1.06	0
73	LilThug	1.11	0
74	David H.	1.34	0
75	Samuel Jerome	1.39	0
76	13a	1.47	0
77	George Okeowo	1.55	0
78	Nikhilesh Sigatapu	1.83	0
79	Tom T	1.87	0
80	An Extremely Ordinary Sloth	1.89	0
81	Joel Faron	2.33	0
82	cjt	3.70	0
83	Brendan Wright	4.43	0
84	Sally Smith	4.54	0
85	Matt Goldsmith	4.57	0
86	ebp	5.28	0
87	ModifiedWalkSatBreakZero	5.70	0
88	bchouSolver	6.14	0
89	The Whitman Whale	6.35	0
90	David Lackey	6.44	0
91	Alex Fish	7.22	0
92	Dr Roberto	7.56	0
93	DeeEmEm	9.10	0
94	Qinlan Shen	9.24	0
95	Jordan Ash	9.50	0
96	Jessie Chen	10.31	0
97	Bebe Shi	13.18	0
98	Tiny Wings	14.07	0
99	Gewang	14.98	0
100	weezy	15.00	508
101	Supahaka	15.00	1467
102	RedOrangeBlue	15.00	2217
103	Happy	15.00	7746
104	bigwig	15.00	1732
105	BMJ	15.00	1913
106	K.L.	15.00	14907
107	Sat Solver 2013	15.01	1028
108	Cam Porter	15.01	286
109	SuperFan	15.02	3734
110	The Kraken	15.02	8
111	Boomshanka	15.09	2575
112	Bob Dondero	15.10	1938
113	TSATTER	15.14	6754
114	cmF5a3ly	15.18	24
115	Mercury	27.83	0
116	Fanny	53.75	0
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist