Stats for formula: Glenn Fisher-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 Glenn Fisher-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Glenn Fisher-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:	Glenn Fisher-0
Rank of generator:	35 / 114
Average score:	7.33
Median score:	2.06
Best solver:	Elphaba
Description:	Each CNF represents the rules and starting configuration of a randomly generated Sudoku board.

	Solver	Time taken	Unsat
1	Elphaba	0.02	0
2	haoyu	0.02	0
3	Andrew Grasso	0.05	0
4	Jonathan Kwok	0.06	0
5	jabreezy	0.08	0
6	Aaron Doll	0.10	0
7	Green "The Bean" Choi	0.10	0
8	dusty	0.12	0
9	spl	0.13	0
10	Dr Roberto	0.14	0
11	CookieMonster	0.15	0
12	Aristotle	0.15	0
13	ModifiedWalkSatBreakZero	0.16	0
14	Sunny	0.17	0
15	Tao	0.18	0
16	Shaheed Chagani	0.18	0
17	DeeEmEm	0.19	0
18	Ben Chen	0.21	0
19	EC	0.22	0
20	Charlie Shucheng Zhu	0.23	0
21	David H.	0.24	0
22	dfshasdsf12	0.25	0
23	Joshua Zimmer	0.28	0
24	NA	0.29	0
25	Janie Gu	0.31	0
26	Mr. Blobby	0.31	0
27	Mike Honcho	0.32	0
28	Andys	0.33	0
29	Matt Goldsmith	0.34	0
30	AFC	0.34	0
31	BH	0.34	0
32	Fanny	0.34	0
33	Absurdity	0.34	0
34	Quite Satisfied	0.35	0
35	Tree Prophet	0.40	0
36	Matt Haake	0.40	0
37	KingBach	0.40	0
38	vhsiao	0.41	0
39	Yacob Y.	0.46	0
40	Deric Cheng	0.49	0
41	Sabar Dasgupta	0.54	0
42	Sprt	0.56	0
43	snowflakes	0.56	0
44	Glenn Fisher	0.73	0
45	Walter Little	0.81	0
46	Joel Faron	0.82	0
47	Aaron H	0.90	0
48	Nikhilesh Sigatapu	0.91	0
49	Anon5	0.97	0
50	Mike Hawk	1.10	0
51	The Whitman Whale	1.25	0
52	John Whelchel	1.38	0
53	Yan Wu	1.53	0
54	jgs	1.54	0
55	0108	1.85	0
56	bfang	1.93	0
57	Valya Barboy	2.06	0
58	Tom T	2.13	0
59	Brendan Wright	2.49	0
60	burrito	3.37	0
61	Lisa Kim	3.87	0
62	Qinlan Shen	14.49	0
63	Andrew Werner	15.00	2
64	13a	15.00	2
65	Samuel Jerome	15.00	5
66	R. A. B.	9.00	21
67	CAPS LOCK	13.00	22
68	bchouSolver	15.00	22
69	cat	14.99	34
70	HashTagAlreadyFallBreak	15.00	41
71	soccer	15.00	49
72	T. Capote	15.00	59
73	bigwig	15.00	60
74	RedOrangeBlue	14.99	62
75	ebp	14.99	148
76	George Okeowo	0.20	153
77	Boomshanka	15.00	239
78	BMJ	15.00	594
79	Cam Porter	15.00	1811
80	Supahaka	9.80	2623
81	Anon_K_P	15.00	2730
82	K.L.	15.00	10825
83	Keji Xu	15.00	5
84	Nihar the Great	15.00	5
85	Mercury	15.00	6
86	An Extremely Ordinary Sloth	15.00	13
87	Jameh	15.00	20
88	Solving For Clauses	15.00	20
89	Mark Fillmore	15.00	23
90	Linda	15.00	40
91	LilThug	15.00	43
92	weezy	15.00	58
93	kt4124	15.00	58
94	Ravi Tandon	15.00	88
95	Blam	15.00	89
96	Khoa	15.00	153
97	Sat Solver 2013	15.00	507
98	Mickey Mouse	15.00	2287
99	Ytterbium	15.00	8
100	The Kraken	15.00	157
101	Tiny Wings	15.00	76
102	Sally Smith	15.00	57
103	Bob Dondero	15.00	2629
104	Happy	15.03	52
105	Bebe Shi	15.04	227
106	Alex Fish	15.04	40
107	cmF5a3ly	15.04	1371
108	David Lackey	15.05	62
109	Jessie Chen	15.05	659
110	Gewang	15.07	1231
111	SuperFan	15.12	2374
112	TSATTER	15.15	2869
113	cjt	22.50	49
114	Jordan Ash	32.58	153
115	David Paulk	-	-
116	Miranda	-	-
117	Bar Shabtai	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist