Stats for formula: Alex Fish-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 Alex Fish-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Alex Fish-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:	Alex Fish-1
Rank of generator:	62 / 114
Average score:	4.27
Median score:	0.15
Best solver:	haoyu
Description:	My generator generates sets of CNF clauses corresponding to "dinner party" problems. I formalize the dinner party problem as one in which n people must sit at a circular table with n seats, and certain pairs of people must sit next to one another, and certain pairs of people must not sit next to one another. My generator generates problems with n = 2 chairs and people.

	Solver	Time taken	Unsat
1	haoyu	0.02	0
2	Elphaba	0.03	0
3	Sabar Dasgupta	0.04	0
4	Glenn Fisher	0.04	0
5	EC	0.05	0
6	John Whelchel	0.05	0
7	Anon5	0.05	0
8	Andrew Werner	0.05	0
9	Green "The Bean" Choi	0.05	0
10	Deric Cheng	0.05	0
11	Yan Wu	0.05	0
12	Sunny	0.05	0
13	Bar Shabtai	0.05	0
14	Janie Gu	0.06	0
15	Andys	0.06	0
16	Jonathan Kwok	0.06	0
17	Walter Little	0.06	0
18	David H.	0.06	0
19	dusty	0.06	0
20	soccer	0.06	0
21	KingBach	0.07	0
22	ModifiedWalkSatBreakZero	0.07	0
23	CookieMonster	0.07	0
24	Aaron H	0.07	0
25	Aristotle	0.07	0
26	Charlie Shucheng Zhu	0.07	0
27	Matt Goldsmith	0.07	0
28	jabreezy	0.08	0
29	NA	0.08	0
30	snowflakes	0.08	0
31	Ben Chen	0.08	0
32	spl	0.08	0
33	Andrew Grasso	0.08	0
34	Aaron Doll	0.09	0
35	bfang	0.09	0
36	Shaheed Chagani	0.09	0
37	Yacob Y.	0.09	0
38	0108	0.09	0
39	vhsiao	0.10	0
40	Mr. Blobby	0.10	0
41	dfshasdsf12	0.10	0
42	Tree Prophet	0.10	0
43	BH	0.11	0
44	Matt Haake	0.11	0
45	Dr Roberto	0.11	0
46	AFC	0.11	0
47	Absurdity	0.11	0
48	Sprt	0.11	0
49	Mercury	0.11	0
50	jgs	0.12	0
51	Lisa Kim	0.13	0
52	burrito	0.13	0
53	Mike Hawk	0.14	0
54	Joshua Zimmer	0.14	0
55	Tao	0.14	0
56	HashTagAlreadyFallBreak	0.14	0
57	Fanny	0.15	0
58	An Extremely Ordinary Sloth	0.15	0
59	Mike Honcho	0.16	0
60	Nikhilesh Sigatapu	0.20	0
61	Jameh	0.20	0
62	Valya Barboy	0.21	0
63	DeeEmEm	0.21	0
64	Solving For Clauses	0.23	0
65	Quite Satisfied	0.25	0
66	ebp	0.26	0
67	T. Capote	0.28	0
68	CAPS LOCK	0.35	0
69	Mark Fillmore	0.48	0
70	R. A. B.	0.54	0
71	The Whitman Whale	0.56	0
72	13a	0.59	0
73	Brendan Wright	0.63	0
74	Anon_K_P	0.76	0
75	David Paulk	1.01	0
76	Tiny Wings	1.20	0
77	Joel Faron	1.39	0
78	bigwig	1.45	0
79	Keji Xu	1.56	0
80	Linda	1.87	0
81	David Lackey	2.57	0
82	Alex Fish	2.67	0
83	Gewang	2.93	0
84	Tom T	4.72	0
85	LilThug	6.70	0
86	Qinlan Shen	7.11	0
87	Blam	14.14	0
88	Samuel Jerome	15.00	1
89	Boomshanka	0.60	1
90	bchouSolver	15.00	3
91	RedOrangeBlue	14.99	15
92	George Okeowo	0.22	15
93	BMJ	15.00	1011
94	cat	14.99	1018
95	Cam Porter	15.00	1116
96	Supahaka	2.28	1466
97	K.L.	15.00	6362
98	Ytterbium	15.00	1
99	Nihar the Great	15.00	1
100	Bebe Shi	15.00	3
101	Ravi Tandon	15.00	5
102	Sally Smith	15.00	7
103	kt4124	15.00	8
104	weezy	15.00	11
105	Happy	15.00	12
106	Khoa	15.00	15
107	Sat Solver 2013	15.00	194
108	The Kraken	15.00	389
109	Mickey Mouse	15.00	871
110	cmF5a3ly	15.00	1
111	SuperFan	15.00	313
112	Bob Dondero	15.00	828
113	Jessie Chen	15.00	10
114	TSATTER	15.01	1544
115	Jordan Ash	18.52	3
116	cjt	21.13	7
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist