Stats for formula: cat-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 cat-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf cat-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:	cat-1
Rank of generator:	64 / 114
Average score:	3.77
Median score:	0.15
Best solver:	haoyu
Description:	How to seat guests around a circular table given two constraints (a must sit with b and b will not sit with c).

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

SatSolvers Ranklist

Generators Ranklist