Stats for formula: Bob Dondero-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 Bob Dondero-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Bob Dondero-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:	Bob Dondero-1
Rank of generator:	81 / 114
Average score:	1.79
Median score:	0.36
Best solver:	Mickey Mouse
Description:	Represents a color-picking problem: given K colors and B boxes (of varying sizes) containing crayons of various colors, what combination of boxes should I buy in order to ensure that I have at least one of every color without exceeding my goal budget G, the goal number of boxes? Guaranteed to only produce satisfiable CNFs.

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

SatSolvers Ranklist

Generators Ranklist