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

SatSolvers Ranklist

Generators Ranklist