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

SatSolvers Ranklist

Generators Ranklist