Stats for formula: CookieMonster-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 CookieMonster-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf CookieMonster-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:	CookieMonster-1
Rank of generator:	1 / 114
Average score:	14.76
Median score:	15.00
Best solver:	CookieMonster
Description:	PrisonBreak is a random satisfiable cnf generator which is a reduction of a prisoner trying to avoid searchlights as he makes his escape towards a goal. The prison yard (represented linearly, as a straight dashtowards the exit) is given a certain size, and the prisoner has a certain amount of time to reach the exit before the hounds areset loose. Finally, a certain number of searchlights constantlysweep different points in the yard. The prisoner must make hisway to the exit within the alloted number of time steps, withoutever occupying the same space as a searchlight.

	Solver	Time taken	Unsat
1	CookieMonster	1.10	0
2	dusty	2.35	0
3	Joel Faron	15.00	1
4	Brendan Wright	15.00	1
5	Andrew Werner	15.00	1
6	Dr Roberto	14.99	1
7	DeeEmEm	15.00	1
8	vhsiao	14.98	1
9	jgs	14.98	1
10	Andrew Grasso	15.00	1
11	haoyu	15.00	1
12	Glenn Fisher	15.00	1
13	The Whitman Whale	15.00	1
14	13a	15.00	1
15	Aristotle	15.00	1
16	Tao	15.00	1
17	spl	15.00	1
18	ModifiedWalkSatBreakZero	15.00	1
19	John Whelchel	15.00	2
20	HashTagAlreadyFallBreak	15.00	2
21	Janie Gu	15.00	3
22	Matt Goldsmith	15.00	3
23	bigwig	15.00	5
24	bfang	15.00	5
25	George Okeowo	0.36	6
26	NA	14.99	6
27	cat	14.99	8
28	CAPS LOCK	13.00	10
29	Nikhilesh Sigatapu	15.00	10
30	Green "The Bean" Choi	15.00	13
31	R. A. B.	9.00	16
32	bchouSolver	15.00	16
33	T. Capote	15.00	18
34	Boomshanka	0.33	18
35	RedOrangeBlue	14.99	28
36	Elphaba	0.02	28
37	BMJ	15.00	1749
38	Cam Porter	15.00	2427
39	K.L.	15.00	15601
40	snowflakes	15.00	1
41	Matt Haake	15.00	1
42	KingBach	15.00	1
43	0108	15.00	1
44	Shaheed Chagani	15.00	1
45	An Extremely Ordinary Sloth	15.00	1
46	dfshasdsf12	15.00	1
47	Fanny	15.00	1
48	Mike Honcho	15.00	1
49	Ytterbium	15.00	1
50	Valya Barboy	15.00	1
51	Sabar Dasgupta	15.00	1
52	BH	15.00	1
53	Nihar the Great	15.00	1
54	Yacob Y.	15.00	1
55	Samuel Jerome	15.00	1
56	Joshua Zimmer	15.00	1
57	EC	15.00	1
58	Quite Satisfied	15.00	1
59	Deric Cheng	15.00	1
60	Anon5	15.00	1
61	Aaron Doll	15.00	2
62	kt4124	15.00	4
63	Mark Fillmore	15.00	4
64	AFC	15.00	5
65	Blam	15.00	6
66	Solving For Clauses	15.00	8
67	Jameh	15.00	10
68	Ravi Tandon	15.00	17
69	Sally Smith	15.00	19
70	Linda	15.00	20
71	weezy	15.00	24
72	Khoa	15.00	32
73	Sat Solver 2013	15.00	452
74	Supahaka	15.00	1749
75	Mickey Mouse	15.00	2701
76	David H.	15.00	3927
77	Absurdity	15.00	1
78	Tree Prophet	15.00	1
79	Mr. Blobby	15.00	1
80	Mike Hawk	15.00	1
81	Walter Little	15.00	1
82	Jonathan Kwok	15.00	1
83	Sprt	15.00	1
84	Ben Chen	15.00	1
85	burrito	15.00	11
86	The Kraken	15.00	34
87	Aaron H	15.00	1
88	Andys	15.00	1
89	Mercury	15.00	1
90	Charlie Shucheng Zhu	15.00	1
91	Lisa Kim	15.00	7
92	LilThug	15.00	8
93	Tiny Wings	15.00	13
94	Keji Xu	15.01	18
95	Anon_K_P	15.01	1
96	Sunny	15.01	10
97	Alex Fish	15.03	10
98	David Lackey	15.03	15
99	Gewang	15.03	1220
100	Happy	15.03	28
101	Bebe Shi	15.06	342
102	Jessie Chen	15.06	1281
103	Bob Dondero	15.07	1172
104	Qinlan Shen	15.08	2876
105	TSATTER	15.08	3934
106	cmF5a3ly	15.12	3893
107	SuperFan	15.13	3475
108	cjt	22.50	23
109	Tom T	31.83	1
110	Jordan Ash	36.75	32
111	David Paulk	-	-
112	Yan Wu	-	-
113	jabreezy	-	-
114	soccer	-	-
115	Miranda	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist