Stats for formula: Valya Barboy-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 Valya Barboy-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Valya Barboy-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:	Valya Barboy-0
Rank of generator:	23 / 114
Average score:	10.75
Median score:	15.00
Best solver:	Aristotle
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	Aristotle	0.06	0
2	dusty	0.16	0
3	spl	0.21	0
4	Matt Haake	0.25	0
5	David H.	0.26	0
6	CookieMonster	0.27	0
7	Absurdity	0.28	0
8	Aaron Doll	0.28	0
9	Shaheed Chagani	0.38	0
10	Green "The Bean" Choi	0.39	0
11	Tao	0.39	0
12	Walter Little	0.49	0
13	Glenn Fisher	0.55	0
14	Jonathan Kwok	0.58	0
15	Mr. Blobby	0.62	0
16	Mike Honcho	0.66	0
17	Janie Gu	0.70	0
18	John Whelchel	0.71	0
19	Mike Hawk	0.74	0
20	ModifiedWalkSatBreakZero	0.79	0
21	Dr Roberto	0.84	0
22	Joshua Zimmer	0.85	0
23	BH	1.08	0
24	vhsiao	1.13	0
25	Andrew Grasso	1.29	0
26	Deric Cheng	1.59	0
27	jgs	1.75	0
28	Anon5	3.81	0
29	Matt Goldsmith	4.83	0
30	Nikhilesh Sigatapu	5.97	0
31	NA	6.11	0
32	Charlie Shucheng Zhu	6.90	0
33	Yacob Y.	6.93	0
34	Ben Chen	7.41	0
35	Sabar Dasgupta	7.73	0
36	snowflakes	8.34	0
37	EC	11.40	0
38	KingBach	11.86	0
39	Andrew Werner	15.00	1
40	13a	15.00	1
41	Fanny	3.94	2
42	Mercury	15.00	2
43	Samuel Jerome	15.00	4
44	CAPS LOCK	13.00	6
45	Joel Faron	15.00	7
46	Tree Prophet	15.00	7
47	DeeEmEm	15.00	7
48	The Whitman Whale	15.00	7
49	bfang	15.00	7
50	R. A. B.	9.00	9
51	haoyu	14.99	9
52	Brendan Wright	15.00	10
53	HashTagAlreadyFallBreak	15.00	10
54	T. Capote	15.00	11
55	Elphaba	0.02	14
56	bigwig	15.00	15
57	bchouSolver	15.00	16
58	George Okeowo	0.13	22
59	Sunny	14.88	22
60	Boomshanka	15.00	30
61	RedOrangeBlue	14.99	49
62	BMJ	15.00	393
63	Cam Porter	15.00	555
64	Supahaka	2.90	753
65	cat	14.99	830
66	Anon_K_P	15.00	895
67	K.L.	15.00	3169
68	Aaron H	15.00	1
69	dfshasdsf12	15.00	1
70	Andys	15.00	1
71	Valya Barboy	15.00	1
72	Sprt	15.00	1
73	An Extremely Ordinary Sloth	15.00	2
74	Nihar the Great	15.00	2
75	Ytterbium	15.00	4
76	Mark Fillmore	15.00	4
77	Solving For Clauses	15.00	5
78	Happy	15.00	5
79	Jameh	15.00	6
80	0108	15.00	7
81	LilThug	15.00	7
82	Quite Satisfied	15.00	10
83	burrito	15.00	11
84	Ravi Tandon	15.00	12
85	Linda	15.00	14
86	kt4124	15.00	15
87	Keji Xu	15.00	16
88	weezy	15.00	18
89	AFC	15.00	20
90	Tiny Wings	15.00	20
91	Khoa	15.00	22
92	Blam	15.00	24
93	The Kraken	15.00	121
94	Sat Solver 2013	15.00	272
95	Mickey Mouse	15.00	1022
96	David Lackey	15.00	4
97	Sally Smith	15.00	19
98	Gewang	15.00	3
99	Lisa Kim	15.00	7
100	Alex Fish	15.01	7
101	Jessie Chen	15.01	20
102	TSATTER	15.01	1092
103	Bebe Shi	15.01	7
104	Qinlan Shen	15.01	10
105	cmF5a3ly	15.01	406
106	SuperFan	15.02	509
107	Bob Dondero	15.02	747
108	Jordan Ash	16.95	22
109	cjt	22.50	16
110	Tom T	23.17	2
111	Yan Wu	64.87	0
112	David Paulk	-	-
113	jabreezy	-	-
114	soccer	-	-
115	Miranda	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist