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

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

SatSolvers Ranklist

Generators Ranklist