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

SatSolvers Ranklist

Generators Ranklist