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

SatSolvers Ranklist

Generators Ranklist