Stats for formula: DinnerPartyPlannerBM-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 DinnerPartyPlannerBM-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf DinnerPartyPlannerBM-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:	DinnerPartyPlannerBM-1
Rank of generator:	39 / 114
Average score:	6.24
Median score:	2.19
Best solver:	Nihar the Great
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	Nihar the Great	0.06	0
2	bigwig	0.11	0
3	Aristotle	0.12	0
4	haoyu	0.14	0
5	Matt Goldsmith	0.15	0
6	Aaron Doll	0.17	0
7	Mercury	0.27	0
8	dusty	0.29	0
9	spl	0.29	0
10	Mark Fillmore	0.33	0
11	Elphaba	0.37	0
12	Quite Satisfied	0.45	0
13	CookieMonster	0.48	0
14	vhsiao	0.57	0
15	Matt Haake	0.77	0
16	Bar Shabtai	0.78	0
17	Solving For Clauses	0.80	0
18	ModifiedWalkSatBreakZero	0.82	0
19	CAPS LOCK	0.88	0
20	Andrew Grasso	0.89	0
21	Dr Roberto	0.91	0
22	HashTagAlreadyFallBreak	0.94	0
23	Glenn Fisher	0.96	0
24	Tao	1.10	0
25	0108	1.21	0
26	Jonathan Kwok	1.24	0
27	burrito	1.25	0
28	John Whelchel	1.33	0
29	Charlie Shucheng Zhu	1.49	0
30	Jameh	1.54	0
31	jgs	1.56	0
32	Yan Wu	1.64	0
33	EC	1.65	0
34	Joshua Zimmer	1.66	0
35	Anon5	1.67	0
36	Mike Hawk	1.73	0
37	Valya Barboy	1.73	0
38	Yacob Y.	1.77	0
39	Khoa	1.78	0
40	Linda	1.79	0
41	David Paulk	1.81	0
42	KingBach	1.85	0
43	Janie Gu	1.87	0
44	Sprt	1.90	0
45	NA	1.94	0
46	Lisa Kim	1.99	0
47	dfshasdsf12	2.01	0
48	Green "The Bean" Choi	2.07	0
49	Ben Chen	2.11	0
50	Keji Xu	2.12	0
51	Aaron H	2.13	0
52	Sunny	2.13	0
53	Deric Cheng	2.13	0
54	Absurdity	2.15	0
55	Shaheed Chagani	2.19	0
56	Sabar Dasgupta	2.19	0
57	T. Capote	2.44	0
58	Mr. Blobby	2.45	0
59	DeeEmEm	2.63	0
60	Andys	2.65	0
61	kt4124	2.77	0
62	Andrew Werner	2.81	0
63	Walter Little	2.84	0
64	David H.	3.10	0
65	snowflakes	4.07	0
66	Blam	4.08	0
67	soccer	4.24	0
68	Ytterbium	4.33	0
69	AFC	4.86	0
70	BH	4.86	0
71	LilThug	5.58	0
72	Fanny	5.84	0
73	Tree Prophet	7.62	0
74	Mike Honcho	7.69	0
75	13a	7.79	0
76	Ravi Tandon	9.27	0
77	Boomshanka	13.50	0
78	An Extremely Ordinary Sloth	13.94	0
79	Joel Faron	14.30	0
80	cat	15.00	3
81	ebp	14.99	21
82	RedOrangeBlue	15.00	30
83	George Okeowo	4.82	46
84	R. A. B.	9.00	2782
85	Samuel Jerome	15.00	2828
86	bfang	15.00	20773
87	K.L.	15.00	91390
88	Happy	15.00	45
89	weezy	15.00	2674
90	Cam Porter	15.00	16060
91	Mickey Mouse	15.00	23814
92	Supahaka	15.00	16938
93	Sat Solver 2013	15.01	1478
94	BMJ	15.01	20043
95	bchouSolver	15.01	15
96	Brendan Wright	15.02	39
97	jabreezy	15.02	42
98	Tiny Wings	15.03	11823
99	The Kraken	15.10	20
100	Anon_K_P	15.10	6235
101	Gewang	15.16	23214
102	Jessie Chen	15.82	24725
103	Bob Dondero	15.97	23337
104	cmF5a3ly	16.43	23936
105	SuperFan	16.50	22014
106	Alex Fish	16.61	23119
107	Bebe Shi	16.62	24348
108	David Lackey	16.65	23825
109	Qinlan Shen	17.01	24065
110	TSATTER	18.03	25747
111	cjt	22.50	22623
112	Tom T	26.94	46
113	Miranda	-	-
114	Jordan Ash	-	-
115	The Whitman Whale	-	-
116	Igor	-	-
117	Sally Smith	-	-
118	Nikhilesh Sigatapu	-	-

SatSolvers Ranklist

Generators Ranklist