Stats for formula: The Whitman Whale-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 The Whitman Whale-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf The Whitman Whale-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:	The Whitman Whale-1
Rank of generator:	58 / 114
Average score:	5.26
Median score:	0.21
Best solver:	Andrew Grasso
Description:	A dinner-party based cnf generator. Creates cnfs that are equivalent to a dinner party with 20 guests at a circular table, with 40 illegal adjacencies.

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

SatSolvers Ranklist

Generators Ranklist