Stats for formula: Quite Satisfied-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 Quite Satisfied-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Quite Satisfied-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:	Quite Satisfied-0
Rank of generator:	* / 114
Average score:	2.05
Median score:	0.03
Best solver:	haoyu
Description:	Wedding Dancing problem. Guests separate into an arbitrary numberof circles to dance with each other. They have requests of who they must stand nextto in the circle and who they will not be next to. No person can dance alone, soevery circle must have at least two people.

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

SatSolvers Ranklist

Generators Ranklist