Stats for formula: DeeEmEm-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 DeeEmEm-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf DeeEmEm-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:	DeeEmEm-1
Rank of generator:	* / 114
Average score:	4.59
Median score:	0.34
Best solver:	haoyu
Description:	Two groups of people at a dance select members of the other group they'd like to dance with. 10 people per group, each choose between 4 and 6 from other group.

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

SatSolvers Ranklist

Generators Ranklist