Stats for formula: cat-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 cat-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf cat-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:	cat-0
Rank of generator:	64 / 114
Average score:	3.68
Median score:	0.18
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	Bar Shabtai	0.05	0
3	Nihar the Great	0.05	0
4	Aristotle	0.06	0
5	Matt Goldsmith	0.06	0
6	Mercury	0.06	0
7	jgs	0.06	0
8	Charlie Shucheng Zhu	0.07	0
9	Aaron Doll	0.07	0
10	ModifiedWalkSatBreakZero	0.07	0
11	Andrew Grasso	0.07	0
12	Jonathan Kwok	0.07	0
13	bigwig	0.08	0
14	Joshua Zimmer	0.08	0
15	CAPS LOCK	0.08	0
16	Glenn Fisher	0.08	0
17	dusty	0.08	0
18	Absurdity	0.08	0
19	Elphaba	0.08	0
20	EC	0.08	0
21	Sabar Dasgupta	0.09	0
22	spl	0.09	0
23	HashTagAlreadyFallBreak	0.09	0
24	KingBach	0.09	0
25	David H.	0.09	0
26	Yacob Y.	0.09	0
27	Mr. Blobby	0.10	0
28	Ben Chen	0.10	0
29	Andrew Werner	0.10	0
30	Mike Hawk	0.10	0
31	John Whelchel	0.10	0
32	Aaron H	0.10	0
33	Yan Wu	0.10	0
34	burrito	0.11	0
35	0108	0.11	0
36	Jameh	0.11	0
37	Janie Gu	0.11	0
38	Linda	0.11	0
39	Sunny	0.12	0
40	CookieMonster	0.12	0
41	NA	0.12	0
42	Lisa Kim	0.12	0
43	Deric Cheng	0.12	0
44	Walter Little	0.12	0
45	Anon5	0.12	0
46	Keji Xu	0.13	0
47	Matt Haake	0.13	0
48	Tao	0.14	0
49	snowflakes	0.14	0
50	Quite Satisfied	0.14	0
51	Ytterbium	0.14	0
52	Andys	0.15	0
53	Samuel Jerome	0.15	0
54	Valya Barboy	0.15	0
55	soccer	0.15	0
56	Sprt	0.18	0
57	Dr Roberto	0.18	0
58	R. A. B.	0.18	0
59	BH	0.19	0
60	Shaheed Chagani	0.19	0
61	Fanny	0.19	0
62	T. Capote	0.20	0
63	dfshasdsf12	0.21	0
64	Solving For Clauses	0.21	0
65	AFC	0.21	0
66	Mark Fillmore	0.23	0
67	kt4124	0.25	0
68	vhsiao	0.25	0
69	13a	0.27	0
70	Tree Prophet	0.28	0
71	DeeEmEm	0.28	0
72	An Extremely Ordinary Sloth	0.35	0
73	Mike Honcho	0.35	0
74	Khoa	0.35	0
75	David Paulk	0.42	0
76	Joel Faron	0.53	0
77	Nikhilesh Sigatapu	0.60	0
78	ebp	0.86	0
79	Anon_K_P	0.96	0
80	The Whitman Whale	1.23	0
81	Brendan Wright	1.42	0
82	Tiny Wings	1.65	0
83	Blam	1.77	0
84	bfang	2.01	0
85	Sally Smith	3.91	0
86	cjt	4.48	0
87	Tom T	5.05	0
88	David Lackey	5.11	0
89	Alex Fish	5.12	0
90	cat	8.27	0
91	Bebe Shi	9.48	0
92	bchouSolver	15.00	2
93	Green "The Bean" Choi	15.00	10
94	Boomshanka	0.18	10
95	RedOrangeBlue	14.99	22
96	George Okeowo	0.26	22
97	Cam Porter	15.00	1037
98	BMJ	15.00	2076
99	K.L.	15.00	10164
100	LilThug	15.00	3
101	Ravi Tandon	15.00	4
102	weezy	15.00	5
103	Happy	15.00	21
104	The Kraken	15.00	63
105	Sat Solver 2013	15.00	235
106	Supahaka	15.00	1783
107	Mickey Mouse	15.00	2625
108	Jessie Chen	15.02	5
109	Gewang	15.02	313
110	TSATTER	15.02	2231
111	cmF5a3ly	15.04	786
112	Bob Dondero	15.04	1892
113	SuperFan	15.06	1979
114	Qinlan Shen	15.10	2255
115	Jordan Ash	27.66	3
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist