Stats for formula: Walter Little-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 Walter Little-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Walter Little-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:	Walter Little-0
Rank of generator:	19 / 114
Average score:	12.00
Median score:	15.00
Best solver:	haoyu
Description:	This generator generates random CNF formulas correspondingto a Sudoku 9x9 board with 20 cells filled in.

	Solver	Time taken	Unsat
1	haoyu	0.04	0
2	spl	0.19	0
3	dusty	0.39	0
4	Green "The Bean" Choi	0.43	0
5	Shaheed Chagani	0.46	0
6	Aaron Doll	0.53	0
7	Tree Prophet	0.90	0
8	Matt Goldsmith	1.27	0
9	ModifiedWalkSatBreakZero	1.52	0
10	Matt Haake	1.54	0
11	vhsiao	2.20	0
12	The Whitman Whale	2.77	0
13	Fanny	3.07	0
14	Aristotle	3.17	0
15	dfshasdsf12	4.08	0
16	Mr. Blobby	4.48	0
17	Brendan Wright	4.67	0
18	Janie Gu	4.90	0
19	Dr Roberto	5.23	0
20	Mike Honcho	5.64	0
21	Andrew Werner	5.81	0
22	Ben Chen	6.01	0
23	jgs	6.42	0
24	Yacob Y.	7.21	0
25	Walter Little	7.85	0
26	NA	8.35	0
27	Andrew Grasso	8.63	0
28	Sprt	8.96	0
29	DeeEmEm	9.68	0
30	David H.	9.75	0
31	CookieMonster	10.08	0
32	BH	11.08	0
33	Sabar Dasgupta	12.19	0
34	Tao	15.00	2
35	Glenn Fisher	15.00	6
36	13a	15.00	6
37	John Whelchel	15.00	7
38	Joel Faron	15.00	8
39	snowflakes	15.00	8
40	Samuel Jerome	15.00	10
41	bfang	15.00	14
42	bchouSolver	15.00	36
43	CAPS LOCK	13.00	37
44	R. A. B.	9.00	39
45	Nikhilesh Sigatapu	15.00	40
46	HashTagAlreadyFallBreak	15.00	42
47	cat	14.99	54
48	Elphaba	0.04	57
49	T. Capote	15.00	62
50	RedOrangeBlue	14.99	69
51	bigwig	15.00	69
52	soccer	15.00	78
53	ebp	14.99	98
54	George Okeowo	0.47	101
55	Boomshanka	15.00	1267
56	BMJ	15.00	1919
57	Cam Porter	15.00	3052
58	K.L.	15.00	22644
59	Andys	15.00	1
60	Valya Barboy	15.00	1
61	Mike Hawk	15.00	1
62	Deric Cheng	15.00	1
63	Anon5	15.00	1
64	Jonathan Kwok	15.00	2
65	KingBach	15.00	4
66	Absurdity	15.00	6
67	EC	15.00	8
68	Aaron H	15.00	10
69	Lisa Kim	15.00	11
70	Quite Satisfied	15.00	20
71	Nihar the Great	15.00	24
72	AFC	15.00	25
73	An Extremely Ordinary Sloth	15.00	30
74	LilThug	15.00	34
75	Solving For Clauses	15.00	35
76	Mark Fillmore	15.00	35
77	Jameh	15.00	36
78	0108	15.00	39
79	Linda	15.00	58
80	burrito	15.00	64
81	Blam	15.00	67
82	Ravi Tandon	15.00	73
83	weezy	15.00	78
84	Khoa	15.00	101
85	Supahaka	15.00	3779
86	Mickey Mouse	15.00	4610
87	Joshua Zimmer	15.00	1
88	Ytterbium	15.00	8
89	kt4124	15.00	63
90	Sally Smith	15.00	100
91	Sat Solver 2013	15.00	920
92	Mercury	15.01	27
93	The Kraken	15.01	198
94	Anon_K_P	15.01	3860
95	Tiny Wings	15.01	23
96	Bob Dondero	15.01	5123
97	Keji Xu	15.03	24
98	Happy	15.03	90
99	Gewang	15.03	3435
100	Sunny	15.04	18
101	Qinlan Shen	15.04	3184
102	David Lackey	15.04	1814
103	Alex Fish	15.05	1015
104	Bebe Shi	15.07	1713
105	TSATTER	15.09	5086
106	Jessie Chen	15.10	3654
107	SuperFan	15.11	4800
108	cmF5a3ly	15.20	3676
109	cjt	22.50	74
110	Charlie Shucheng Zhu	22.50	5
111	Tom T	29.79	11
112	Jordan Ash	49.24	101
113	David Paulk	-	-
114	Yan Wu	-	-
115	jabreezy	-	-
116	Miranda	-	-
117	Bar Shabtai	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist