Stats for formula: Boomshanka-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 Boomshanka-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Boomshanka-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:	Boomshanka-0
Rank of generator:	78 / 114
Average score:	1.95
Median score:	0.10
Best solver:	haoyu
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	haoyu	0.01	0
2	Green "The Bean" Choi	0.04	0
3	Jonathan Kwok	0.04	0
4	dusty	0.05	0
5	jabreezy	0.05	0
6	Andrew Werner	0.06	0
7	jgs	0.06	0
8	Yan Wu	0.06	0
9	Nihar the Great	0.06	0
10	Mr. Blobby	0.06	0
11	Mike Hawk	0.06	0
12	Bar Shabtai	0.06	0
13	Yacob Y.	0.06	0
14	EC	0.06	0
15	Deric Cheng	0.06	0
16	Walter Little	0.06	0
17	13a	0.06	0
18	Anon5	0.06	0
19	Absurdity	0.06	0
20	Aaron Doll	0.06	0
21	An Extremely Ordinary Sloth	0.07	0
22	KingBach	0.07	0
23	0108	0.07	0
24	Aaron H	0.07	0
25	CookieMonster	0.07	0
26	Janie Gu	0.07	0
27	Jameh	0.07	0
28	Glenn Fisher	0.07	0
29	Matt Goldsmith	0.07	0
30	John Whelchel	0.07	0
31	Sunny	0.07	0
32	Andrew Grasso	0.07	0
33	Sprt	0.07	0
34	David H.	0.08	0
35	snowflakes	0.08	0
36	NA	0.08	0
37	Ytterbium	0.08	0
38	Lisa Kim	0.08	0
39	Joshua Zimmer	0.08	0
40	Andys	0.08	0
41	Khoa	0.08	0
42	Samuel Jerome	0.08	0
43	Elphaba	0.08	0
44	HashTagAlreadyFallBreak	0.08	0
45	burrito	0.08	0
46	bigwig	0.09	0
47	Valya Barboy	0.09	0
48	Matt Haake	0.09	0
49	Aristotle	0.09	0
50	bfang	0.09	0
51	LilThug	0.09	0
52	ModifiedWalkSatBreakZero	0.10	0
53	cat	0.10	0
54	Sabar Dasgupta	0.10	0
55	Nikhilesh Sigatapu	0.10	0
56	Quite Satisfied	0.10	0
57	David Paulk	0.10	0
58	Ben Chen	0.10	0
59	Charlie Shucheng Zhu	0.11	0
60	T. Capote	0.11	0
61	Linda	0.11	0
62	spl	0.11	0
63	Mike Honcho	0.11	0
64	Mercury	0.11	0
65	Mark Fillmore	0.11	0
66	Tao	0.12	0
67	AFC	0.12	0
68	Solving For Clauses	0.12	0
69	dfshasdsf12	0.12	0
70	soccer	0.13	0
71	CAPS LOCK	0.13	0
72	R. A. B.	0.13	0
73	Tree Prophet	0.14	0
74	RedOrangeBlue	0.14	0
75	Dr Roberto	0.15	0
76	BH	0.15	0
77	Ravi Tandon	0.16	0
78	Boomshanka	0.17	0
79	kt4124	0.18	0
80	Fanny	0.18	0
81	Tiny Wings	0.19	0
82	Shaheed Chagani	0.20	0
83	DeeEmEm	0.25	0
84	Joel Faron	0.29	0
85	cjt	0.29	0
86	Blam	0.31	0
87	Alex Fish	0.37	0
88	The Whitman Whale	0.38	0
89	David Lackey	0.41	0
90	bchouSolver	0.42	0
91	Anon_K_P	0.58	0
92	vhsiao	0.62	0
93	Bebe Shi	0.63	0
94	Qinlan Shen	0.65	0
95	cmF5a3ly	0.66	0
96	Brendan Wright	0.85	0
97	Keji Xu	0.98	0
98	The Kraken	1.04	0
99	Tom T	1.15	0
100	Sally Smith	1.28	0
101	Jessie Chen	3.09	0
102	Happy	4.72	0
103	Jordan Ash	6.95	0
104	weezy	12.78	0
105	Cam Porter	14.76	0
106	George Okeowo	0.16	16
107	Supahaka	0.45	82
108	BMJ	15.00	116
109	K.L.	15.00	1399
110	Sat Solver 2013	15.00	25
111	Mickey Mouse	15.00	202
112	Miranda	15.00	16
113	Gewang	15.00	1
114	SuperFan	15.01	3
115	Bob Dondero	15.01	5
116	TSATTER	15.02	503
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist