Stats for formula: Ytterbium-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 Ytterbium-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Ytterbium-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:	Ytterbium-1
Rank of generator:	71 / 114
Average score:	3.37
Median score:	0.21
Best solver:	Nihar the Great
Description:	This generator produces sentences from instances of the dinner party planning problem. The clauses are guaranteed to be satisifiable.

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

SatSolvers Ranklist

Generators Ranklist