Stats for formula: Dr Roberto-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 Dr Roberto-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Dr Roberto-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:	Dr Roberto-1
Rank of generator:	73 / 114
Average score:	2.64
Median score:	0.22
Best solver:	Andrew Grasso
Description:	Generates cnf formulas based on the real problem of having to purchase 6 types of objects having a choice of 48 random objects and having to spend less than 60 dollars

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

SatSolvers Ranklist

Generators Ranklist