Stats for formula: snowflakes-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 snowflakes-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf snowflakes-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:	snowflakes-0
Rank of generator:	27 / 114
Average score:	10.37
Median score:	15.00
Best solver:	haoyu
Description:	Generates a cnf sentence corresponding to a solvable sudoku

	Solver	Time taken	Unsat
1	haoyu	0.03	0
2	Elphaba	0.05	0
3	jabreezy	0.07	0
4	Sunny	0.11	0
5	Green "The Bean" Choi	0.12	0
6	Dr Roberto	0.19	0
7	Aristotle	0.21	0
8	DeeEmEm	0.24	0
9	AFC	0.29	0
10	dusty	0.30	0
11	Shaheed Chagani	0.31	0
12	CookieMonster	0.34	0
13	spl	0.45	0
14	Aaron Doll	0.49	0
15	Tree Prophet	0.51	0
16	dfshasdsf12	0.64	0
17	Glenn Fisher	0.65	0
18	David H.	0.83	0
19	Joel Faron	0.86	0
20	Nikhilesh Sigatapu	0.93	0
21	Ben Chen	1.05	0
22	Matt Haake	1.47	0
23	The Whitman Whale	1.88	0
24	HashTagAlreadyFallBreak	1.96	0
25	bfang	2.06	0
26	Joshua Zimmer	2.23	0
27	Brendan Wright	2.33	0
28	ModifiedWalkSatBreakZero	2.45	0
29	Sabar Dasgupta	2.65	0
30	Fanny	2.98	0
31	Absurdity	3.43	0
32	Matt Goldsmith	3.47	0
33	Anon5	4.61	0
34	KingBach	4.70	0
35	BH	4.85	0
36	Jonathan Kwok	4.90	0
37	Mike Hawk	6.93	0
38	Deric Cheng	7.08	0
39	Andrew Werner	7.27	0
40	Valya Barboy	10.29	0
41	jgs	12.40	0
42	vhsiao	12.71	0
43	John Whelchel	13.17	0
44	Walter Little	13.21	0
45	Andys	13.99	0
46	Charlie Shucheng Zhu	14.84	0
47	Andrew Grasso	15.00	2
48	Tao	15.00	2
49	snowflakes	15.00	10
50	NA	14.99	11
51	Samuel Jerome	15.00	12
52	13a	15.00	20
53	Janie Gu	15.00	39
54	CAPS LOCK	13.00	90
55	bchouSolver	15.00	116
56	R. A. B.	9.00	121
57	soccer	15.00	121
58	T. Capote	15.00	142
59	RedOrangeBlue	14.99	245
60	ebp	14.99	341
61	bigwig	15.00	345
62	George Okeowo	0.32	350
63	BMJ	15.00	615
64	Boomshanka	15.00	1339
65	Cam Porter	15.00	1506
66	cat	14.99	2795
67	K.L.	15.00	9537
68	Mr. Blobby	15.00	1
69	Sprt	15.00	1
70	EC	15.00	4
71	Mike Honcho	15.00	8
72	Ytterbium	15.00	18
73	Aaron H	15.00	19
74	Nihar the Great	15.00	23
75	Lisa Kim	15.00	23
76	Quite Satisfied	15.00	33
77	Yacob Y.	15.00	42
78	LilThug	15.00	65
79	Jameh	15.00	81
80	Solving For Clauses	15.00	88
81	Mark Fillmore	15.00	90
82	Keji Xu	15.00	94
83	0108	15.00	103
84	burrito	15.00	106
85	kt4124	15.00	130
86	weezy	15.00	136
87	Linda	15.00	154
88	Blam	15.00	172
89	Ravi Tandon	15.00	229
90	Khoa	15.00	350
91	Sat Solver 2013	15.00	729
92	Supahaka	15.00	2114
93	Anon_K_P	15.00	2151
94	Mickey Mouse	15.00	2300
95	An Extremely Ordinary Sloth	15.00	86
96	The Kraken	15.00	195
97	Tiny Wings	15.00	104
98	Sally Smith	15.00	160
99	Qinlan Shen	15.00	930
100	Mercury	15.01	65
101	Happy	15.01	105
102	Alex Fish	15.02	68
103	Jessie Chen	15.02	1101
104	Bebe Shi	15.04	366
105	cmF5a3ly	15.04	2061
106	Bob Dondero	15.04	2436
107	David Lackey	15.06	58
108	TSATTER	15.08	2739
109	Gewang	15.09	1303
110	SuperFan	15.11	2416
111	Tom T	18.31	22
112	cjt	22.50	133
113	Jordan Ash	26.32	170
114	David Paulk	-	-
115	Yan Wu	-	-
116	Miranda	-	-
117	Bar Shabtai	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist