Stats for formula: Walter Little-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 Walter Little-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Walter Little-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:	Walter Little-1
Rank of generator:	19 / 114
Average score:	11.53
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.03	0
2	dusty	0.20	0
3	spl	0.27	0
4	Matt Goldsmith	0.30	0
5	CookieMonster	0.33	0
6	AFC	0.52	0
7	Shaheed Chagani	0.53	0
8	Tree Prophet	0.76	0
9	ModifiedWalkSatBreakZero	0.80	0
10	Green "The Bean" Choi	0.81	0
11	Dr Roberto	0.81	0
12	Aaron Doll	1.11	0
13	Matt Haake	1.18	0
14	David H.	1.25	0
15	Joel Faron	1.74	0
16	Fanny	1.80	0
17	Joshua Zimmer	2.05	0
18	Aristotle	2.42	0
19	Jonathan Kwok	2.65	0
20	The Whitman Whale	2.99	0
21	Sprt	3.82	0
22	Sabar Dasgupta	4.25	0
23	BH	4.32	0
24	Mike Honcho	4.66	0
25	Janie Gu	4.86	0
26	Ben Chen	6.01	0
27	Anon5	6.74	0
28	Yacob Y.	6.75	0
29	Andrew Grasso	7.04	0
30	Deric Cheng	8.65	0
31	Valya Barboy	9.64	0
32	Andys	9.68	0
33	EC	10.10	0
34	Glenn Fisher	10.85	0
35	Andrew Werner	12.79	0
36	NA	14.99	1
37	jgs	14.98	1
38	Tao	15.00	2
39	bfang	15.00	3
40	vhsiao	14.98	4
41	13a	15.00	4
42	John Whelchel	15.00	10
43	Samuel Jerome	15.00	11
44	Brendan Wright	15.00	20
45	Nikhilesh Sigatapu	15.00	26
46	CAPS LOCK	13.00	32
47	R. A. B.	9.00	41
48	Elphaba	0.05	43
49	HashTagAlreadyFallBreak	15.00	45
50	cat	15.00	57
51	T. Capote	15.00	63
52	RedOrangeBlue	14.99	67
53	bigwig	15.00	67
54	soccer	15.00	75
55	ebp	14.99	98
56	George Okeowo	0.43	101
57	Boomshanka	15.00	1357
58	BMJ	15.00	1700
59	Cam Porter	15.00	3252
60	K.L.	15.00	21652
61	Mr. Blobby	15.00	1
62	Mike Hawk	15.00	1
63	KingBach	15.00	3
64	Absurdity	15.00	3
65	snowflakes	15.00	5
66	Walter Little	15.00	6
67	Aaron H	15.00	8
68	Charlie Shucheng Zhu	15.00	9
69	dfshasdsf12	15.00	22
70	Nihar the Great	15.00	24
71	Jameh	15.00	30
72	Solving For Clauses	15.00	34
73	Mark Fillmore	15.00	34
74	Quite Satisfied	15.00	34
75	bchouSolver	15.00	36
76	burrito	15.00	39
77	0108	15.00	56
78	Linda	15.00	57
79	Ravi Tandon	15.00	75
80	weezy	15.00	85
81	Blam	15.00	96
82	Sat Solver 2013	15.00	1034
83	Mickey Mouse	15.00	4036
84	Supahaka	15.00	4476
85	Ytterbium	15.00	10
86	Lisa Kim	15.00	14
87	Mercury	15.00	25
88	An Extremely Ordinary Sloth	15.00	36
89	kt4124	15.00	56
90	Khoa	15.00	101
91	Anon_K_P	15.00	4352
92	Tiny Wings	15.00	21
93	Keji Xu	15.00	24
94	LilThug	15.00	31
95	The Kraken	15.00	149
96	TSATTER	15.01	5801
97	DeeEmEm	15.01	16
98	Sally Smith	15.01	65
99	Jessie Chen	15.02	3438
100	Sunny	15.02	21
101	Happy	15.04	95
102	Qinlan Shen	15.04	2870
103	Alex Fish	15.05	1478
104	Gewang	15.11	3588
105	cmF5a3ly	15.11	5547
106	Bebe Shi	15.12	1929
107	David Lackey	15.16	1766
108	Bob Dondero	15.16	4983
109	SuperFan	15.19	4979
110	cjt	22.50	73
111	Tom T	29.68	7
112	Jordan Ash	46.22	101
113	Yan Wu	96.08	0
114	David Paulk	-	-
115	jabreezy	-	-
116	Miranda	-	-
117	Bar Shabtai	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist