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

	Solver	Time taken	Unsat
1	Andrew Grasso	0.01	0
2	cat	0.04	0
3	John Whelchel	0.07	0
4	Khoa	0.07	0
5	Mickey Mouse	0.09	0
6	CAPS LOCK	0.09	0
7	Solving For Clauses	0.10	0
8	Jameh	0.10	0
9	Sabar Dasgupta	0.10	0
10	EC	0.10	0
11	Yan Wu	0.11	0
12	Charlie Shucheng Zhu	0.11	0
13	HashTagAlreadyFallBreak	0.11	0
14	Anon5	0.12	0
15	Keji Xu	0.12	0
16	Blam	0.12	0
17	dusty	0.13	0
18	Mike Hawk	0.14	0
19	Walter Little	0.14	0
20	Green "The Bean" Choi	0.14	0
21	Lisa Kim	0.15	0
22	Andrew Werner	0.15	0
23	Aaron H	0.15	0
24	jgs	0.15	0
25	Yacob Y.	0.15	0
26	T. Capote	0.15	0
27	Aristotle	0.16	0
28	Nihar the Great	0.16	0
29	Glenn Fisher	0.17	0
30	NA	0.17	0
31	Linda	0.17	0
32	Joshua Zimmer	0.17	0
33	haoyu	0.17	0
34	Sprt	0.18	0
35	Ben Chen	0.18	0
36	0108	0.18	0
37	Andys	0.18	0
38	David Paulk	0.19	0
39	KingBach	0.19	0
40	Aaron Doll	0.20	0
41	Ytterbium	0.20	0
42	spl	0.20	0
43	snowflakes	0.21	0
44	Mike Honcho	0.21	0
45	burrito	0.22	0
46	Absurdity	0.22	0
47	R. A. B.	0.24	0
48	Deric Cheng	0.25	0
49	Shaheed Chagani	0.25	0
50	CookieMonster	0.25	0
51	Mr. Blobby	0.25	0
52	Quite Satisfied	0.25	0
53	Matt Haake	0.25	0
54	kt4124	0.25	0
55	Janie Gu	0.27	0
56	BH	0.28	0
57	dfshasdsf12	0.29	0
58	bfang	0.32	0
59	soccer	0.33	0
60	jabreezy	0.34	0
61	Ravi Tandon	0.34	0
62	LilThug	0.34	0
63	Jonathan Kwok	0.35	0
64	vhsiao	0.36	0
65	Mark Fillmore	0.37	0
66	Bar Shabtai	0.37	0
67	Valya Barboy	0.39	0
68	Elphaba	0.41	0
69	Tao	0.41	0
70	Sunny	0.42	0
71	AFC	0.44	0
72	Anon_K_P	0.51	0
73	George Okeowo	0.52	0
74	Sat Solver 2013	0.52	0
75	Tree Prophet	0.64	0
76	Tom T	0.81	0
77	David H.	0.82	0
78	Joel Faron	0.90	0
79	13a	0.91	0
80	Samuel Jerome	0.94	0
81	Nikhilesh Sigatapu	1.02	0
82	An Extremely Ordinary Sloth	1.13	0
83	Matt Goldsmith	1.45	0
84	ModifiedWalkSatBreakZero	1.88	0
85	David Lackey	2.09	0
86	ebp	2.22	0
87	Alex Fish	2.33	0
88	bigwig	2.49	0
89	Brendan Wright	2.59	0
90	Sally Smith	2.75	0
91	Dr Roberto	2.96	0
92	cjt	3.12	0
93	The Whitman Whale	3.20	0
94	Bebe Shi	3.87	0
95	Qinlan Shen	4.34	0
96	Jordan Ash	4.64	0
97	DeeEmEm	5.22	0
98	Gewang	5.36	0
99	Jessie Chen	5.86	0
100	cmF5a3ly	6.64	0
101	Mercury	7.86	0
102	Tiny Wings	9.85	0
103	bchouSolver	14.21	0
104	Boomshanka	14.31	0
105	BMJ	15.00	524
106	RedOrangeBlue	14.99	1291
107	weezy	15.00	68
108	K.L.	15.00	10181
109	Supahaka	15.01	1415
110	Cam Porter	15.01	219
111	Happy	15.02	1111
112	The Kraken	15.02	11
113	Bob Dondero	15.02	642
114	SuperFan	15.10	1388
115	TSATTER	15.12	4017
116	Fanny	18.27	0
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist