Stats for formula: KingBach-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 KingBach-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf KingBach-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:	KingBach-1
Rank of generator:	48 / 114
Average score:	5.35
Median score:	0.91
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.04	0
2	Aristotle	0.10	0
3	Nihar the Great	0.10	0
4	Aaron Doll	0.13	0
5	Matt Goldsmith	0.15	0
6	spl	0.16	0
7	Mercury	0.17	0
8	dusty	0.18	0
9	Bar Shabtai	0.19	0
10	Elphaba	0.20	0
11	Jonathan Kwok	0.22	0
12	CookieMonster	0.25	0
13	Glenn Fisher	0.27	0
14	Quite Satisfied	0.28	0
15	Matt Haake	0.30	0
16	ModifiedWalkSatBreakZero	0.32	0
17	John Whelchel	0.34	0
18	vhsiao	0.34	0
19	Jameh	0.34	0
20	Andrew Grasso	0.36	0
21	Tao	0.38	0
22	Mark Fillmore	0.38	0
23	Charlie Shucheng Zhu	0.40	0
24	HashTagAlreadyFallBreak	0.40	0
25	Green "The Bean" Choi	0.42	0
26	Sunny	0.45	0
27	burrito	0.45	0
28	jgs	0.45	0
29	Joshua Zimmer	0.46	0
30	EC	0.49	0
31	Linda	0.50	0
32	Shaheed Chagani	0.50	0
33	Absurdity	0.51	0
34	Lisa Kim	0.51	0
35	Ben Chen	0.51	0
36	Anon5	0.52	0
37	Janie Gu	0.52	0
38	13a	0.52	0
39	KingBach	0.53	0
40	NA	0.53	0
41	Yan Wu	0.55	0
42	Mike Hawk	0.60	0
43	Yacob Y.	0.61	0
44	Sabar Dasgupta	0.62	0
45	Deric Cheng	0.62	0
46	Aaron H	0.64	0
47	Valya Barboy	0.67	0
48	Dr Roberto	0.69	0
49	Andrew Werner	0.70	0
50	Sprt	0.70	0
51	Mr. Blobby	0.71	0
52	Walter Little	0.73	0
53	David H.	0.74	0
54	Andys	0.74	0
55	dfshasdsf12	0.75	0
56	0108	0.79	0
57	snowflakes	0.89	0
58	BH	0.92	0
59	DeeEmEm	0.99	0
60	Ytterbium	1.03	0
61	AFC	1.08	0
62	Mike Honcho	1.15	0
63	soccer	1.21	0
64	CAPS LOCK	1.28	0
65	Fanny	1.58	0
66	David Paulk	1.66	0
67	Tree Prophet	1.69	0
68	Khoa	2.06	0
69	Solving For Clauses	2.19	0
70	kt4124	2.23	0
71	jabreezy	2.73	0
72	T. Capote	2.78	0
73	An Extremely Ordinary Sloth	3.02	0
74	Joel Faron	3.69	0
75	Boomshanka	3.94	0
76	Nikhilesh Sigatapu	4.24	0
77	Tom T	5.35	0
78	The Whitman Whale	5.91	0
79	bigwig	7.18	0
80	Samuel Jerome	9.91	0
81	Brendan Wright	12.69	0
82	Blam	13.82	0
83	R. A. B.	9.00	2
84	RedOrangeBlue	15.00	30
85	George Okeowo	1.50	34
86	cat	15.00	5738
87	Cam Porter	15.00	5926
88	BMJ	15.00	7790
89	K.L.	15.00	45783
90	bchouSolver	15.00	12
91	Ravi Tandon	15.00	15
92	weezy	15.00	128
93	Sat Solver 2013	15.00	1027
94	Supahaka	15.00	9121
95	Mickey Mouse	15.00	11776
96	bfang	15.00	6181
97	LilThug	15.01	1
98	Anon_K_P	15.01	6676
99	Tiny Wings	15.01	249
100	Happy	15.03	29
101	Sally Smith	15.03	4024
102	David Lackey	15.04	9259
103	The Kraken	15.05	75
104	Gewang	15.13	11799
105	Alex Fish	15.15	9960
106	Bob Dondero	15.17	10226
107	Bebe Shi	15.19	8852
108	SuperFan	15.28	10281
109	Keji Xu	15.30	3
110	cmF5a3ly	15.30	9971
111	Jessie Chen	15.31	11875
112	Qinlan Shen	15.46	11179
113	TSATTER	15.86	11641
114	cjt	22.50	5671
115	Jordan Ash	107.94	34
116	Miranda	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist