Stats for formula: Mr. Blobby-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 Mr. Blobby-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Mr. Blobby-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:	Mr. Blobby-0
Rank of generator:	28 / 114
Average score:	10.12
Median score:	15.00
Best solver:	Green "The Bean" Choi
Description:	Mr. Blobby's CNF generator constructs an instance of a 9 x 9 sudoku puzzle that is guaranteed to be satisfiable.

	Solver	Time taken	Unsat
1	Green "The Bean" Choi	0.14	0
2	spl	0.15	0
3	Aaron Doll	0.16	0
4	David H.	0.16	0
5	dusty	0.17	0
6	Shaheed Chagani	0.21	0
7	ModifiedWalkSatBreakZero	0.23	0
8	CookieMonster	0.25	0
9	Matt Goldsmith	0.26	0
10	Dr Roberto	0.31	0
11	Matt Haake	0.36	0
12	Mike Honcho	0.52	0
13	BH	0.54	0
14	Tree Prophet	0.71	0
15	Fanny	0.73	0
16	Ben Chen	0.77	0
17	snowflakes	0.84	0
18	jgs	0.88	0
19	Walter Little	1.12	0
20	Jonathan Kwok	1.21	0
21	vhsiao	1.25	0
22	Deric Cheng	1.39	0
23	Janie Gu	1.47	0
24	Mr. Blobby	1.72	0
25	Yacob Y.	1.81	0
26	Anon5	1.95	0
27	The Whitman Whale	1.97	0
28	Joshua Zimmer	2.09	0
29	EC	2.17	0
30	Sabar Dasgupta	2.46	0
31	Andrew Grasso	3.29	0
32	Mike Hawk	3.52	0
33	Tao	4.09	0
34	Glenn Fisher	4.25	0
35	John Whelchel	4.38	0
36	Andys	4.41	0
37	13a	5.54	0
38	Absurdity	5.74	0
39	NA	5.92	0
40	Valya Barboy	5.93	0
41	Andrew Werner	7.82	0
42	Aristotle	10.51	0
43	Charlie Shucheng Zhu	14.89	0
44	haoyu	15.00	2
45	Joel Faron	15.00	9
46	Samuel Jerome	15.00	11
47	bfang	15.00	15
48	Mercury	15.00	23
49	CAPS LOCK	13.00	31
50	bchouSolver	15.00	37
51	R. A. B.	9.00	41
52	Nikhilesh Sigatapu	15.00	41
53	Boomshanka	15.00	41
54	HashTagAlreadyFallBreak	15.00	43
55	Brendan Wright	15.00	56
56	cat	14.99	61
57	Elphaba	0.09	61
58	bigwig	15.00	62
59	DeeEmEm	15.00	66
60	T. Capote	15.00	68
61	RedOrangeBlue	14.99	71
62	George Okeowo	0.19	91
63	Sunny	14.95	91
64	Cam Porter	15.00	1567
65	BMJ	15.00	1657
66	K.L.	15.00	10604
67	Sprt	15.00	2
68	dfshasdsf12	15.00	4
69	Nihar the Great	15.00	7
70	Aaron H	15.00	8
71	Ytterbium	15.00	12
72	Lisa Kim	15.00	15
73	LilThug	15.00	22
74	Solving For Clauses	15.00	28
75	Mark Fillmore	15.00	28
76	Jameh	15.00	29
77	burrito	15.00	30
78	0108	15.00	33
79	Keji Xu	15.00	33
80	Quite Satisfied	15.00	37
81	AFC	15.00	43
82	Linda	15.00	53
83	weezy	15.00	54
84	kt4124	15.00	55
85	Ravi Tandon	15.00	62
86	Blam	15.00	70
87	Khoa	15.00	91
88	Sat Solver 2013	15.00	456
89	Supahaka	15.00	2112
90	Mickey Mouse	15.00	2205
91	Tiny Wings	15.00	26
92	An Extremely Ordinary Sloth	15.00	30
93	Sally Smith	15.00	73
94	The Kraken	15.00	743
95	Anon_K_P	15.00	2469
96	Alex Fish	15.00	47
97	David Lackey	15.01	32
98	Jessie Chen	15.03	1001
99	cmF5a3ly	15.04	2045
100	Happy	15.04	68
101	Bebe Shi	15.06	636
102	SuperFan	15.08	2078
103	Bob Dondero	15.09	2384
104	Gewang	15.10	1942
105	TSATTER	15.24	3044
106	Qinlan Shen	15.32	1184
107	Tom T	16.12	11
108	cjt	22.50	48
109	Jordan Ash	37.82	91
110	Yan Wu	64.63	0
111	David Paulk	-	-
112	KingBach	-	-
113	jabreezy	-	-
114	soccer	-	-
115	Miranda	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist