Stats for formula: Dusty-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 Dusty-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Dusty-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:	Dusty-1
Rank of generator:	3 / 114
Average score:	13.54
Median score:	15.00
Best solver:	Shaheed Chagani
Description:	This sudoku generator has the original rules of sudoku pre-generated in the form of a cnf, and then spawns 16 new initial clues for the puzzle. These 16 clues are then added to the cnf as new single positive literal clauses. 16 was chosen because it is the cutoff for which a solution always exists (no longer unique)

	Solver	Time taken	Unsat
1	Shaheed Chagani	0.22	0
2	CookieMonster	0.30	0
3	Aaron Doll	0.32	0
4	ModifiedWalkSatBreakZero	0.39	0
5	Ben Chen	1.29	0
6	Matt Haake	1.37	0
7	Walter Little	1.67	0
8	Mike Hawk	2.81	0
9	Mr. Blobby	3.07	0
10	Tao	4.27	0
11	vhsiao	5.87	0
12	Yacob Y.	8.23	0
13	Mike Honcho	10.29	0
14	Jonathan Kwok	11.37	0
15	Andrew Werner	13.31	0
16	Absurdity	13.32	0
17	jgs	13.78	0
18	Andrew Grasso	15.00	1
19	13a	15.00	2
20	spl	15.00	4
21	NA	14.99	6
22	Aristotle	15.00	6
23	Matt Goldsmith	15.00	10
24	Glenn Fisher	15.00	11
25	Samuel Jerome	15.00	11
26	John Whelchel	15.00	19
27	Janie Gu	15.00	22
28	Mercury	15.00	23
29	bfang	15.00	23
30	HashTagAlreadyFallBreak	15.00	30
31	snowflakes	15.00	31
32	CAPS LOCK	13.00	32
33	Nikhilesh Sigatapu	15.00	38
34	R. A. B.	9.00	41
35	soccer	15.00	41
36	Joel Faron	15.00	53
37	T. Capote	15.00	58
38	bigwig	15.00	79
39	bchouSolver	15.00	80
40	Dr Roberto	14.99	99
41	haoyu	15.00	105
42	Boomshanka	15.00	120
43	The Whitman Whale	15.00	163
44	Brendan Wright	15.00	164
45	DeeEmEm	15.00	176
46	Green "The Bean" Choi	15.00	176
47	RedOrangeBlue	14.99	180
48	Elphaba	0.04	187
49	Cam Porter	15.00	246
50	George Okeowo	0.13	259
51	Sunny	14.87	259
52	cat	14.99	552
53	BMJ	15.00	615
54	Supahaka	0.64	618
55	K.L.	15.00	1748
56	Sabar Dasgupta	15.00	1
57	Deric Cheng	15.00	1
58	Anon5	15.00	1
59	Fanny	15.00	2
60	Valya Barboy	15.00	2
61	Joshua Zimmer	15.00	2
62	Sprt	15.00	2
63	Andys	15.00	5
64	EC	15.00	7
65	KingBach	15.00	12
66	Nihar the Great	15.00	12
67	BH	15.00	13
68	dusty	15.00	13
69	Aaron H	15.00	15
70	Ytterbium	15.00	15
71	dfshasdsf12	15.00	19
72	Mark Fillmore	15.00	23
73	Tiny Wings	15.00	24
74	Lisa Kim	15.00	25
75	An Extremely Ordinary Sloth	15.00	30
76	Jameh	15.00	31
77	LilThug	15.00	31
78	Solving For Clauses	15.00	33
79	0108	15.00	34
80	Quite Satisfied	15.00	34
81	Keji Xu	15.00	36
82	burrito	15.00	40
83	weezy	15.00	45
84	kt4124	15.00	53
85	Linda	15.00	57
86	Blam	15.00	70
87	Ravi Tandon	15.00	136
88	Tree Prophet	15.00	161
89	AFC	15.00	166
90	The Kraken	15.00	219
91	Khoa	15.00	259
92	Mickey Mouse	15.00	354
93	David H.	15.00	657
94	Sally Smith	15.00	54
95	Bob Dondero	15.00	537
96	Anon_K_P	15.00	665
97	Alex Fish	15.00	17
98	Gewang	15.01	16
99	Bebe Shi	15.01	26
100	Happy	15.01	8
101	David Lackey	15.01	15
102	Jessie Chen	15.02	55
103	cmF5a3ly	15.03	23
104	TSATTER	15.03	721
105	SuperFan	15.03	526
106	Sat Solver 2013	15.06	290
107	Qinlan Shen	15.16	453
108	Tom T	15.91	22
109	Jordan Ash	20.07	65
110	cjt	22.50	46
111	Charlie Shucheng Zhu	22.50	9
112	Yan Wu	41.62	27
113	David Paulk	-	-
114	jabreezy	-	-
115	Miranda	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist