Stats for formula: BH-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 BH-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf BH-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:	BH-1
Rank of generator:	18 / 114
Average score:	11.44
Median score:	15.00
Best solver:	haoyu
Description:	Wedding party planning: Guests have to be seated on tablesso that friends are seated together and enemies are seatedon separated tables. Guests are randomly distributed on tablesand random friend/enemy relationships are created. The problemis converted to satisfiable CNF.

	Solver	Time taken	Unsat
1	haoyu	0.05	0
2	Elphaba	0.15	0
3	Aristotle	0.18	0
4	Matt Goldsmith	0.24	0
5	Aaron Doll	0.32	0
6	vhsiao	0.52	0
7	dusty	0.53	0
8	spl	0.54	0
9	CookieMonster	0.86	0
10	DeeEmEm	0.92	0
11	ModifiedWalkSatBreakZero	1.09	0
12	Green "The Bean" Choi	1.19	0
13	Quite Satisfied	1.30	0
14	Dr Roberto	1.34	0
15	Matt Haake	1.60	0
16	Sunny	1.89	0
17	Tao	2.34	0
18	Shaheed Chagani	2.85	0
19	HashTagAlreadyFallBreak	3.98	0
20	AFC	5.20	0
21	jabreezy	5.51	0
22	Absurdity	6.40	0
23	BH	6.49	0
24	Jonathan Kwok	7.50	0
25	Mike Hawk	7.79	0
26	Glenn Fisher	8.07	0
27	Tree Prophet	8.17	0
28	Anon5	8.44	0
29	Sabar Dasgupta	8.48	0
30	Valya Barboy	8.73	0
31	Andys	9.26	0
32	jgs	9.56	0
33	Ben Chen	10.21	0
34	Yacob Y.	10.73	0
35	Janie Gu	10.87	0
36	EC	12.00	0
37	NA	12.18	0
38	Walter Little	12.67	0
39	Joshua Zimmer	12.79	0
40	snowflakes	13.39	0
41	Deric Cheng	13.59	0
42	KingBach	13.93	0
43	Joel Faron	14.05	0
44	0108	14.54	0
45	ebp	14.99	64
46	Andrew Werner	15.00	147
47	George Okeowo	0.86	200
48	13a	15.00	200
49	Bar Shabtai	15.00	200
50	John Whelchel	15.00	334
51	CAPS LOCK	13.00	469
52	soccer	15.00	613
53	T. Capote	15.00	637
54	bigwig	15.00	697
55	Boomshanka	15.00	1769
56	R. A. B.	9.00	6131
57	Samuel Jerome	15.00	6784
58	RedOrangeBlue	15.00	17001
59	Mike Honcho	15.00	130
60	Mark Fillmore	15.00	149
61	dfshasdsf12	15.00	166
62	Sprt	15.00	170
63	Nihar the Great	15.00	197
64	Happy	15.00	199
65	Khoa	15.00	200
66	Lisa Kim	15.00	271
67	bchouSolver	15.00	293
68	burrito	15.00	326
69	Jameh	15.00	448
70	Solving For Clauses	15.00	466
71	Linda	15.00	592
72	Sat Solver 2013	15.00	3627
73	weezy	15.00	6650
74	BMJ	15.00	12780
75	Mickey Mouse	15.00	21454
76	K.L.	15.00	64012
77	Ravi Tandon	15.00	200
78	Mr. Blobby	15.00	390
79	kt4124	15.00	739
80	Blam	15.00	823
81	Cam Porter	15.00	15198
82	bfang	15.00	17453
83	Supahaka	15.00	14529
84	LilThug	15.00	210
85	Andrew Grasso	15.01	61
86	Ytterbium	15.01	277
87	Aaron H	15.01	2378
88	An Extremely Ordinary Sloth	15.01	4153
89	Mercury	15.01	311
90	David H.	15.01	22592
91	Tiny Wings	15.02	11786
92	Anon_K_P	15.02	19981
93	Charlie Shucheng Zhu	15.02	135
94	Fanny	15.07	200
95	Keji Xu	15.10	176
96	cmF5a3ly	15.34	21688
97	Qinlan Shen	15.49	22087
98	Alex Fish	16.35	20748
99	Bebe Shi	16.52	20395
100	David Lackey	16.56	21412
101	Gewang	17.02	20116
102	Jessie Chen	17.52	21015
103	SuperFan	17.77	19277
104	TSATTER	17.77	21242
105	The Kraken	17.82	2060
106	Bob Dondero	18.05	20312
107	cjt	22.50	21403
108	Yan Wu	26.80	0
109	Tom T	46.00	82
110	Brendan Wright	-	-
111	David Paulk	-	-
112	cat	-	-
113	Miranda	-	-
114	Jordan Ash	-	-
115	The Whitman Whale	-	-
116	Igor	-	-
117	Sally Smith	-	-
118	Nikhilesh Sigatapu	-	-

SatSolvers Ranklist

Generators Ranklist