Stats for formula: spl-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 spl-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf spl-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:	spl-1
Rank of generator:	10 / 114
Average score:	13.23
Median score:	15.00
Best solver:	haoyu
Description:	Dinner party problem with 21 guests. Each guest must be seated with 0, 1, or 2 other guests, and may be hostile with up to several of the the other guests. All CNFs are satisfiable, because the guests are assigned to seats first and the constraints are placed afterwards.

	Solver	Time taken	Unsat
1	haoyu	0.06	0
2	Elphaba	0.08	0
3	CookieMonster	0.24	0
4	Green "The Bean" Choi	0.28	0
5	dusty	0.28	0
6	Sunny	0.35	0
7	AFC	0.79	0
8	jabreezy	1.36	0
9	Tree Prophet	1.40	0
10	spl	1.86	0
11	BH	2.15	0
12	Joel Faron	2.81	0
13	Nikhilesh Sigatapu	3.04	0
14	The Whitman Whale	7.00	0
15	Brendan Wright	8.45	0
16	jgs	14.98	2
17	Andrew Grasso	15.00	2
18	Andrew Werner	15.00	3
19	13a	15.00	3
20	Aristotle	15.00	3
21	Tao	15.00	3
22	NA	14.99	5
23	vhsiao	14.98	5
24	ModifiedWalkSatBreakZero	15.00	7
25	Mercury	15.00	8
26	Janie Gu	15.00	9
27	snowflakes	15.00	14
28	HashTagAlreadyFallBreak	15.00	18
29	Matt Goldsmith	15.00	25
30	Glenn Fisher	15.00	26
31	CAPS LOCK	13.00	27
32	Dr Roberto	14.99	28
33	bigwig	15.00	32
34	Boomshanka	0.94	37
35	T. Capote	15.00	41
36	George Okeowo	0.62	48
37	bchouSolver	15.00	65
38	R. A. B.	9.00	77
39	RedOrangeBlue	14.99	625
40	cat	14.99	1089
41	BMJ	15.00	2377
42	bfang	15.00	3203
43	Anon_K_P	15.00	7059
44	K.L.	15.00	9559
45	Matt Haake	15.00	2
46	Mike Honcho	15.00	2
47	Andys	15.00	2
48	Mr. Blobby	15.00	2
49	KingBach	15.00	3
50	Shaheed Chagani	15.00	3
51	dfshasdsf12	15.00	3
52	Valya Barboy	15.00	3
53	Sabar Dasgupta	15.00	3
54	Mike Hawk	15.00	3
55	Walter Little	15.00	3
56	Joshua Zimmer	15.00	3
57	Deric Cheng	15.00	3
58	Fanny	15.00	4
59	Nihar the Great	15.00	4
60	Yacob Y.	15.00	5
61	Ytterbium	15.00	8
62	John Whelchel	15.00	8
63	Aaron Doll	15.00	9
64	Quite Satisfied	15.00	20
65	0108	15.00	21
66	Mark Fillmore	15.00	22
67	Jameh	15.00	24
68	Solving For Clauses	15.00	24
69	Ravi Tandon	15.00	34
70	LilThug	15.00	36
71	An Extremely Ordinary Sloth	15.00	37
72	Khoa	15.00	48
73	kt4124	15.00	48
74	Linda	15.00	49
75	weezy	15.00	136
76	Sat Solver 2013	15.00	829
77	Cam Porter	15.00	1863
78	Supahaka	15.00	3104
79	Mickey Mouse	15.00	3717
80	Ben Chen	15.00	2
81	Anon5	15.00	2
82	Absurdity	15.00	13
83	Lisa Kim	15.00	13
84	Sally Smith	15.00	990
85	David H.	15.00	4359
86	Jonathan Kwok	15.00	2
87	Charlie Shucheng Zhu	15.00	4
88	Aaron H	15.00	6
89	Samuel Jerome	15.00	21
90	burrito	15.00	30
91	Tiny Wings	15.00	35
92	Blam	15.00	54
93	DeeEmEm	15.00	21
94	EC	15.00	24
95	The Kraken	15.01	1300
96	Keji Xu	15.02	23
97	TSATTER	15.02	4664
98	Happy	15.03	47
99	Alex Fish	15.03	2647
100	cmF5a3ly	15.05	3732
101	SuperFan	15.06	3854
102	Bob Dondero	15.18	3957
103	Jessie Chen	15.23	3185
104	David Lackey	15.26	2329
105	Bebe Shi	15.27	2927
106	Gewang	15.28	3152
107	Qinlan Shen	15.39	5030
108	cjt	22.50	2097
109	Tom T	32.55	5
110	Jordan Ash	103.91	48
111	David Paulk	-	-
112	Yan Wu	-	-
113	soccer	-	-
114	Miranda	-	-
115	Bar Shabtai	-	-
116	ebp	-	-
117	Igor	-	-
118	Sprt	-	-

SatSolvers Ranklist

Generators Ranklist