Stats for formula: BH-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 BH-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf BH-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:	BH-0
Rank of generator:	18 / 114
Average score:	12.10
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.07	0
2	Aristotle	0.20	0
3	Matt Goldsmith	0.20	0
4	Aaron Doll	0.34	0
5	dusty	0.42	0
6	spl	0.46	0
7	vhsiao	0.72	0
8	CookieMonster	0.78	0
9	Dr Roberto	0.85	0
10	DeeEmEm	0.91	0
11	ModifiedWalkSatBreakZero	0.94	0
12	Quite Satisfied	1.24	0
13	Matt Haake	1.47	0
14	Tao	2.64	0
15	HashTagAlreadyFallBreak	4.08	0
16	Shaheed Chagani	4.39	0
17	Jonathan Kwok	6.01	0
18	BH	6.83	0
19	Ben Chen	6.91	0
20	Tree Prophet	7.77	0
21	Sabar Dasgupta	8.86	0
22	Janie Gu	9.00	0
23	Mike Hawk	9.08	0
24	Joshua Zimmer	9.61	0
25	Glenn Fisher	9.69	0
26	Yacob Y.	10.15	0
27	Valya Barboy	10.84	0
28	Walter Little	10.90	0
29	Andys	11.03	0
30	jgs	11.10	0
31	EC	11.65	0
32	Anon5	13.23	0
33	snowflakes	13.47	0
34	Absurdity	13.67	0
35	NA	13.80	0
36	Deric Cheng	14.32	0
37	ebp	14.55	0
38	Joel Faron	15.00	98
39	George Okeowo	3.89	200
40	13a	15.00	200
41	Elphaba	0.17	292
42	bchouSolver	15.00	369
43	CAPS LOCK	13.00	387
44	T. Capote	15.00	611
45	Boomshanka	15.00	1391
46	bigwig	15.00	1548
47	R. A. B.	9.00	5972
48	K.L.	15.00	62974
49	Mike Honcho	15.00	40
50	AFC	15.00	86
51	dfshasdsf12	15.00	187
52	Nihar the Great	15.00	190
53	Sprt	15.00	198
54	Mark Fillmore	15.00	199
55	Andrew Grasso	15.00	200
56	Jameh	15.00	465
57	Solving For Clauses	15.00	479
58	soccer	15.00	601
59	Linda	15.00	607
60	Blam	15.00	940
61	weezy	15.00	6523
62	Samuel Jerome	15.00	6977
63	Cam Porter	15.00	13602
64	Ravi Tandon	15.00	199
65	Bar Shabtai	15.00	200
66	kt4124	15.00	612
67	BMJ	15.00	13501
68	Supahaka	15.00	15672
69	Mickey Mouse	15.00	22878
70	LilThug	15.00	199
71	Khoa	15.00	200
72	Charlie Shucheng Zhu	15.00	238
73	Aaron H	15.00	2660
74	Andrew Werner	15.00	154
75	0108	15.00	454
76	bfang	15.00	17079
77	KingBach	15.01	269
78	An Extremely Ordinary Sloth	15.01	4822
79	burrito	15.01	220
80	RedOrangeBlue	15.01	16747
81	Lisa Kim	15.01	211
82	Mr. Blobby	15.01	373
83	David H.	15.01	21253
84	Anon_K_P	15.01	19346
85	Ytterbium	15.02	251
86	Sat Solver 2013	15.02	4465
87	Mercury	15.02	317
88	John Whelchel	15.03	385
89	Green "The Bean" Choi	15.04	53
90	Tiny Wings	15.05	11791
91	Sunny	15.09	61
92	Fanny	15.10	200
93	Keji Xu	15.13	166
94	Qinlan Shen	15.20	20670
95	The Kraken	15.36	1603
96	cmF5a3ly	15.48	22325
97	Happy	15.67	200
98	Alex Fish	16.16	19498
99	Gewang	16.75	19855
100	SuperFan	16.84	19801
101	Bebe Shi	16.89	20978
102	David Lackey	16.94	21714
103	Jessie Chen	17.20	21160
104	Bob Dondero	17.68	21193
105	TSATTER	21.46	19971
106	cjt	22.50	19566
107	Yan Wu	26.70	0
108	Tom T	27.90	0
109	Brendan Wright	-	-
110	David Paulk	-	-
111	cat	-	-
112	jabreezy	-	-
113	Miranda	-	-
114	Jordan Ash	-	-
115	The Whitman Whale	-	-
116	Igor	-	-
117	Sally Smith	-	-
118	Nikhilesh Sigatapu	-	-

SatSolvers Ranklist

Generators Ranklist