Stats for formula: Mike Honcho-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 Mike Honcho-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Mike Honcho-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:	Mike Honcho-1
Rank of generator:	92 / 114
Average score:	1.23
Median score:	0.11
Best solver:	Jessie Chen
Description:	Returns a satisfiable cnf which represents a dinner party planning problem with a one sided table, and 10 seats, 10 guests, 1-3 together pairs, and 1-3 apart pairs

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

SatSolvers Ranklist

Generators Ranklist