Stats for formula: George Okeowo-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 George Okeowo-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf George Okeowo-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:	George Okeowo-1
Rank of generator:	65 / 114
Average score:	3.68
Median score:	0.19
Best solver:	Andrew Grasso
Description:	This generator creates 9x9 traditional Sudoku puzzles reduced into CNF formulas.

	Solver	Time taken	Unsat
1	Andrew Grasso	0.01	0
2	haoyu	0.01	0
3	cat	0.01	0
4	LilThug	0.01	0
5	Glenn Fisher	0.01	0
6	Elphaba	0.01	0
7	Sprt	0.01	0
8	13a	0.01	0
9	bchouSolver	0.02	0
10	Nihar the Great	0.03	0
11	An Extremely Ordinary Sloth	0.04	0
12	John Whelchel	0.04	0
13	Aristotle	0.05	0
14	Matt Goldsmith	0.05	0
15	bigwig	0.05	0
16	Green "The Bean" Choi	0.06	0
17	Jonathan Kwok	0.06	0
18	Aaron Doll	0.06	0
19	Mercury	0.08	0
20	AFC	0.09	0
21	RedOrangeBlue	0.09	0
22	CAPS LOCK	0.10	0
23	ModifiedWalkSatBreakZero	0.10	0
24	Solving For Clauses	0.11	0
25	dusty	0.11	0
26	DeeEmEm	0.12	0
27	Mark Fillmore	0.13	0
28	NA	0.13	0
29	Jameh	0.13	0
30	Quite Satisfied	0.13	0
31	Yan Wu	0.14	0
32	Nikhilesh Sigatapu	0.14	0
33	HashTagAlreadyFallBreak	0.14	0
34	spl	0.14	0
35	Fanny	0.14	0
36	CookieMonster	0.15	0
37	Sabar Dasgupta	0.15	0
38	jgs	0.15	0
39	Matt Haake	0.16	0
40	Yacob Y.	0.16	0
41	0108	0.16	0
42	Anon5	0.16	0
43	Ravi Tandon	0.16	0
44	Charlie Shucheng Zhu	0.17	0
45	Joshua Zimmer	0.17	0
46	Mike Hawk	0.17	0
47	Dr Roberto	0.17	0
48	Janie Gu	0.17	0
49	Linda	0.17	0
50	Lisa Kim	0.18	0
51	EC	0.18	0
52	burrito	0.18	0
53	David H.	0.18	0
54	Ben Chen	0.19	0
55	Aaron H	0.19	0
56	Absurdity	0.19	0
57	jabreezy	0.19	0
58	Khoa	0.19	0
59	Keji Xu	0.20	0
60	KingBach	0.20	0
61	Deric Cheng	0.21	0
62	Tao	0.22	0
63	Andrew Werner	0.24	0
64	Mr. Blobby	0.25	0
65	T. Capote	0.26	0
66	soccer	0.26	0
67	Andys	0.27	0
68	Valya Barboy	0.28	0
69	Ytterbium	0.28	0
70	Walter Little	0.29	0
71	kt4124	0.30	0
72	snowflakes	0.30	0
73	Samuel Jerome	0.30	0
74	R. A. B.	0.34	0
75	Boomshanka	0.36	0
76	Mike Honcho	0.39	0
77	Shaheed Chagani	0.39	0
78	BH	0.40	0
79	Blam	0.42	0
80	George Okeowo	0.46	0
81	dfshasdsf12	0.54	0
82	Tree Prophet	0.89	0
83	Joel Faron	1.07	0
84	The Whitman Whale	1.63	0
85	Anon_K_P	1.69	0
86	vhsiao	2.34	0
87	Tiny Wings	2.70	0
88	Tom T	7.78	0
89	Brendan Wright	12.58	0
90	Supahaka	1.46	1423
91	Cam Porter	15.00	2553
92	BMJ	15.00	2908
93	bfang	15.00	3339
94	K.L.	15.00	17506
95	weezy	15.00	8
96	Sat Solver 2013	15.00	199
97	Mickey Mouse	15.00	4130
98	The Kraken	15.01	32
99	Sally Smith	15.01	264
100	Sunny	15.02	81
101	Happy	15.12	48
102	SuperFan	15.17	3775
103	Alex Fish	15.22	2284
104	David Lackey	15.24	3120
105	Qinlan Shen	15.25	4339
106	Gewang	15.34	3363
107	Jessie Chen	15.40	3333
108	Bebe Shi	15.42	2561
109	TSATTER	15.57	4318
110	cmF5a3ly	15.60	3628
111	Bob Dondero	15.63	3616
112	cjt	22.50	1017
113	David Paulk	28.66	0
114	Jordan Ash	121.37	0
115	Miranda	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist