Stats for formula: spl-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 spl-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf spl-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:	spl-0
Rank of generator:	10 / 114
Average score:	13.34
Median score:	15.00
Best solver:	Elphaba
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	Elphaba	0.09	0
2	Green "The Bean" Choi	0.36	0
3	Sunny	0.38	0
4	CookieMonster	0.46	0
5	dusty	0.71	0
6	AFC	0.88	0
7	Dr Roberto	0.92	0
8	jabreezy	1.43	0
9	Tree Prophet	1.55	0
10	DeeEmEm	2.31	0
11	Joel Faron	3.15	0
12	Nikhilesh Sigatapu	3.32	0
13	The Whitman Whale	8.25	0
14	Brendan Wright	9.79	0
15	haoyu	10.93	0
16	ModifiedWalkSatBreakZero	12.51	0
17	jgs	14.98	2
18	Tao	15.00	2
19	spl	15.00	2
20	Andrew Grasso	15.00	3
21	13a	15.00	3
22	Aristotle	15.00	3
23	NA	14.99	5
24	Janie Gu	15.00	6
25	Samuel Jerome	15.00	8
26	vhsiao	14.98	9
27	Mercury	15.00	9
28	snowflakes	15.00	11
29	HashTagAlreadyFallBreak	15.00	11
30	John Whelchel	15.00	14
31	Matt Goldsmith	15.00	20
32	Glenn Fisher	15.00	26
33	CAPS LOCK	13.00	26
34	Boomshanka	15.00	35
35	T. Capote	15.00	44
36	George Okeowo	0.72	51
37	bigwig	15.00	57
38	R. A. B.	9.00	59
39	bchouSolver	15.00	74
40	RedOrangeBlue	14.99	803
41	cat	14.99	1001
42	Cam Porter	15.00	2219
43	BMJ	15.00	2579
44	bfang	15.00	3383
45	Anon_K_P	15.00	7464
46	K.L.	15.00	10467
47	Matt Haake	15.00	2
48	dfshasdsf12	15.00	2
49	BH	15.00	2
50	Jonathan Kwok	15.00	2
51	Deric Cheng	15.00	2
52	Shaheed Chagani	15.00	3
53	Fanny	15.00	3
54	Mike Honcho	15.00	3
55	Andys	15.00	3
56	Valya Barboy	15.00	3
57	Sabar Dasgupta	15.00	3
58	Mike Hawk	15.00	3
59	KingBach	15.00	4
60	Lisa Kim	15.00	4
61	Nihar the Great	15.00	6
62	Aaron Doll	15.00	7
63	Aaron H	15.00	9
64	EC	15.00	12
65	Quite Satisfied	15.00	14
66	Jameh	15.00	24
67	Mark Fillmore	15.00	24
68	Solving For Clauses	15.00	27
69	0108	15.00	30
70	Ravi Tandon	15.00	34
71	burrito	15.00	36
72	LilThug	15.00	36
73	Linda	15.00	49
74	Blam	15.00	65
75	weezy	15.00	182
76	Sat Solver 2013	15.00	1044
77	Supahaka	15.00	3324
78	Mickey Mouse	15.00	4397
79	Andrew Werner	15.00	3
80	Mr. Blobby	15.00	3
81	Charlie Shucheng Zhu	15.00	3
82	Anon5	15.00	3
83	Ytterbium	15.00	10
84	Khoa	15.00	51
85	David H.	15.00	4201
86	Ben Chen	15.00	3
87	Yacob Y.	15.00	10
88	Absurdity	15.00	19
89	kt4124	15.00	35
90	Walter Little	15.00	7
91	Keji Xu	15.00	23
92	An Extremely Ordinary Sloth	15.00	32
93	Joshua Zimmer	15.01	2
94	Tiny Wings	15.01	101
95	The Kraken	15.01	1289
96	Happy	15.03	48
97	Sally Smith	15.03	1641
98	Bebe Shi	15.13	3305
99	Gewang	15.19	3283
100	Alex Fish	15.23	2840
101	SuperFan	15.24	3977
102	David Lackey	15.27	3405
103	Bob Dondero	15.27	3890
104	cmF5a3ly	15.27	4144
105	Jessie Chen	15.29	3785
106	Qinlan Shen	15.39	4022
107	TSATTER	15.55	4258
108	cjt	22.50	1637
109	Tom T	32.80	7
110	Jordan Ash	112.06	51
111	David Paulk	-	-
112	Yan Wu	-	-
113	soccer	-	-
114	Miranda	-	-
115	Bar Shabtai	-	-
116	ebp	-	-
117	Igor	-	-
118	Sprt	-	-

SatSolvers Ranklist

Generators Ranklist