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