Stats for formula: Alex Fish-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 Alex Fish-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Alex Fish-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:	Alex Fish-0
Rank of generator:	62 / 114
Average score:	4.45
Median score:	0.28
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.01	0
2	Aristotle	0.03	0
3	Deric Cheng	0.03	0
4	Elphaba	0.04	0
5	Jonathan Kwok	0.04	0
6	Glenn Fisher	0.04	0
7	Sunny	0.04	0
8	Green "The Bean" Choi	0.05	0
9	Absurdity	0.06	0
10	Mr. Blobby	0.06	0
11	Matt Goldsmith	0.06	0
12	snowflakes	0.06	0
13	jabreezy	0.07	0
14	EC	0.07	0
15	dusty	0.08	0
16	David H.	0.08	0
17	spl	0.08	0
18	Sprt	0.08	0
19	Matt Haake	0.08	0
20	Anon5	0.08	0
21	Sabar Dasgupta	0.09	0
22	ModifiedWalkSatBreakZero	0.09	0
23	NA	0.09	0
24	Charlie Shucheng Zhu	0.09	0
25	0108	0.09	0
26	bfang	0.09	0
27	AFC	0.10	0
28	Tree Prophet	0.10	0
29	Shaheed Chagani	0.10	0
30	Yacob Y.	0.10	0
31	Dr Roberto	0.11	0
32	dfshasdsf12	0.12	0
33	BH	0.12	0
34	Janie Gu	0.12	0
35	Yan Wu	0.12	0
36	Aaron H	0.13	0
37	Aaron Doll	0.13	0
38	jgs	0.13	0
39	John Whelchel	0.14	0
40	Ben Chen	0.15	0
41	Lisa Kim	0.15	0
42	Tao	0.16	0
43	Andys	0.16	0
44	Andrew Werner	0.17	0
45	DeeEmEm	0.17	0
46	Fanny	0.17	0
47	bigwig	0.18	0
48	Mike Honcho	0.18	0
49	Mercury	0.18	0
50	CAPS LOCK	0.19	0
51	Mike Hawk	0.19	0
52	Nikhilesh Sigatapu	0.20	0
53	CookieMonster	0.22	0
54	Walter Little	0.22	0
55	burrito	0.24	0
56	ebp	0.26	0
57	KingBach	0.27	0
58	Quite Satisfied	0.28	0
59	Andrew Grasso	0.29	0
60	An Extremely Ordinary Sloth	0.30	0
61	Bar Shabtai	0.30	0
62	13a	0.31	0
63	Joshua Zimmer	0.33	0
64	The Whitman Whale	0.49	0
65	Solving For Clauses	0.62	0
66	Brendan Wright	0.63	0
67	Jameh	0.96	0
68	Tom T	0.98	0
69	Valya Barboy	1.08	0
70	vhsiao	1.10	0
71	Anon_K_P	1.20	0
72	Mark Fillmore	1.39	0
73	T. Capote	1.66	0
74	HashTagAlreadyFallBreak	1.81	0
75	Joel Faron	1.96	0
76	Linda	1.98	0
77	Alex Fish	2.78	0
78	soccer	2.90	0
79	Samuel Jerome	3.08	0
80	Boomshanka	3.72	0
81	David Lackey	3.97	0
82	Ytterbium	6.54	0
83	Gewang	6.85	0
84	Tiny Wings	7.10	0
85	R. A. B.	8.05	0
86	cjt	8.52	0
87	David Paulk	8.78	0
88	Khoa	10.92	0
89	cmF5a3ly	13.61	0
90	bchouSolver	15.00	3
91	George Okeowo	0.15	15
92	RedOrangeBlue	14.99	16
93	Cam Porter	15.00	613
94	BMJ	15.00	815
95	Supahaka	3.99	1164
96	cat	14.99	1742
97	K.L.	15.00	6422
98	Nihar the Great	15.00	2
99	LilThug	15.00	2
100	Ravi Tandon	15.00	4
101	weezy	15.00	11
102	kt4124	15.00	11
103	Happy	15.00	13
104	Blam	15.00	15
105	Sat Solver 2013	15.00	224
106	The Kraken	15.00	416
107	Mickey Mouse	15.00	474
108	TSATTER	15.00	2030
109	Sally Smith	15.00	7
110	Bebe Shi	15.00	1
111	Bob Dondero	15.00	680
112	Jessie Chen	15.01	13
113	SuperFan	15.01	400
114	Keji Xu	15.02	5
115	Qinlan Shen	15.02	1
116	Jordan Ash	18.09	3
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist