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

SatSolvers Ranklist

Generators Ranklist