Stats for formula: Daffy Duck-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 Daffy Duck-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Daffy Duck-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:	Daffy Duck-1
Rank of generator:	87 / 114
Average score:	1.26
Median score:	0.02
Best solver:	haoyu
Description:	Generator is based on the Dinner Party problem. 6 people are invited to dinner and 10 random pairs of people refuse to sit next to each other.

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

SatSolvers Ranklist

Generators Ranklist