Stats for formula: KingBach-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 KingBach-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf KingBach-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:	KingBach-0
Rank of generator:	48 / 114
Average score:	6.69
Median score:	2.28
Best solver:	haoyu
Description:	Represents the dinner table starting with 30 people. Selects two at random to be hosts. Then selects a random number of pairs and alternates making enemy pairs (can't sit next to each other), and friend pairs (must sit next to each other

	Solver	Time taken	Unsat
1	haoyu	0.06	0
2	Matt Goldsmith	0.13	0
3	Aristotle	0.17	0
4	Mercury	0.19	0
5	spl	0.20	0
6	dusty	0.21	0
7	Quite Satisfied	0.24	0
8	CookieMonster	0.26	0
9	Matt Haake	0.28	0
10	ModifiedWalkSatBreakZero	0.34	0
11	Glenn Fisher	0.36	0
12	Green "The Bean" Choi	0.36	0
13	Aaron Doll	0.40	0
14	Sunny	0.44	0
15	Tao	0.48	0
16	Shaheed Chagani	0.51	0
17	Anon5	0.52	0
18	Jonathan Kwok	0.53	0
19	Sabar Dasgupta	0.53	0
20	EC	0.53	0
21	Dr Roberto	0.61	0
22	Charlie Shucheng Zhu	0.64	0
23	burrito	0.65	0
24	David H.	0.71	0
25	HashTagAlreadyFallBreak	0.72	0
26	Sprt	0.72	0
27	Joshua Zimmer	0.72	0
28	Andys	0.75	0
29	Yan Wu	0.75	0
30	dfshasdsf12	0.76	0
31	KingBach	0.76	0
32	BH	0.78	0
33	NA	0.78	0
34	Deric Cheng	0.79	0
35	Mr. Blobby	0.81	0
36	Aaron H	0.84	0
37	Janie Gu	0.86	0
38	0108	0.88	0
39	jgs	0.89	0
40	Andrew Werner	0.92	0
41	Andrew Grasso	0.98	0
42	Ben Chen	1.01	0
43	Valya Barboy	1.01	0
44	DeeEmEm	1.04	0
45	AFC	1.07	0
46	Absurdity	1.11	0
47	snowflakes	1.25	0
48	Walter Little	1.26	0
49	David Paulk	1.36	0
50	John Whelchel	1.42	0
51	vhsiao	1.52	0
52	Yacob Y.	1.61	0
53	Mike Honcho	1.63	0
54	Fanny	1.69	0
55	jabreezy	1.77	0
56	Linda	1.84	0
57	R. A. B.	2.12	0
58	Lisa Kim	2.45	0
59	Tree Prophet	2.55	0
60	Mark Fillmore	3.01	0
61	Solving For Clauses	3.07	0
62	Jameh	3.43	0
63	soccer	3.80	0
64	An Extremely Ordinary Sloth	3.82	0
65	13a	3.94	0
66	Mike Hawk	4.09	0
67	Nikhilesh Sigatapu	4.66	0
68	T. Capote	7.07	0
69	CAPS LOCK	7.94	0
70	The Whitman Whale	8.12	0
71	bigwig	8.27	0
72	kt4124	12.72	0
73	Brendan Wright	14.94	0
74	Joel Faron	15.00	2
75	Bar Shabtai	15.00	30
76	RedOrangeBlue	15.00	34
77	Elphaba	0.07	37
78	George Okeowo	1.51	40
79	Boomshanka	15.00	883
80	Cam Porter	15.00	6590
81	cat	14.99	8297
82	BMJ	15.00	8940
83	K.L.	15.00	47426
84	LilThug	15.00	6
85	Ravi Tandon	15.00	14
86	bchouSolver	15.00	19
87	Happy	15.00	35
88	weezy	15.00	133
89	bfang	15.00	6450
90	Mickey Mouse	15.00	11717
91	Samuel Jerome	15.00	1
92	Nihar the Great	15.00	3
93	Sat Solver 2013	15.00	763
94	Anon_K_P	15.00	9774
95	Supahaka	15.00	9806
96	Blam	15.01	17
97	Khoa	15.01	40
98	Ytterbium	15.01	2
99	Tiny Wings	15.01	155
100	The Kraken	15.05	144
101	Bebe Shi	15.05	10138
102	Sally Smith	15.06	4264
103	SuperFan	15.08	10008
104	TSATTER	15.12	12127
105	David Lackey	15.21	8624
106	Qinlan Shen	15.22	12866
107	Gewang	15.23	12563
108	Alex Fish	15.37	8332
109	Bob Dondero	15.41	9577
110	Jessie Chen	15.46	12307
111	cmF5a3ly	15.58	12473
112	Keji Xu	17.52	3
113	cjt	22.50	5935
114	Tom T	35.34	1
115	Jordan Ash	118.17	40
116	Miranda	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist