Stats for formula: Janie Gu-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 Janie Gu-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Janie Gu-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:	Janie Gu-0
Rank of generator:	55 / 114
Average score:	5.64
Median score:	0.49
Best solver:	Glenn Fisher
Description:	This generator creates CNF formulas representing randomly-generated Sudoku puzzle problems.

	Solver	Time taken	Unsat
1	Glenn Fisher	0.07	0
2	dusty	0.07	0
3	EC	0.07	0
4	burrito	0.07	0
5	Sprt	0.10	0
6	David H.	0.10	0
7	Yan Wu	0.10	0
8	NA	0.10	0
9	Andrew Grasso	0.11	0
10	Charlie Shucheng Zhu	0.11	0
11	Mike Hawk	0.11	0
12	Linda	0.11	0
13	Joshua Zimmer	0.11	0
14	Jonathan Kwok	0.11	0
15	Jameh	0.11	0
16	John Whelchel	0.11	0
17	Mercury	0.12	0
18	spl	0.12	0
19	CookieMonster	0.12	0
20	Andys	0.12	0
21	Aristotle	0.12	0
22	Bar Shabtai	0.12	0
23	Deric Cheng	0.13	0
24	snowflakes	0.14	0
25	Mr. Blobby	0.14	0
26	KingBach	0.15	0
27	Mike Honcho	0.15	0
28	Aaron H	0.15	0
29	Aaron Doll	0.15	0
30	ModifiedWalkSatBreakZero	0.15	0
31	dfshasdsf12	0.15	0
32	Matt Goldsmith	0.16	0
33	Shaheed Chagani	0.17	0
34	Khoa	0.17	0
35	HashTagAlreadyFallBreak	0.18	0
36	Absurdity	0.18	0
37	bigwig	0.18	0
38	T. Capote	0.18	0
39	Matt Haake	0.20	0
40	Ben Chen	0.20	0
41	Solving For Clauses	0.20	0
42	CAPS LOCK	0.23	0
43	Quite Satisfied	0.25	0
44	BH	0.26	0
45	soccer	0.26	0
46	Keji Xu	0.29	0
47	Mark Fillmore	0.29	0
48	Lisa Kim	0.29	0
49	Tao	0.30	0
50	David Paulk	0.31	0
51	Sabar Dasgupta	0.31	0
52	Walter Little	0.36	0
53	Fanny	0.36	0
54	vhsiao	0.38	0
55	Tree Prophet	0.39	0
56	Anon5	0.41	0
57	RedOrangeBlue	0.48	0
58	Andrew Werner	0.49	0
59	Janie Gu	0.57	0
60	R. A. B.	0.58	0
61	kt4124	0.65	0
62	Ravi Tandon	0.69	0
63	Yacob Y.	0.70	0
64	jgs	0.72	0
65	0108	0.89	0
66	An Extremely Ordinary Sloth	1.31	0
67	Blam	1.31	0
68	The Whitman Whale	1.40	0
69	13a	1.53	0
70	Alex Fish	2.77	0
71	Tiny Wings	2.99	0
72	Sally Smith	3.58	0
73	Dr Roberto	4.81	0
74	Tom T	5.92	0
75	Valya Barboy	6.63	0
76	AFC	6.72	0
77	David Lackey	14.29	0
78	Boomshanka	15.00	1
79	Samuel Jerome	15.00	3
80	Cam Porter	15.00	6
81	Anon_K_P	15.00	17
82	Green "The Bean" Choi	15.00	18
83	bchouSolver	15.00	28
84	Joel Faron	15.00	37
85	Supahaka	9.50	42
86	George Okeowo	0.28	44
87	cat	14.99	56
88	bfang	15.00	56
89	K.L.	15.00	64
90	BMJ	15.00	64
91	Brendan Wright	15.00	89
92	ebp	14.99	89
93	Nikhilesh Sigatapu	15.00	100
94	Sunny	14.80	432
95	Elphaba	0.12	432
96	Nihar the Great	15.00	1
97	Ytterbium	15.00	3
98	weezy	15.00	13
99	LilThug	15.00	14
100	Sat Solver 2013	15.00	14
101	Happy	15.00	16
102	Mickey Mouse	15.00	56
103	DeeEmEm	15.00	19
104	TSATTER	15.00	59
105	Miranda	15.00	15
106	The Kraken	15.00	36
107	haoyu	15.01	126
108	Gewang	15.01	4
109	Jessie Chen	15.01	17
110	cmF5a3ly	15.01	5
111	Bob Dondero	15.02	20
112	SuperFan	15.03	27
113	Bebe Shi	15.03	9
114	Qinlan Shen	15.41	58
115	cjt	15.62	0
116	Jordan Ash	19.92	26
117	jabreezy	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist