Stats for formula: Mark S. Fillmore-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 Mark S. Fillmore-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Mark S. Fillmore-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:	Mark S. Fillmore-0
Rank of generator:	* / 114
Average score:	14.80
Median score:	15.00
Best solver:	Supahaka
Description:	This generator attempts to specify an instance of a seating problem for a wedding reception, but it does so in a manner that is unsatisfiable. This is due to a difficulty in writing CNF statements such as (X^Y^Z) V (X^Y^~Z).

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

SatSolvers Ranklist

Generators Ranklist