Stats for formula: Dusty-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 Dusty-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Dusty-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:	Dusty-0
Rank of generator:	3 / 114
Average score:	14.12
Median score:	15.00
Best solver:	CookieMonster
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	CookieMonster	1.39	0
2	Aaron Doll	1.52	0
3	Shaheed Chagani	1.65	0
4	Matt Haake	2.61	0
5	Mike Hawk	3.01	0
6	Andrew Werner	4.18	0
7	David H.	5.39	0
8	ModifiedWalkSatBreakZero	8.18	0
9	Absurdity	8.81	0
10	jgs	14.98	1
11	Andrew Grasso	15.00	1
12	Tao	15.00	1
13	13a	15.00	6
14	Aristotle	15.00	6
15	spl	15.00	6
16	NA	14.99	8
17	Glenn Fisher	15.00	10
18	Samuel Jerome	15.00	11
19	vhsiao	14.98	12
20	Janie Gu	15.00	16
21	bfang	15.00	19
22	snowflakes	15.00	20
23	John Whelchel	15.00	20
24	Matt Goldsmith	15.00	22
25	CAPS LOCK	13.00	28
26	HashTagAlreadyFallBreak	15.00	32
27	R. A. B.	9.00	39
28	soccer	15.00	43
29	Nikhilesh Sigatapu	15.00	44
30	T. Capote	15.00	53
31	Joel Faron	15.00	54
32	bigwig	15.00	63
33	bchouSolver	15.00	83
34	haoyu	15.00	106
35	Boomshanka	15.00	141
36	Dr Roberto	14.99	149
37	RedOrangeBlue	14.99	169
38	DeeEmEm	15.00	171
39	The Whitman Whale	15.00	172
40	Tree Prophet	15.00	173
41	Brendan Wright	15.00	174
42	Green "The Bean" Choi	15.00	175
43	Elphaba	0.04	191
44	George Okeowo	0.12	259
45	Sunny	14.84	259
46	Cam Porter	15.00	329
47	cat	14.99	563
48	Supahaka	2.59	605
49	BMJ	15.00	763
50	K.L.	15.00	1818
51	Mr. Blobby	15.00	1
52	Sabar Dasgupta	15.00	1
53	Jonathan Kwok	15.00	1
54	Ben Chen	15.00	1
55	Anon5	15.00	1
56	Joshua Zimmer	15.00	2
57	Mike Honcho	15.00	3
58	Valya Barboy	15.00	3
59	Deric Cheng	15.00	3
60	Sprt	15.00	3
61	Fanny	15.00	4
62	Andys	15.00	4
63	Happy	15.00	8
64	Yacob Y.	15.00	9
65	dusty	15.00	11
66	KingBach	15.00	12
67	Nihar the Great	15.00	12
68	EC	15.00	12
69	Ytterbium	15.00	14
70	Aaron H	15.00	15
71	BH	15.00	16
72	Walter Little	15.00	18
73	dfshasdsf12	15.00	19
74	Lisa Kim	15.00	22
75	Tiny Wings	15.00	27
76	Quite Satisfied	15.00	29
77	Jameh	15.00	30
78	LilThug	15.00	30
79	Mark Fillmore	15.00	31
80	An Extremely Ordinary Sloth	15.00	32
81	Solving For Clauses	15.00	32
82	burrito	15.00	43
83	0108	15.00	47
84	weezy	15.00	49
85	Keji Xu	15.00	49
86	Sally Smith	15.00	49
87	Blam	15.00	52
88	Linda	15.00	55
89	kt4124	15.00	56
90	Ravi Tandon	15.00	129
91	AFC	15.00	160
92	The Kraken	15.00	189
93	Sat Solver 2013	15.00	228
94	Khoa	15.00	259
95	Mickey Mouse	15.00	575
96	Mercury	15.00	25
97	Anon_K_P	15.00	616
98	Bebe Shi	15.00	31
99	Alex Fish	15.01	12
100	Jessie Chen	15.01	52
101	David Lackey	15.01	15
102	Qinlan Shen	15.01	512
103	Gewang	15.01	22
104	cmF5a3ly	15.02	391
105	SuperFan	15.02	572
106	Bob Dondero	15.02	542
107	TSATTER	15.03	721
108	Tom T	16.92	23
109	Jordan Ash	18.76	69
110	cjt	22.50	55
111	Charlie Shucheng Zhu	22.50	11
112	Yan Wu	41.55	26
113	David Paulk	-	-
114	jabreezy	-	-
115	Miranda	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist