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

SatSolvers Ranklist

Generators Ranklist