Stats for formula: Anon_K_P-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 Anon_K_P-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Anon_K_P-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:	Anon_K_P-0
Rank of generator:	45 / 114
Average score:	6.72
Median score:	0.96
Best solver:	haoyu
Description:	Generates satisfiable CNF formulas based on a table configuration with n seats on each of two sides, 2n people, and various constraints regarding which pairs of people cannot sit across from or adjacent to one another.

	Solver	Time taken	Unsat
1	haoyu	0.02	0
2	Glenn Fisher	0.05	0
3	Aristotle	0.06	0
4	ModifiedWalkSatBreakZero	0.07	0
5	Aaron Doll	0.07	0
6	dusty	0.08	0
7	Andrew Grasso	0.08	0
8	David H.	0.08	0
9	Mike Hawk	0.09	0
10	Mr. Blobby	0.09	0
11	spl	0.10	0
12	Shaheed Chagani	0.10	0
13	Samuel Jerome	0.11	0
14	Deric Cheng	0.12	0
15	Matt Haake	0.13	0
16	snowflakes	0.14	0
17	Aaron H	0.14	0
18	dfshasdsf12	0.14	0
19	EC	0.14	0
20	Dr Roberto	0.14	0
21	Anon5	0.14	0
22	AFC	0.16	0
23	Matt Goldsmith	0.16	0
24	Absurdity	0.16	0
25	CookieMonster	0.17	0
26	Tree Prophet	0.17	0
27	BH	0.17	0
28	HashTagAlreadyFallBreak	0.18	0
29	Tao	0.19	0
30	Yacob Y.	0.19	0
31	jgs	0.19	0
32	Sprt	0.22	0
33	Quite Satisfied	0.24	0
34	vhsiao	0.24	0
35	Ben Chen	0.28	0
36	Andys	0.33	0
37	Fanny	0.35	0
38	Sunny	0.35	0
39	Mike Honcho	0.36	0
40	Joshua Zimmer	0.41	0
41	Andrew Werner	0.42	0
42	Sabar Dasgupta	0.42	0
43	KingBach	0.43	0
44	Joel Faron	0.47	0
45	Jonathan Kwok	0.50	0
46	Nikhilesh Sigatapu	0.52	0
47	DeeEmEm	0.53	0
48	The Whitman Whale	0.53	0
49	Walter Little	0.56	0
50	Charlie Shucheng Zhu	0.57	0
51	Janie Gu	0.58	0
52	ebp	0.59	0
53	NA	0.65	0
54	Anon_K_P	0.70	0
55	13a	0.74	0
56	0108	0.96	0
57	John Whelchel	0.96	0
58	bfang	1.06	0
59	Lisa Kim	1.08	0
60	Brendan Wright	1.15	0
61	Valya Barboy	2.15	0
62	Yan Wu	2.29	0
63	An Extremely Ordinary Sloth	2.51	0
64	bigwig	6.87	0
65	David Lackey	8.57	0
66	Gewang	8.79	0
67	Keji Xu	12.40	0
68	Alex Fish	13.08	0
69	Tiny Wings	14.65	0
70	Ytterbium	14.76	0
71	CAPS LOCK	13.00	3
72	R. A. B.	9.00	7
73	Bar Shabtai	15.00	8
74	bchouSolver	15.00	10
75	T. Capote	15.00	16
76	Green "The Bean" Choi	15.00	17
77	soccer	15.00	21
78	Elphaba	0.04	26
79	RedOrangeBlue	14.99	36
80	George Okeowo	0.20	36
81	BMJ	15.00	99
82	cat	14.99	217
83	Boomshanka	15.00	474
84	Cam Porter	15.00	1145
85	K.L.	15.00	6889
86	Nihar the Great	15.00	2
87	LilThug	15.00	2
88	Jameh	15.00	4
89	Mark Fillmore	15.00	4
90	Solving For Clauses	15.00	6
91	Ravi Tandon	15.00	12
92	burrito	15.00	16
93	Linda	15.00	16
94	weezy	15.00	17
95	Blam	15.00	21
96	kt4124	15.00	21
97	Happy	15.00	22
98	Khoa	15.00	36
99	Sat Solver 2013	15.00	273
100	Supahaka	15.00	1642
101	Mickey Mouse	15.00	1679
102	Sally Smith	15.00	16
103	The Kraken	15.00	25
104	SuperFan	15.00	1479
105	Bebe Shi	15.01	2
106	Mercury	15.01	2
107	Jessie Chen	15.01	12
108	cmF5a3ly	15.01	5
109	Bob Dondero	15.04	1569
110	TSATTER	15.05	2097
111	Qinlan Shen	15.12	895
112	Tom T	15.59	2
113	Jordan Ash	15.90	6
114	cjt	22.50	18
115	David Paulk	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist