Stats for formula: DinnerPartyPlannerBM-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 DinnerPartyPlannerBM-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf DinnerPartyPlannerBM-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:	DinnerPartyPlannerBM-0
Rank of generator:	39 / 114
Average score:	9.66
Median score:	10.25
Best solver:	Aristotle
Description:	This generator produces satisfiable dinner party planning occurences with 40 to 60 guests. Pairs of guests are randomly chosen with some probability to either like or dislike each other to constrain the seating arrangements

	Solver	Time taken	Unsat
1	Aristotle	0.11	0
2	haoyu	0.21	0
3	bigwig	0.21	0
4	Aaron Doll	0.21	0
5	Matt Goldsmith	0.30	0
6	Mercury	0.46	0
7	spl	0.62	0
8	dusty	0.74	0
9	vhsiao	0.80	0
10	Elphaba	0.84	0
11	Mark Fillmore	0.86	0
12	Quite Satisfied	0.95	0
13	CookieMonster	1.06	0
14	Matt Haake	1.58	0
15	Dr Roberto	1.86	0
16	Bar Shabtai	2.29	0
17	CAPS LOCK	2.44	0
18	ModifiedWalkSatBreakZero	2.47	0
19	Solving For Clauses	2.60	0
20	HashTagAlreadyFallBreak	2.82	0
21	Nihar the Great	3.18	0
22	0108	3.35	0
23	Glenn Fisher	3.49	0
24	John Whelchel	3.90	0
25	burrito	4.01	0
26	Jonathan Kwok	4.17	0
27	Tao	4.65	0
28	EC	4.88	0
29	Mike Hawk	5.07	0
30	Yacob Y.	5.24	0
31	Valya Barboy	5.28	0
32	DeeEmEm	5.29	0
33	Jameh	5.37	0
34	Joshua Zimmer	5.44	0
35	Anon5	5.53	0
36	David Paulk	5.73	0
37	jgs	5.80	0
38	Charlie Shucheng Zhu	5.94	0
39	Linda	5.96	0
40	Green "The Bean" Choi	6.00	0
41	Shaheed Chagani	6.06	0
42	Janie Gu	6.57	0
43	T. Capote	6.88	0
44	KingBach	6.92	0
45	Keji Xu	6.99	0
46	Sabar Dasgupta	7.01	0
47	Deric Cheng	7.76	0
48	Lisa Kim	7.78	0
49	Yan Wu	7.87	0
50	dfshasdsf12	8.39	0
51	Khoa	8.43	0
52	Andrew Grasso	9.36	0
53	Ravi Tandon	9.75	0
54	Ben Chen	10.07	0
55	David H.	10.10	0
56	Andys	10.25	0
57	NA	11.41	0
58	kt4124	11.98	0
59	Ytterbium	13.26	0
60	Absurdity	13.97	0
61	Sprt	14.08	0
62	cat	14.99	2
63	13a	15.00	37
64	ebp	14.99	39
65	George Okeowo	13.92	57
66	Andrew Werner	15.00	553
67	snowflakes	15.00	5963
68	R. A. B.	9.00	22981
69	bfang	15.00	42262
70	Blam	15.00	645
71	Cam Porter	15.00	38780
72	Joel Faron	15.00	48
73	Brendan Wright	15.00	54
74	Walter Little	15.00	1403
75	weezy	15.00	21897
76	Supahaka	15.00	30567
77	Mickey Mouse	15.00	41688
78	BMJ	15.00	43833
79	Mr. Blobby	15.00	4473
80	Aaron H	15.00	22240
81	K.L.	15.00	183888
82	AFC	15.00	1
83	bchouSolver	15.01	40
84	Samuel Jerome	15.01	30922
85	BH	15.01	4504
86	soccer	15.01	599
87	LilThug	15.01	3635
88	An Extremely Ordinary Sloth	15.01	20866
89	Boomshanka	15.02	41675
90	Mike Honcho	15.02	57
91	RedOrangeBlue	15.06	87
92	Tiny Wings	15.07	38068
93	jabreezy	15.09	56
94	Sunny	15.09	43
95	Anon_K_P	15.11	30618
96	Tree Prophet	15.12	36
97	The Kraken	15.25	39
98	Fanny	16.31	57
99	Jessie Chen	16.73	48549
100	Bob Dondero	16.93	46158
101	Gewang	17.63	45392
102	Happy	17.65	55
103	TSATTER	18.01	44810
104	Miranda	19.46	47007
105	Alex Fish	19.49	48747
106	David Lackey	20.13	45006
107	Bebe Shi	20.19	43482
108	SuperFan	20.84	41480
109	cjt	22.50	47122
110	cmF5a3ly	22.83	48134
111	Tom T	26.35	0
112	Qinlan Shen	66.96	45162
113	Jordan Ash	-	-
114	The Whitman Whale	-	-
115	Igor	-	-
116	Sally Smith	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist