Stats for formula: Matt Haake-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 Matt Haake-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Matt Haake-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:	Matt Haake-1
Rank of generator:	38 / 114
Average score:	8.08
Median score:	15.00
Best solver:	haoyu
Description:	Generates CNF formulas for random 9x9 Sudoku puzzles with a few numbers randomly filled in.

	Solver	Time taken	Unsat
1	haoyu	0.05	0
2	Sunny	0.08	0
3	dusty	0.09	0
4	Aaron Doll	0.12	0
5	Aristotle	0.13	0
6	spl	0.13	0
7	CookieMonster	0.14	0
8	HashTagAlreadyFallBreak	0.14	0
9	Dr Roberto	0.15	0
10	Shaheed Chagani	0.16	0
11	Matt Haake	0.16	0
12	vhsiao	0.17	0
13	David H.	0.19	0
14	ModifiedWalkSatBreakZero	0.20	0
15	AFC	0.21	0
16	Mike Honcho	0.24	0
17	Tree Prophet	0.26	0
18	jgs	0.27	0
19	dfshasdsf12	0.27	0
20	Joshua Zimmer	0.28	0
21	Janie Gu	0.29	0
22	Absurdity	0.29	0
23	Matt Goldsmith	0.31	0
24	Mike Hawk	0.31	0
25	Jonathan Kwok	0.33	0
26	Andrew Grasso	0.34	0
27	Lisa Kim	0.36	0
28	Anon5	0.38	0
29	Walter Little	0.40	0
30	Andys	0.46	0
31	Tao	0.47	0
32	DeeEmEm	0.47	0
33	Yacob Y.	0.47	0
34	Quite Satisfied	0.52	0
35	snowflakes	0.54	0
36	Glenn Fisher	0.66	0
37	Sabar Dasgupta	0.66	0
38	John Whelchel	0.68	0
39	EC	0.72	0
40	BH	0.73	0
41	Deric Cheng	0.81	0
42	ebp	0.83	0
43	The Whitman Whale	0.84	0
44	Valya Barboy	0.84	0
45	Yan Wu	0.88	0
46	Andrew Werner	0.95	0
47	Ben Chen	1.00	0
48	Mr. Blobby	1.28	0
49	13a	1.42	0
50	Brendan Wright	1.57	0
51	Sprt	1.77	0
52	NA	1.78	0
53	Nikhilesh Sigatapu	2.99	0
54	Fanny	4.48	0
55	Aaron H	5.05	0
56	Charlie Shucheng Zhu	11.27	0
57	Samuel Jerome	15.00	7
58	Joel Faron	15.00	11
59	bfang	15.00	14
60	CAPS LOCK	13.00	56
61	soccer	15.00	94
62	T. Capote	15.00	122
63	bchouSolver	15.00	132
64	R. A. B.	9.00	139
65	Bar Shabtai	15.00	147
66	bigwig	15.00	167
67	BMJ	15.00	270
68	Elphaba	0.06	278
69	RedOrangeBlue	14.99	286
70	George Okeowo	0.12	304
71	Boomshanka	15.00	766
72	Cam Porter	15.00	802
73	Supahaka	3.06	1155
74	cat	14.99	1510
75	K.L.	15.00	4694
76	Ytterbium	15.00	3
77	KingBach	15.00	17
78	Tiny Wings	15.00	20
79	Nihar the Great	15.00	23
80	Happy	15.00	30
81	LilThug	15.00	33
82	Mark Fillmore	15.00	41
83	0108	15.00	50
84	burrito	15.00	58
85	Jameh	15.00	60
86	Solving For Clauses	15.00	61
87	An Extremely Ordinary Sloth	15.00	74
88	Keji Xu	15.00	96
89	weezy	15.00	102
90	kt4124	15.00	111
91	Linda	15.00	118
92	Blam	15.00	157
93	Ravi Tandon	15.00	168
94	Khoa	15.00	304
95	Sat Solver 2013	15.00	489
96	Mickey Mouse	15.00	1146
97	Sally Smith	15.00	116
98	The Kraken	15.00	131
99	Green "The Bean" Choi	15.00	248
100	Mercury	15.00	51
101	Anon_K_P	15.00	1216
102	Gewang	15.01	64
103	Jessie Chen	15.01	122
104	cmF5a3ly	15.01	1105
105	Bob Dondero	15.01	1007
106	Bebe Shi	15.01	46
107	David Lackey	15.02	5
108	Alex Fish	15.03	11
109	TSATTER	15.03	1662
110	SuperFan	15.04	1314
111	Qinlan Shen	15.22	1273
112	Jordan Ash	16.25	304
113	Tom T	22.18	5
114	cjt	22.50	116
115	David Paulk	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist