Stats for formula: NA-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 NA-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf NA-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:	NA-0
Rank of generator:	20 / 114
Average score:	12.34
Median score:	15.00
Best solver:	haoyu
Description:	Sudoku Puzzle

	Solver	Time taken	Unsat
1	haoyu	0.03	0
2	Green "The Bean" Choi	0.12	0
3	dusty	0.19	0
4	CookieMonster	0.26	0
5	Matt Goldsmith	0.35	0
6	Dr Roberto	0.36	0
7	Shaheed Chagani	0.38	0
8	Tree Prophet	0.39	0
9	Nikhilesh Sigatapu	0.69	0
10	DeeEmEm	0.78	0
11	ModifiedWalkSatBreakZero	1.05	0
12	Aaron Doll	1.25	0
13	The Whitman Whale	1.31	0
14	Brendan Wright	2.75	0
15	bfang	2.87	0
16	Aristotle	3.00	0
17	snowflakes	4.03	0
18	Joel Faron	4.07	0
19	spl	4.20	0
20	Mike Hawk	4.67	0
21	BH	4.92	0
22	Matt Haake	6.45	0
23	Ben Chen	11.87	0
24	AFC	12.76	0
25	Mike Honcho	14.06	0
26	Andrew Werner	15.00	1
27	Tao	15.00	1
28	jgs	14.98	2
29	NA	14.99	5
30	Andrew Grasso	15.00	5
31	13a	15.00	9
32	Samuel Jerome	15.00	25
33	vhsiao	14.98	26
34	HashTagAlreadyFallBreak	15.00	29
35	John Whelchel	15.00	32
36	Janie Gu	15.00	37
37	Mercury	15.00	37
38	Glenn Fisher	15.00	40
39	CAPS LOCK	13.00	66
40	bchouSolver	15.00	82
41	R. A. B.	9.00	85
42	soccer	15.00	93
43	T. Capote	15.00	112
44	bigwig	15.00	113
45	Elphaba	0.03	138
46	RedOrangeBlue	14.99	228
47	BMJ	15.00	279
48	George Okeowo	0.22	352
49	Sunny	14.97	352
50	Boomshanka	15.00	610
51	Cam Porter	15.00	692
52	Anon_K_P	15.00	1622
53	cat	14.99	1769
54	K.L.	15.00	5117
55	Anon5	15.00	1
56	Fanny	15.00	2
57	Mr. Blobby	15.00	2
58	Jonathan Kwok	15.00	2
59	Andys	15.00	3
60	dfshasdsf12	15.00	4
61	Sabar Dasgupta	15.00	4
62	Valya Barboy	15.00	6
63	Deric Cheng	15.00	6
64	Joshua Zimmer	15.00	7
65	Absurdity	15.00	8
66	Happy	15.00	10
67	Sprt	15.00	11
68	Aaron H	15.00	15
69	Ytterbium	15.00	22
70	Walter Little	15.00	27
71	Lisa Kim	15.00	36
72	EC	15.00	37
73	Quite Satisfied	15.00	37
74	Nihar the Great	15.00	39
75	Yacob Y.	15.00	41
76	0108	15.00	50
77	Mark Fillmore	15.00	53
78	An Extremely Ordinary Sloth	15.00	57
79	Jameh	15.00	57
80	Solving For Clauses	15.00	59
81	burrito	15.00	71
82	kt4124	15.00	91
83	weezy	15.00	116
84	Blam	15.00	126
85	Linda	15.00	127
86	Ravi Tandon	15.00	210
87	Khoa	15.00	352
88	Sat Solver 2013	15.00	430
89	Mickey Mouse	15.00	1053
90	Supahaka	15.00	1456
91	David H.	15.00	2013
92	Keji Xu	15.00	40
93	LilThug	15.00	43
94	Tiny Wings	15.00	48
95	The Kraken	15.00	127
96	Sally Smith	15.00	111
97	cmF5a3ly	15.00	452
98	Alex Fish	15.01	37
99	Jessie Chen	15.01	294
100	SuperFan	15.02	1468
101	Qinlan Shen	15.02	898
102	David Lackey	15.03	39
103	Gewang	15.04	581
104	Bebe Shi	15.05	92
105	TSATTER	15.06	1930
106	Bob Dondero	15.07	1383
107	cjt	22.50	114
108	Charlie Shucheng Zhu	22.50	23
109	Tom T	24.60	20
110	Jordan Ash	26.14	352
111	David Paulk	-	-
112	Yan Wu	-	-
113	KingBach	-	-
114	jabreezy	-	-
115	Miranda	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist