Stats for formula: George Okeowo-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 George Okeowo-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf George Okeowo-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:	George Okeowo-0
Rank of generator:	65 / 114
Average score:	3.77
Median score:	0.20
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	Glenn Fisher	0.01	0
4	LilThug	0.01	0
5	cat	0.01	0
6	Elphaba	0.01	0
7	Sprt	0.01	0
8	13a	0.02	0
9	bchouSolver	0.02	0
10	Nihar the Great	0.03	0
11	John Whelchel	0.04	0
12	An Extremely Ordinary Sloth	0.04	0
13	Aristotle	0.04	0
14	Matt Goldsmith	0.05	0
15	Green "The Bean" Choi	0.05	0
16	bigwig	0.06	0
17	Jonathan Kwok	0.06	0
18	Aaron Doll	0.07	0
19	RedOrangeBlue	0.08	0
20	Mercury	0.09	0
21	AFC	0.09	0
22	Quite Satisfied	0.10	0
23	dusty	0.10	0
24	HashTagAlreadyFallBreak	0.11	0
25	ModifiedWalkSatBreakZero	0.11	0
26	Solving For Clauses	0.11	0
27	DeeEmEm	0.12	0
28	Yan Wu	0.12	0
29	spl	0.12	0
30	Jameh	0.12	0
31	Mark Fillmore	0.13	0
32	Dr Roberto	0.13	0
33	Ravi Tandon	0.14	0
34	jgs	0.14	0
35	Nikhilesh Sigatapu	0.14	0
36	CookieMonster	0.14	0
37	NA	0.15	0
38	Joshua Zimmer	0.15	0
39	CAPS LOCK	0.15	0
40	Fanny	0.15	0
41	Sabar Dasgupta	0.15	0
42	0108	0.16	0
43	Charlie Shucheng Zhu	0.16	0
44	jabreezy	0.16	0
45	Mike Hawk	0.16	0
46	burrito	0.17	0
47	Yacob Y.	0.17	0
48	Matt Haake	0.17	0
49	EC	0.18	0
50	Linda	0.19	0
51	Janie Gu	0.19	0
52	David H.	0.19	0
53	Absurdity	0.19	0
54	Deric Cheng	0.20	0
55	Khoa	0.20	0
56	Anon5	0.20	0
57	Ben Chen	0.20	0
58	Andys	0.21	0
59	Lisa Kim	0.22	0
60	Aaron H	0.22	0
61	soccer	0.23	0
62	Walter Little	0.23	0
63	KingBach	0.24	0
64	Tao	0.24	0
65	Valya Barboy	0.25	0
66	T. Capote	0.26	0
67	Mr. Blobby	0.26	0
68	Andrew Werner	0.28	0
69	Keji Xu	0.29	0
70	kt4124	0.30	0
71	Samuel Jerome	0.31	0
72	Ytterbium	0.32	0
73	snowflakes	0.33	0
74	Boomshanka	0.39	0
75	R. A. B.	0.39	0
76	Blam	0.41	0
77	BH	0.41	0
78	Shaheed Chagani	0.41	0
79	Mike Honcho	0.41	0
80	George Okeowo	0.47	0
81	dfshasdsf12	0.54	0
82	Tree Prophet	0.72	0
83	Joel Faron	1.03	0
84	The Whitman Whale	1.46	0
85	Anon_K_P	1.70	0
86	Tiny Wings	2.65	0
87	vhsiao	6.24	0
88	Brendan Wright	11.57	0
89	Sunny	14.93	81
90	Supahaka	1.55	1597
91	BMJ	15.00	2878
92	bfang	15.00	3233
93	Cam Porter	15.00	3415
94	K.L.	15.00	17507
95	weezy	15.00	9
96	Sat Solver 2013	15.00	217
97	Sally Smith	15.00	1049
98	Mickey Mouse	15.00	4169
99	The Kraken	15.00	34
100	Bob Dondero	15.04	3605
101	Alex Fish	15.06	1651
102	Gewang	15.07	3526
103	Qinlan Shen	15.13	4348
104	cmF5a3ly	15.14	2990
105	TSATTER	15.15	4446
106	Happy	15.15	50
107	Bebe Shi	15.27	2248
108	Jessie Chen	15.28	3445
109	David Lackey	15.34	2233
110	SuperFan	15.40	3716
111	David Paulk	20.26	0
112	cjt	22.50	896
113	Tom T	23.32	81
114	Jordan Ash	131.81	0
115	Miranda	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist