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

	Solver	Time taken	Unsat
1	Aaron Doll	0.18	0
2	CookieMonster	0.22	0
3	Shaheed Chagani	0.26	0
4	Tao	0.28	0
5	Mike Hawk	0.36	0
6	Matt Haake	0.42	0
7	ModifiedWalkSatBreakZero	0.46	0
8	Jonathan Kwok	0.53	0
9	Absurdity	0.56	0
10	John Whelchel	0.62	0
11	Yacob Y.	0.74	0
12	Walter Little	0.75	0
13	Joshua Zimmer	0.79	0
14	jgs	0.81	0
15	Sabar Dasgupta	1.38	0
16	Valya Barboy	1.65	0
17	Ben Chen	1.66	0
18	Andrew Werner	1.78	0
19	Mr. Blobby	2.13	0
20	Glenn Fisher	3.10	0
21	13a	3.49	0
22	vhsiao	3.71	0
23	Deric Cheng	3.94	0
24	Andrew Grasso	5.26	0
25	David H.	5.54	0
26	Matt Goldsmith	5.56	0
27	Anon5	7.12	0
28	snowflakes	8.83	0
29	Mike Honcho	9.25	0
30	Aristotle	14.06	0
31	NA	14.99	4
32	spl	15.00	5
33	Samuel Jerome	15.00	11
34	Janie Gu	15.00	15
35	bfang	15.00	22
36	Mercury	15.00	23
37	Bar Shabtai	15.00	25
38	CAPS LOCK	13.00	26
39	HashTagAlreadyFallBreak	15.00	26
40	R. A. B.	9.00	30
41	Nikhilesh Sigatapu	15.00	45
42	T. Capote	15.00	46
43	bigwig	15.00	48
44	soccer	15.00	55
45	bchouSolver	15.00	89
46	haoyu	15.00	104
47	Joel Faron	15.00	116
48	Boomshanka	15.00	122
49	The Kraken	15.00	127
50	Green "The Bean" Choi	15.00	175
51	RedOrangeBlue	14.99	192
52	Dr Roberto	14.99	193
53	Brendan Wright	15.00	195
54	Tree Prophet	15.00	195
55	The Whitman Whale	15.00	195
56	DeeEmEm	15.00	197
57	Elphaba	0.04	229
58	George Okeowo	0.16	244
59	Cam Porter	15.00	381
60	Supahaka	5.52	477
61	BMJ	15.00	505
62	cat	14.99	717
63	Anon_K_P	15.00	883
64	K.L.	15.00	1648
65	Andys	15.00	1
66	Fanny	15.00	2
67	Happy	15.00	5
68	Sprt	15.00	6
69	KingBach	15.00	10
70	Ytterbium	15.00	10
71	dusty	15.00	10
72	BH	15.00	11
73	Nihar the Great	15.00	11
74	EC	15.00	11
75	Aaron H	15.00	14
76	Tiny Wings	15.00	21
77	dfshasdsf12	15.00	23
78	Solving For Clauses	15.00	25
79	Lisa Kim	15.00	25
80	Mark Fillmore	15.00	26
81	Jameh	15.00	28
82	An Extremely Ordinary Sloth	15.00	29
83	LilThug	15.00	29
84	0108	15.00	32
85	Quite Satisfied	15.00	34
86	burrito	15.00	36
87	weezy	15.00	44
88	Linda	15.00	46
89	Blam	15.00	54
90	kt4124	15.00	54
91	Keji Xu	15.00	58
92	Ravi Tandon	15.00	102
93	AFC	15.00	115
94	Sat Solver 2013	15.00	211
95	Khoa	15.00	244
96	Mickey Mouse	15.00	685
97	David Lackey	15.00	12
98	Sally Smith	15.00	54
99	cmF5a3ly	15.01	348
100	Miranda	15.01	25
101	Jessie Chen	15.01	47
102	Gewang	15.01	14
103	Bebe Shi	15.01	22
104	Alex Fish	15.02	14
105	Bob Dondero	15.03	559
106	Qinlan Shen	15.04	553
107	TSATTER	15.04	773
108	SuperFan	15.04	539
109	Jordan Ash	15.31	190
110	Tom T	18.51	17
111	cjt	22.50	44
112	Charlie Shucheng Zhu	22.50	8
113	Yan Wu	43.62	15
114	David Paulk	-	-
115	jabreezy	-	-
116	Sunny	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist