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

SatSolvers Ranklist

Generators Ranklist