Stats for formula: Andrew Grasso-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 Andrew Grasso-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Andrew Grasso-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:	Andrew Grasso-1
Rank of generator:	13 / 114
Average score:	12.97
Median score:	15.00
Best solver:	Shaheed Chagani
Description:	Generates a random 9x9 Sudoku Board.

	Solver	Time taken	Unsat
1	Shaheed Chagani	0.15	0
2	Aaron Doll	0.21	0
3	CookieMonster	0.30	0
4	Matt Haake	0.38	0
5	Matt Goldsmith	0.47	0
6	Andrew Werner	1.31	0
7	ModifiedWalkSatBreakZero	1.44	0
8	Absurdity	2.21	0
9	Walter Little	2.78	0
10	Anon5	3.56	0
11	EC	3.80	0
12	John Whelchel	3.90	0
13	Jonathan Kwok	4.59	0
14	Mike Honcho	5.45	0
15	jgs	5.48	0
16	David H.	5.63	0
17	13a	5.82	0
18	Mike Hawk	6.38	0
19	vhsiao	7.49	0
20	Ben Chen	11.07	0
21	Mr. Blobby	14.88	0
22	Andrew Grasso	15.00	1
23	Aristotle	15.00	1
24	Tao	15.00	1
25	NA	14.99	4
26	Samuel Jerome	15.00	7
27	spl	15.00	7
28	Glenn Fisher	15.00	14
29	snowflakes	15.00	17
30	Janie Gu	15.00	19
31	bfang	15.00	20
32	Mercury	15.00	24
33	CAPS LOCK	13.00	27
34	HashTagAlreadyFallBreak	15.00	28
35	R. A. B.	9.00	29
36	Nikhilesh Sigatapu	15.00	39
37	soccer	15.00	47
38	T. Capote	15.00	56
39	bigwig	15.00	60
40	bchouSolver	15.00	80
41	haoyu	15.00	108
42	Joel Faron	15.00	120
43	Dr Roberto	14.99	144
44	RedOrangeBlue	14.99	193
45	Brendan Wright	15.00	195
46	Tree Prophet	15.00	195
47	Green "The Bean" Choi	15.00	196
48	The Whitman Whale	15.00	197
49	DeeEmEm	15.00	201
50	Elphaba	0.05	232
51	George Okeowo	0.22	244
52	Cam Porter	15.00	298
53	Boomshanka	15.00	309
54	BMJ	15.00	485
55	cat	14.99	726
56	Anon_K_P	15.00	816
57	K.L.	15.00	1796
58	Fanny	15.00	1
59	Valya Barboy	15.00	1
60	Sabar Dasgupta	15.00	1
61	Joshua Zimmer	15.00	1
62	Deric Cheng	15.00	1
63	Andys	15.00	3
64	Sprt	15.00	5
65	BH	15.00	8
66	Happy	15.00	8
67	Ytterbium	15.00	9
68	dusty	15.00	10
69	KingBach	15.00	11
70	Yacob Y.	15.00	13
71	Aaron H	15.00	14
72	Nihar the Great	15.00	14
73	dfshasdsf12	15.00	20
74	Lisa Kim	15.00	24
75	LilThug	15.00	26
76	Solving For Clauses	15.00	27
77	Mark Fillmore	15.00	27
78	Jameh	15.00	28
79	Quite Satisfied	15.00	31
80	burrito	15.00	32
81	0108	15.00	32
82	An Extremely Ordinary Sloth	15.00	32
83	weezy	15.00	42
84	Linda	15.00	44
85	kt4124	15.00	45
86	Blam	15.00	48
87	Tiny Wings	15.00	48
88	Sally Smith	15.00	50
89	Keji Xu	15.00	51
90	Ravi Tandon	15.00	94
91	AFC	15.00	132
92	The Kraken	15.00	149
93	Sat Solver 2013	15.00	239
94	Khoa	15.00	244
95	Supahaka	15.00	473
96	Mickey Mouse	15.00	660
97	Bob Dondero	15.01	550
98	Miranda	15.01	26
99	Jessie Chen	15.01	46
100	TSATTER	15.01	770
101	David Lackey	15.01	6
102	Alex Fish	15.01	11
103	Bebe Shi	15.01	25
104	Gewang	15.02	13
105	cmF5a3ly	15.03	212
106	Qinlan Shen	15.03	522
107	SuperFan	15.03	530
108	Jordan Ash	15.57	178
109	Tom T	18.35	18
110	cjt	22.50	50
111	Charlie Shucheng Zhu	22.50	6
112	Yan Wu	43.08	30
113	David Paulk	-	-
114	jabreezy	-	-
115	Sunny	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist