Stats for formula: EC-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 EC-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf EC-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:	EC-1
Rank of generator:	30 / 114
Average score:	9.78
Median score:	15.00
Best solver:	haoyu
Description:	Dinner Party Problem w/ a round table and no hosts. Each person (A) has one other person (B) that person(A) must be placed with, and two other people (C, D) that person (A) cannot be placed with.

	Solver	Time taken	Unsat
1	haoyu	0.03	0
2	Aristotle	0.08	0
3	Green "The Bean" Choi	0.12	0
4	Glenn Fisher	0.15	0
5	spl	0.15	0
6	dusty	0.23	0
7	Matt Goldsmith	0.26	0
8	Matt Haake	0.27	0
9	NA	0.28	0
10	jabreezy	0.29	0
11	Tree Prophet	0.32	0
12	AFC	0.32	0
13	DeeEmEm	0.34	0
14	CookieMonster	0.35	0
15	Shaheed Chagani	0.36	0
16	David H.	0.38	0
17	EC	0.44	0
18	Aaron Doll	0.47	0
19	Fanny	0.56	0
20	Dr Roberto	0.59	0
21	Walter Little	0.74	0
22	dfshasdsf12	0.77	0
23	Tao	0.86	0
24	The Whitman Whale	1.00	0
25	Nikhilesh Sigatapu	1.17	0
26	Mike Honcho	1.28	0
27	Andys	1.34	0
28	BH	1.40	0
29	Charlie Shucheng Zhu	1.53	0
30	Jonathan Kwok	1.74	0
31	Janie Gu	2.10	0
32	ModifiedWalkSatBreakZero	2.19	0
33	jgs	2.44	0
34	Absurdity	2.58	0
35	bfang	2.71	0
36	Mr. Blobby	3.41	0
37	Sunny	3.68	0
38	Sprt	3.92	0
39	Quite Satisfied	4.12	0
40	vhsiao	4.39	0
41	Joshua Zimmer	5.87	0
42	Sabar Dasgupta	6.82	0
43	Andrew Werner	8.09	0
44	Anon5	8.53	0
45	John Whelchel	9.01	0
46	Bar Shabtai	9.79	0
47	Ben Chen	10.83	0
48	Valya Barboy	11.91	0
49	Joel Faron	15.00	1
50	Andrew Grasso	15.00	1
51	Brendan Wright	15.00	2
52	13a	15.00	2
53	Samuel Jerome	15.00	3
54	CAPS LOCK	13.00	4
55	R. A. B.	9.00	5
56	ebp	14.99	7
57	snowflakes	15.00	8
58	bchouSolver	15.00	13
59	T. Capote	15.00	16
60	Elphaba	0.04	16
61	HashTagAlreadyFallBreak	15.00	17
62	George Okeowo	0.27	20
63	soccer	15.00	20
64	bigwig	15.00	27
65	RedOrangeBlue	14.99	389
66	Boomshanka	15.00	466
67	BMJ	15.00	1186
68	Cam Porter	15.00	2326
69	cat	14.99	4191
70	K.L.	15.00	14858
71	KingBach	15.00	1
72	Deric Cheng	15.00	1
73	An Extremely Ordinary Sloth	15.00	2
74	Mark Fillmore	15.00	3
75	Jameh	15.00	4
76	Solving For Clauses	15.00	4
77	Nihar the Great	15.00	6
78	Yacob Y.	15.00	6
79	Ravi Tandon	15.00	11
80	0108	15.00	12
81	Linda	15.00	15
82	burrito	15.00	18
83	Happy	15.00	19
84	Khoa	15.00	20
85	weezy	15.00	30
86	Sat Solver 2013	15.00	1337
87	Mickey Mouse	15.00	3283
88	Supahaka	15.00	3737
89	Mike Hawk	15.00	1
90	Lisa Kim	15.00	7
91	kt4124	15.00	16
92	Blam	15.00	26
93	Aaron H	15.00	1
94	Sally Smith	15.00	15
95	Tiny Wings	15.00	22
96	LilThug	15.00	5
97	Anon_K_P	15.01	2
98	Ytterbium	15.01	6
99	Mercury	15.01	3
100	The Kraken	15.01	45
101	cmF5a3ly	15.01	1222
102	SuperFan	15.01	3020
103	David Lackey	15.02	8
104	Jessie Chen	15.02	22
105	Alex Fish	15.03	6
106	Bebe Shi	15.04	6
107	Gewang	15.04	443
108	Bob Dondero	15.04	3378
109	Qinlan Shen	15.06	3076
110	TSATTER	15.06	4045
111	Keji Xu	15.07	15
112	Jordan Ash	17.92	19
113	cjt	22.50	21
114	Yan Wu	24.52	0
115	Tom T	26.52	2
116	David Paulk	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist