Stats for formula: Valya Barboy-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 Valya Barboy-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Valya Barboy-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:	Valya Barboy-1
Rank of generator:	23 / 114
Average score:	11.49
Median score:	15.00
Best solver:	Shaheed Chagani
Description:	Generates CNFs using the dinner seating problem. Assuming there is a table seating R people, and R spaces, and people have seating preferences, generates a CNF to represent the constraints. Guaranteed to be satisfiable. A solution to the CNF represents a seating that suits everyone.

	Solver	Time taken	Unsat
1	Shaheed Chagani	0.18	0
2	CookieMonster	0.21	0
3	dusty	0.25	0
4	ModifiedWalkSatBreakZero	0.27	0
5	spl	0.28	0
6	John Whelchel	0.35	0
7	Aristotle	0.44	0
8	Matt Haake	0.48	0
9	Aaron Doll	0.52	0
10	BH	0.66	0
11	vhsiao	0.96	0
12	Walter Little	0.98	0
13	David H.	1.01	0
14	Jonathan Kwok	1.02	0
15	Andrew Werner	1.49	0
16	Matt Goldsmith	1.64	0
17	Mr. Blobby	1.79	0
18	Absurdity	2.02	0
19	jgs	2.09	0
20	Andrew Grasso	2.46	0
21	Joshua Zimmer	2.89	0
22	Nikhilesh Sigatapu	3.40	0
23	Ben Chen	3.75	0
24	Tao	3.87	0
25	Sabar Dasgupta	4.07	0
26	Dr Roberto	4.65	0
27	NA	4.91	0
28	Andys	6.81	0
29	snowflakes	8.66	0
30	Deric Cheng	8.91	0
31	Yacob Y.	11.06	0
32	Anon5	11.13	0
33	Sprt	12.21	0
34	13a	15.00	1
35	Fanny	4.38	2
36	Samuel Jerome	15.00	3
37	Janie Gu	15.00	4
38	CAPS LOCK	13.00	4
39	DeeEmEm	15.00	5
40	bfang	15.00	5
41	Glenn Fisher	15.00	6
42	Joel Faron	15.00	7
43	Tree Prophet	15.00	7
44	R. A. B.	9.00	8
45	Brendan Wright	15.00	10
46	haoyu	14.99	10
47	The Whitman Whale	15.00	10
48	Green "The Bean" Choi	15.00	12
49	Elphaba	0.04	13
50	HashTagAlreadyFallBreak	15.00	14
51	bigwig	15.00	15
52	bchouSolver	15.00	15
53	Boomshanka	15.00	15
54	T. Capote	15.00	17
55	George Okeowo	0.12	22
56	Sunny	14.86	22
57	RedOrangeBlue	14.99	41
58	BMJ	15.00	452
59	Anon_K_P	15.00	514
60	Cam Porter	15.00	552
61	Supahaka	3.42	686
62	cat	14.99	1069
63	K.L.	15.00	3373
64	KingBach	15.00	1
65	Aaron H	15.00	1
66	An Extremely Ordinary Sloth	15.00	1
67	dfshasdsf12	15.00	1
68	Mike Honcho	15.00	1
69	Valya Barboy	15.00	1
70	Mike Hawk	15.00	1
71	Nihar the Great	15.00	2
72	Happy	15.00	3
73	Mark Fillmore	15.00	3
74	Ytterbium	15.00	4
75	Jameh	15.00	4
76	Solving For Clauses	15.00	4
77	Lisa Kim	15.00	5
78	burrito	15.00	6
79	LilThug	15.00	6
80	0108	15.00	7
81	Quite Satisfied	15.00	8
82	Tiny Wings	15.00	8
83	Ravi Tandon	15.00	9
84	EC	15.00	11
85	AFC	15.00	14
86	Keji Xu	15.00	15
87	Sally Smith	15.00	16
88	weezy	15.00	17
89	Blam	15.00	17
90	kt4124	15.00	19
91	Linda	15.00	20
92	Khoa	15.00	22
93	The Kraken	15.00	69
94	Sat Solver 2013	15.00	218
95	Mickey Mouse	15.00	1150
96	Mercury	15.00	3
97	Gewang	15.00	3
98	David Lackey	15.01	5
99	SuperFan	15.01	642
100	Qinlan Shen	15.01	4
101	Jessie Chen	15.01	19
102	Alex Fish	15.01	2
103	Bebe Shi	15.01	7
104	cmF5a3ly	15.02	1002
105	Bob Dondero	15.02	767
106	TSATTER	15.03	1107
107	Tom T	15.47	2
108	Jordan Ash	17.39	22
109	cjt	22.50	16
110	Charlie Shucheng Zhu	22.50	1
111	Yan Wu	105.42	10
112	David Paulk	-	-
113	jabreezy	-	-
114	soccer	-	-
115	Miranda	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist