Stats for formula: Boomshanka-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 Boomshanka-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Boomshanka-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:	Boomshanka-1
Rank of generator:	78 / 114
Average score:	2.72
Median score:	0.11
Best solver:	Bar Shabtai
Description:	Generates a CNF instance based off the rules of a chess tournament. Implements rules such as each player having 1 and only 1 rating, and two players of the same rating must play each other, and two players of different ratings cannot play each other.

	Solver	Time taken	Unsat
1	Bar Shabtai	0.01	0
2	Glenn Fisher	0.02	0
3	haoyu	0.02	0
4	Nihar the Great	0.02	0
5	Jonathan Kwok	0.02	0
6	0108	0.03	0
7	jgs	0.03	0
8	Sprt	0.03	0
9	Anon5	0.03	0
10	Andrew Grasso	0.03	0
11	LilThug	0.03	0
12	Mike Hawk	0.03	0
13	Walter Little	0.03	0
14	Sabar Dasgupta	0.03	0
15	Yan Wu	0.04	0
16	Deric Cheng	0.04	0
17	Yacob Y.	0.04	0
18	Absurdity	0.04	0
19	EC	0.04	0
20	Andrew Werner	0.04	0
21	Lisa Kim	0.04	0
22	Mr. Blobby	0.04	0
23	Ben Chen	0.04	0
24	KingBach	0.04	0
25	NA	0.04	0
26	Khoa	0.04	0
27	HashTagAlreadyFallBreak	0.04	0
28	Ytterbium	0.04	0
29	13a	0.04	0
30	Janie Gu	0.05	0
31	Andys	0.05	0
32	Joshua Zimmer	0.05	0
33	Green "The Bean" Choi	0.05	0
34	snowflakes	0.05	0
35	Charlie Shucheng Zhu	0.05	0
36	burrito	0.05	0
37	David H.	0.05	0
38	Samuel Jerome	0.05	0
39	John Whelchel	0.06	0
40	jabreezy	0.06	0
41	dusty	0.06	0
42	Valya Barboy	0.06	0
43	Aaron Doll	0.06	0
44	bigwig	0.06	0
45	ModifiedWalkSatBreakZero	0.06	0
46	An Extremely Ordinary Sloth	0.07	0
47	Sunny	0.07	0
48	Jameh	0.07	0
49	Elphaba	0.07	0
50	Quite Satisfied	0.07	0
51	Mercury	0.08	0
52	Matt Goldsmith	0.08	0
53	Mark Fillmore	0.08	0
54	Solving For Clauses	0.08	0
55	Matt Haake	0.09	0
56	spl	0.10	0
57	Aaron H	0.11	0
58	CookieMonster	0.11	0
59	Linda	0.11	0
60	BH	0.11	0
61	AFC	0.12	0
62	Mike Honcho	0.13	0
63	Aristotle	0.13	0
64	Nikhilesh Sigatapu	0.13	0
65	CAPS LOCK	0.13	0
66	bfang	0.13	0
67	Tao	0.15	0
68	RedOrangeBlue	0.15	0
69	T. Capote	0.15	0
70	kt4124	0.15	0
71	Ravi Tandon	0.21	0
72	Dr Roberto	0.21	0
73	Fanny	0.23	0
74	Shaheed Chagani	0.23	0
75	dfshasdsf12	0.24	0
76	Boomshanka	0.25	0
77	DeeEmEm	0.29	0
78	Tree Prophet	0.37	0
79	Tiny Wings	0.39	0
80	R. A. B.	0.39	0
81	soccer	0.47	0
82	bchouSolver	0.48	0
83	Joel Faron	0.50	0
84	Keji Xu	0.57	0
85	The Whitman Whale	0.64	0
86	Blam	0.85	0
87	vhsiao	0.85	0
88	Anon_K_P	1.35	0
89	Brendan Wright	1.63	0
90	Qinlan Shen	1.81	0
91	David Paulk	3.14	0
92	David Lackey	3.34	0
93	Tom T	3.54	0
94	cjt	3.55	0
95	Alex Fish	3.61	0
96	Bebe Shi	6.06	0
97	cmF5a3ly	6.89	0
98	Gewang	7.06	0
99	Happy	10.38	0
100	Sally Smith	11.01	0
101	Cam Porter	15.00	7
102	cat	14.99	11
103	George Okeowo	0.19	31
104	BMJ	15.00	186
105	Supahaka	1.34	254
106	K.L.	15.00	2256
107	weezy	15.00	2
108	The Kraken	15.00	12
109	Sat Solver 2013	15.00	63
110	Mickey Mouse	15.00	668
111	Jessie Chen	15.01	33
112	TSATTER	15.03	417
113	Miranda	15.04	31
114	Bob Dondero	15.06	83
115	SuperFan	15.06	252
116	Jordan Ash	27.00	31
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist