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

SatSolvers Ranklist

Generators Ranklist