Stats for formula: snowflakes-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 snowflakes-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf snowflakes-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:	snowflakes-1
Rank of generator:	27 / 114
Average score:	10.17
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.04	0
3	jabreezy	0.06	0
4	Sunny	0.11	0
5	Green "The Bean" Choi	0.12	0
6	Aristotle	0.12	0
7	Dr Roberto	0.16	0
8	dusty	0.23	0
9	spl	0.23	0
10	DeeEmEm	0.26	0
11	Shaheed Chagani	0.28	0
12	AFC	0.31	0
13	Tree Prophet	0.47	0
14	ModifiedWalkSatBreakZero	0.54	0
15	Aaron Doll	0.65	0
16	Matt Goldsmith	0.69	0
17	Joel Faron	0.91	0
18	Matt Haake	0.93	0
19	HashTagAlreadyFallBreak	0.97	0
20	Nikhilesh Sigatapu	0.98	0
21	Jonathan Kwok	1.38	0
22	KingBach	1.69	0
23	The Whitman Whale	1.71	0
24	Joshua Zimmer	2.02	0
25	bfang	2.06	0
26	vhsiao	2.11	0
27	Andys	2.20	0
28	dfshasdsf12	2.36	0
29	Anon5	2.43	0
30	Glenn Fisher	2.44	0
31	Brendan Wright	2.47	0
32	CookieMonster	2.67	0
33	Fanny	2.88	0
34	Valya Barboy	3.00	0
35	Ben Chen	3.03	0
36	BH	3.52	0
37	David H.	3.54	0
38	EC	5.03	0
39	Mike Honcho	6.66	0
40	Andrew Werner	9.39	0
41	Mr. Blobby	9.78	0
42	jgs	10.70	0
43	Yacob Y.	11.40	0
44	Walter Little	13.08	0
45	Sabar Dasgupta	13.60	0
46	Andrew Grasso	15.00	1
47	Tao	15.00	2
48	NA	14.99	8
49	Samuel Jerome	15.00	12
50	13a	15.00	14
51	John Whelchel	15.00	18
52	Janie Gu	15.00	28
53	snowflakes	15.00	32
54	CAPS LOCK	13.00	94
55	R. A. B.	9.00	112
56	bchouSolver	15.00	124
57	T. Capote	15.00	127
58	soccer	15.00	135
59	bigwig	15.00	203
60	RedOrangeBlue	14.99	231
61	ebp	14.99	342
62	George Okeowo	0.34	351
63	BMJ	15.00	735
64	Boomshanka	15.00	1093
65	Cam Porter	15.00	1587
66	cat	14.99	2540
67	K.L.	15.00	8725
68	Mike Hawk	15.00	2
69	Deric Cheng	15.00	2
70	Sprt	15.00	2
71	Aaron H	15.00	12
72	Ytterbium	15.00	21
73	Lisa Kim	15.00	31
74	Nihar the Great	15.00	33
75	Quite Satisfied	15.00	51
76	Mark Fillmore	15.00	80
77	0108	15.00	82
78	Happy	15.00	86
79	Jameh	15.00	95
80	Solving For Clauses	15.00	95
81	Keji Xu	15.00	123
82	weezy	15.00	134
83	Linda	15.00	149
84	kt4124	15.00	151
85	Blam	15.00	158
86	Ravi Tandon	15.00	221
87	Khoa	15.00	351
88	Sat Solver 2013	15.00	582
89	Supahaka	15.00	1947
90	Mickey Mouse	15.00	2390
91	Absurdity	15.00	11
92	LilThug	15.00	67
93	An Extremely Ordinary Sloth	15.00	84
94	burrito	15.00	111
95	Anon_K_P	15.00	1897
96	Sally Smith	15.00	151
97	The Kraken	15.00	196
98	Tiny Wings	15.01	73
99	Mercury	15.01	69
100	Qinlan Shen	15.01	982
101	Bebe Shi	15.01	306
102	David Lackey	15.04	49
103	Gewang	15.05	858
104	Alex Fish	15.06	53
105	cmF5a3ly	15.06	1083
106	Jessie Chen	15.07	603
107	Bob Dondero	15.08	2553
108	SuperFan	15.09	2508
109	TSATTER	15.20	3079
110	Tom T	17.91	33
111	cjt	22.50	149
112	Charlie Shucheng Zhu	22.50	1
113	Jordan Ash	27.88	159
114	David Paulk	-	-
115	Yan Wu	-	-
116	Miranda	-	-
117	Bar Shabtai	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist