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

	Solver	Time taken	Unsat
1	Elphaba	0.04	0
2	haoyu	0.04	0
3	jabreezy	0.07	0
4	Green "The Bean" Choi	0.08	0
5	Dr Roberto	0.20	0
6	Tree Prophet	0.39	0
7	ModifiedWalkSatBreakZero	0.43	0
8	Shaheed Chagani	0.45	0
9	AFC	0.56	0
10	DeeEmEm	0.58	0
11	Nikhilesh Sigatapu	0.62	0
12	Aristotle	0.69	0
13	spl	0.87	0
14	CookieMonster	1.07	0
15	Matt Goldsmith	1.16	0
16	Joel Faron	1.16	0
17	Mr. Blobby	1.18	0
18	Matt Haake	1.35	0
19	The Whitman Whale	1.38	0
20	Aaron Doll	1.58	0
21	bfang	2.34	0
22	Janie Gu	2.36	0
23	Brendan Wright	2.81	0
24	Walter Little	2.83	0
25	Ben Chen	3.18	0
26	dusty	3.24	0
27	Joshua Zimmer	3.43	0
28	Jonathan Kwok	3.74	0
29	Tao	4.26	0
30	Absurdity	4.68	0
31	David H.	5.47	0
32	vhsiao	6.39	0
33	Mike Hawk	7.11	0
34	Sunny	7.20	0
35	Sabar Dasgupta	7.63	0
36	Andys	8.13	0
37	Deric Cheng	8.23	0
38	Valya Barboy	8.61	0
39	Fanny	11.00	0
40	jgs	13.88	0
41	Andrew Werner	15.00	2
42	Andrew Grasso	15.00	3
43	NA	14.99	4
44	John Whelchel	15.00	4
45	13a	15.00	11
46	snowflakes	15.00	17
47	Samuel Jerome	15.00	19
48	Glenn Fisher	15.00	33
49	HashTagAlreadyFallBreak	15.00	39
50	CAPS LOCK	13.00	59
51	T. Capote	15.00	82
52	R. A. B.	9.00	82
53	soccer	15.00	99
54	bchouSolver	15.00	99
55	bigwig	15.00	111
56	RedOrangeBlue	14.99	215
57	George Okeowo	0.26	354
58	BMJ	15.00	367
59	Boomshanka	15.00	587
60	Cam Porter	15.00	718
61	Anon_K_P	15.00	1722
62	cat	14.99	1855
63	K.L.	15.00	5705
64	BH	15.00	2
65	Anon5	15.00	2
66	Mike Honcho	15.00	3
67	dfshasdsf12	15.00	7
68	Sprt	15.00	7
69	Aaron H	15.00	11
70	Ytterbium	15.00	16
71	Lisa Kim	15.00	18
72	Yacob Y.	15.00	19
73	Nihar the Great	15.00	31
74	EC	15.00	34
75	0108	15.00	40
76	Mark Fillmore	15.00	40
77	Quite Satisfied	15.00	41
78	Keji Xu	15.00	42
79	An Extremely Ordinary Sloth	15.00	43
80	LilThug	15.00	45
81	Tiny Wings	15.00	46
82	Jameh	15.00	63
83	Solving For Clauses	15.00	63
84	burrito	15.00	65
85	kt4124	15.00	94
86	weezy	15.00	102
87	Linda	15.00	104
88	Blam	15.00	111
89	Ravi Tandon	15.00	214
90	Khoa	15.00	354
91	Sat Solver 2013	15.00	499
92	Mickey Mouse	15.00	1117
93	Supahaka	15.00	1650
94	The Kraken	15.00	131
95	Mercury	15.00	40
96	Sally Smith	15.00	112
97	Happy	15.01	12
98	Qinlan Shen	15.01	949
99	Gewang	15.02	514
100	Alex Fish	15.02	39
101	Jessie Chen	15.02	234
102	David Lackey	15.03	36
103	Bebe Shi	15.03	107
104	Bob Dondero	15.04	1571
105	SuperFan	15.05	1432
106	cmF5a3ly	15.06	521
107	TSATTER	15.11	1879
108	Yan Wu	16.66	0
109	cjt	22.50	98
110	Charlie Shucheng Zhu	22.50	25
111	Tom T	24.60	16
112	Jordan Ash	24.95	354
113	David Paulk	-	-
114	KingBach	-	-
115	Miranda	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist