Stats for formula: David Paulk-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 David Paulk-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf David Paulk-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:	David Paulk-0
Rank of generator:	86 / 114
Average score:	1.13
Median score:	0.02
Best solver:	cat
Description:	My generator generates table seating problems where 'In(a,S(b,c))' denotes guest 'a' is seated in seat '(b,c)'. An assignment of guests to seats is found such that every guest is sitting next to all of his or her friends and none of his or her enemies.

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

SatSolvers Ranklist

Generators Ranklist