Stats for formula: Matt Haake-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 Matt Haake-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Matt Haake-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:	Matt Haake-0
Rank of generator:	38 / 114
Average score:	8.02
Median score:	14.21
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	Aristotle	0.10	0
3	dusty	0.11	0
4	CookieMonster	0.12	0
5	Andrew Grasso	0.12	0
6	Sunny	0.12	0
7	Shaheed Chagani	0.12	0
8	spl	0.12	0
9	jgs	0.14	0
10	Aaron Doll	0.15	0
11	Dr Roberto	0.15	0
12	ModifiedWalkSatBreakZero	0.16	0
13	AFC	0.20	0
14	Matt Haake	0.20	0
15	Mike Hawk	0.27	0
16	Tree Prophet	0.28	0
17	Mr. Blobby	0.30	0
18	Joshua Zimmer	0.31	0
19	Mike Honcho	0.32	0
20	Tao	0.33	0
21	Yacob Y.	0.33	0
22	Glenn Fisher	0.34	0
23	Sabar Dasgupta	0.38	0
24	snowflakes	0.39	0
25	HashTagAlreadyFallBreak	0.39	0
26	Quite Satisfied	0.40	0
27	Jonathan Kwok	0.40	0
28	Janie Gu	0.41	0
29	Matt Goldsmith	0.44	0
30	David H.	0.44	0
31	Absurdity	0.45	0
32	EC	0.48	0
33	Anon5	0.49	0
34	Andrew Werner	0.50	0
35	DeeEmEm	0.54	0
36	Nikhilesh Sigatapu	0.54	0
37	Andys	0.58	0
38	dfshasdsf12	0.67	0
39	Lisa Kim	0.69	0
40	vhsiao	0.70	0
41	BH	0.73	0
42	Valya Barboy	0.82	0
43	ebp	0.86	0
44	Ben Chen	0.86	0
45	John Whelchel	0.87	0
46	The Whitman Whale	1.04	0
47	Deric Cheng	1.30	0
48	Walter Little	1.35	0
49	Sprt	1.55	0
50	bfang	1.64	0
51	Brendan Wright	1.70	0
52	NA	1.93	0
53	Aaron H	3.71	0
54	Fanny	3.89	0
55	Anon_K_P	4.39	0
56	Yan Wu	4.67	0
57	Charlie Shucheng Zhu	14.21	0
58	Samuel Jerome	15.00	4
59	Joel Faron	15.00	5
60	13a	15.00	8
61	CAPS LOCK	13.00	61
62	T. Capote	15.00	100
63	soccer	15.00	106
64	Bar Shabtai	15.00	108
65	bigwig	15.00	132
66	R. A. B.	9.00	137
67	bchouSolver	15.00	140
68	Green "The Bean" Choi	15.00	246
69	BMJ	15.00	253
70	RedOrangeBlue	14.99	285
71	Elphaba	0.05	296
72	George Okeowo	0.13	304
73	Cam Porter	15.00	639
74	Boomshanka	15.00	746
75	cat	14.99	1753
76	K.L.	15.00	5531
77	KingBach	15.00	4
78	Ytterbium	15.00	5
79	Nihar the Great	15.00	18
80	LilThug	15.00	28
81	Tiny Wings	15.00	32
82	Mark Fillmore	15.00	33
83	Happy	15.00	35
84	Mercury	15.00	47
85	Jameh	15.00	57
86	Solving For Clauses	15.00	62
87	burrito	15.00	64
88	0108	15.00	71
89	An Extremely Ordinary Sloth	15.00	72
90	weezy	15.00	100
91	Linda	15.00	101
92	kt4124	15.00	105
93	Blam	15.00	109
94	Ravi Tandon	15.00	163
95	Khoa	15.00	304
96	Sat Solver 2013	15.00	525
97	Supahaka	15.00	1214
98	SuperFan	15.00	1254
99	Mickey Mouse	15.00	1350
100	Keji Xu	15.00	106
101	The Kraken	15.00	130
102	Sally Smith	15.00	108
103	Alex Fish	15.01	6
104	Jessie Chen	15.02	122
105	cmF5a3ly	15.02	1599
106	Bob Dondero	15.02	1232
107	David Lackey	15.03	14
108	Gewang	15.03	96
109	Bebe Shi	15.03	40
110	TSATTER	15.08	1751
111	Qinlan Shen	15.23	1451
112	Jordan Ash	15.29	304
113	Tom T	21.97	3
114	cjt	22.50	123
115	David Paulk	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist