Stats for formula: bchouGenerator-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 bchouGenerator-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf bchouGenerator-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:	bchouGenerator-1
Rank of generator:	84 / 114
Average score:	1.94
Median score:	0.04
Best solver:	Jonathan Kwok
Description:	Dinner Party CNF generator for between 6 and 12 people. Everyone must have exactly one seat. There are some pairs that must sit next to each other, and there are others that must sit apart.

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

SatSolvers Ranklist

Generators Ranklist