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

	Solver	Time taken	Unsat
1	jabreezy	0.09	0
2	Green "The Bean" Choi	0.10	0
3	dusty	0.18	0
4	Shaheed Chagani	0.23	0
5	CookieMonster	0.29	0
6	spl	0.34	0
7	ModifiedWalkSatBreakZero	0.37	0
8	David H.	0.39	0
9	Matt Haake	0.40	0
10	DeeEmEm	0.41	0
11	Aristotle	0.79	0
12	KingBach	0.85	0
13	NA	0.91	0
14	BH	1.06	0
15	Dr Roberto	1.07	0
16	Fanny	1.12	0
17	Nikhilesh Sigatapu	1.14	0
18	Andys	1.42	0
19	Mike Honcho	1.45	0
20	Tao	1.48	0
21	Aaron Doll	1.49	0
22	Jonathan Kwok	1.62	0
23	Joshua Zimmer	2.43	0
24	Yacob Y.	2.65	0
25	bfang	2.66	0
26	dfshasdsf12	2.87	0
27	jgs	2.88	0
28	Matt Goldsmith	3.48	0
29	Sprt	4.21	0
30	Lisa Kim	5.03	0
31	Janie Gu	5.13	0
32	Mike Hawk	6.05	0
33	Deric Cheng	6.16	0
34	The Whitman Whale	6.53	0
35	Glenn Fisher	7.25	0
36	Mr. Blobby	7.34	0
37	Tree Prophet	8.10	0
38	Sabar Dasgupta	9.54	0
39	snowflakes	9.90	0
40	Yan Wu	10.87	0
41	Ben Chen	11.54	0
42	EC	12.50	0
43	Andrew Grasso	12.74	0
44	Andrew Werner	15.00	1
45	haoyu	14.99	3
46	Joel Faron	15.00	4
47	13a	15.00	4
48	John Whelchel	15.00	6
49	vhsiao	14.98	8
50	Brendan Wright	15.00	9
51	Samuel Jerome	15.00	11
52	CAPS LOCK	13.00	27
53	R. A. B.	9.00	37
54	bchouSolver	15.00	37
55	Elphaba	0.05	42
56	cat	14.99	49
57	HashTagAlreadyFallBreak	15.00	52
58	soccer	15.00	58
59	T. Capote	15.00	62
60	RedOrangeBlue	14.99	63
61	bigwig	15.00	77
62	ebp	14.99	110
63	George Okeowo	0.18	113
64	Sunny	14.98	113
65	Boomshanka	15.00	325
66	BMJ	15.00	391
67	Cam Porter	15.00	2135
68	Supahaka	6.04	2516
69	Anon_K_P	15.00	2872
70	K.L.	15.00	10977
71	Absurdity	15.00	1
72	Valya Barboy	15.00	1
73	Anon5	15.00	1
74	Walter Little	15.00	4
75	Nihar the Great	15.00	7
76	Aaron H	15.00	8
77	Jameh	15.00	30
78	An Extremely Ordinary Sloth	15.00	31
79	Solving For Clauses	15.00	31
80	Mark Fillmore	15.00	31
81	Quite Satisfied	15.00	32
82	kt4124	15.00	37
83	AFC	15.00	37
84	LilThug	15.00	37
85	burrito	15.00	39
86	0108	15.00	45
87	Happy	15.00	49
88	Linda	15.00	51
89	weezy	15.00	62
90	Blam	15.00	67
91	Ravi Tandon	15.00	70
92	Khoa	15.00	113
93	Sat Solver 2013	15.00	547
94	Mickey Mouse	15.00	2388
95	Ytterbium	15.00	15
96	Mercury	15.00	20
97	The Kraken	15.00	97
98	Tiny Wings	15.00	22
99	Sally Smith	15.00	52
100	Keji Xu	15.00	25
101	cmF5a3ly	15.02	1359
102	Bebe Shi	15.02	218
103	Jessie Chen	15.03	799
104	Alex Fish	15.04	40
105	David Lackey	15.04	35
106	SuperFan	15.04	2402
107	Gewang	15.04	1054
108	Bob Dondero	15.05	2533
109	Qinlan Shen	15.11	374
110	Tom T	15.14	3
111	TSATTER	15.14	2852
112	cjt	22.50	74
113	Charlie Shucheng Zhu	22.50	2
114	Jordan Ash	31.13	113
115	David Paulk	-	-
116	Miranda	-	-
117	Bar Shabtai	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist