Stats for formula: Mark S. Fillmore-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 Mark S. Fillmore-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Mark S. Fillmore-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:	Mark S. Fillmore-1
Rank of generator:	* / 114
Average score:	14.81
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.04	79
2	R. A. B.	9.00	79
3	jgs	14.98	79
4	vhsiao	14.98	79
5	RedOrangeBlue	14.99	79
6	NA	14.99	79
7	cat	14.99	79
8	Dr Roberto	14.99	79
9	Joel Faron	15.00	79
10	snowflakes	15.00	79
11	Andrew Werner	15.00	79
12	Janie Gu	15.00	79
13	T. Capote	15.00	79
14	Mercury	15.00	79
15	Andrew Grasso	15.00	79
16	Glenn Fisher	15.00	79
17	CookieMonster	15.00	79
18	John Whelchel	15.00	79
19	13a	15.00	79
20	Aristotle	15.00	79
21	Tao	15.00	79
22	Samuel Jerome	15.00	79
23	bigwig	15.00	79
24	spl	15.00	79
25	bfang	15.00	79
26	Matt Goldsmith	15.00	79
27	HashTagAlreadyFallBreak	15.00	79
28	ModifiedWalkSatBreakZero	15.00	79
29	Boomshanka	15.00	80
30	Brendan Wright	4.89	109
31	Tree Prophet	0.49	109
32	jabreezy	0.03	109
33	Elphaba	0.02	109
34	haoyu	0.00	109
35	The Whitman Whale	2.50	109
36	Green "The Bean" Choi	0.04	109
37	AFC	0.11	109
38	Nikhilesh Sigatapu	0.09	113
39	George Okeowo	0.19	114
40	DeeEmEm	0.08	114
41	BMJ	15.00	123
42	K.L.	15.00	793
43	Anon_K_P	0.17	794
44	Cam Porter	15.00	1517
45	burrito	15.00	79
46	Aaron Doll	15.00	79
47	Absurdity	15.00	79
48	0108	15.00	79
49	Aaron H	15.00	79
50	Shaheed Chagani	15.00	79
51	An Extremely Ordinary Sloth	15.00	79
52	Blam	15.00	79
53	dfshasdsf12	15.00	79
54	Ytterbium	15.00	79
55	Andys	15.00	79
56	Keji Xu	15.00	79
57	Valya Barboy	15.00	79
58	Mr. Blobby	15.00	79
59	Jameh	15.00	79
60	Sabar Dasgupta	15.00	79
61	BH	15.00	79
62	Walter Little	15.00	79
63	dusty	15.00	79
64	Nihar the Great	15.00	79
65	Solving For Clauses	15.00	79
66	Matt Haake	15.00	79
67	kt4124	15.00	79
68	Mike Hawk	15.00	79
69	Linda	15.00	79
70	Yacob Y.	15.00	79
71	Lisa Kim	15.00	79
72	CAPS LOCK	15.00	79
73	Mark Fillmore	15.00	79
74	Joshua Zimmer	15.00	79
75	EC	15.00	79
76	Ravi Tandon	15.00	79
77	Quite Satisfied	15.00	79
78	Deric Cheng	15.00	79
79	LilThug	15.00	79
80	Anon5	15.00	79
81	weezy	15.00	80
82	Mike Honcho	15.00	114
83	Khoa	15.00	114
84	Sat Solver 2013	15.00	399
85	Mickey Mouse	15.00	796
86	David H.	15.00	812
87	Tiny Wings	15.00	79
88	The Kraken	15.00	747
89	Sally Smith	15.01	79
90	SuperFan	15.01	757
91	Bebe Shi	15.01	443
92	David Lackey	15.01	177
93	Bob Dondero	15.01	79
94	Happy	15.02	109
95	Gewang	15.02	552
96	Jessie Chen	15.02	484
97	Miranda	15.03	414
98	Alex Fish	15.04	124
99	cmF5a3ly	15.04	516
100	Sunny	15.05	114
101	Qinlan Shen	15.06	355
102	TSATTER	15.09	777
103	Tom T	17.14	79
104	Yan Wu	18.66	79
105	cjt	22.50	81
106	Charlie Shucheng Zhu	22.50	79
107	Jordan Ash	28.94	114
108	Fanny	48.08	109
109	David Paulk	-	-
110	KingBach	-	-
111	soccer	-	-
112	Jonathan Kwok	-	-
113	Bar Shabtai	-	-
114	ebp	-	-
115	Igor	-	-
116	bchouSolver	-	-
117	Sprt	-	-
118	Ben Chen	-	-

SatSolvers Ranklist

Generators Ranklist