Stats for formula: vluu-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 vluu-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf vluu-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:	vluu-0
Rank of generator:	72 / 114
Average score:	2.92
Median score:	0.10
Best solver:	Nihar the Great
Description:	This is an encoding of the natural problem of assigning guests to a table. Some guests must sit next to each other, some can't sit next to each other and some would like to sit within 3 or 4 seats of each other. An arrangement is randomly generated and CNF constraints are drawn from that.

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

SatSolvers Ranklist

Generators Ranklist