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

SatSolvers Ranklist

Generators Ranklist