Stats for formula: Mike Hunt-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 Hunt-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Mike Hunt-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 Hunt-1
Rank of generator:	24 / 114
Average score:	11.32
Median score:	15.00
Best solver:	Aristotle
Description:	Dinner party planning with 46 people who really, really dislike each other

	Solver	Time taken	Unsat
1	Aristotle	0.29	0
2	dusty	0.33	0
3	Elphaba	0.35	0
4	spl	0.46	0
5	Aaron Doll	0.51	0
6	CookieMonster	0.78	0
7	Bar Shabtai	0.81	0
8	Matt Haake	0.94	0
9	ModifiedWalkSatBreakZero	0.95	0
10	Dr Roberto	1.39	0
11	Green "The Bean" Choi	1.70	0
12	Matt Goldsmith	1.72	0
13	Quite Satisfied	1.98	0
14	Shaheed Chagani	2.15	0
15	David H.	2.81	0
16	Tao	3.10	0
17	dfshasdsf12	3.44	0
18	vhsiao	3.50	0
19	NA	3.85	0
20	Janie Gu	3.91	0
21	KingBach	4.67	0
22	Sprt	5.08	0
23	Joshua Zimmer	5.93	0
24	0108	5.97	0
25	Yacob Y.	6.16	0
26	Sunny	6.22	0
27	HashTagAlreadyFallBreak	6.55	0
28	Walter Little	6.75	0
29	BH	6.76	0
30	jgs	8.07	0
31	Glenn Fisher	8.42	0
32	Andys	9.47	0
33	Sabar Dasgupta	9.49	0
34	Fanny	9.78	0
35	Yan Wu	10.23	0
36	Absurdity	10.33	0
37	Jonathan Kwok	10.36	0
38	John Whelchel	10.56	0
39	Valya Barboy	10.71	0
40	Andrew Werner	11.75	0
41	Mike Hawk	12.56	0
42	Mike Honcho	12.63	0
43	Anon5	13.55	0
44	13a	15.00	0
45	CAPS LOCK	13.00	15
46	T. Capote	15.00	28
47	DeeEmEm	15.00	43
48	bigwig	15.00	58
49	ebp	14.99	65
50	George Okeowo	2.72	92
51	Boomshanka	15.00	225
52	RedOrangeBlue	14.99	1428
53	R. A. B.	9.00	2790
54	cat	14.99	7030
55	bfang	15.00	20508
56	Deric Cheng	15.00	1
57	AFC	15.00	2
58	Nihar the Great	15.00	4
59	Mark Fillmore	15.00	8
60	Jameh	15.00	22
61	Joel Faron	15.00	46
62	Linda	15.00	46
63	Ravi Tandon	15.00	61
64	weezy	15.00	4307
65	Cam Porter	15.00	13400
66	Mickey Mouse	15.00	21860
67	Mr. Blobby	15.00	1
68	Solving For Clauses	15.00	19
69	soccer	15.00	37
70	Aaron H	15.00	40
71	Happy	15.00	88
72	An Extremely Ordinary Sloth	15.00	1944
73	Samuel Jerome	15.00	2411
74	Supahaka	15.00	16528
75	BMJ	15.00	18888
76	Ben Chen	15.00	2
77	bchouSolver	15.00	66
78	Sat Solver 2013	15.01	1568
79	burrito	15.01	27
80	Lisa Kim	15.01	6
81	K.L.	15.01	84490
82	Mercury	15.02	8
83	kt4124	15.02	45
84	Brendan Wright	15.02	84
85	Keji Xu	15.02	10
86	jabreezy	15.02	84
87	Blam	15.02	53
88	EC	15.02	6
89	Tiny Wings	15.02	10229
90	Andrew Grasso	15.03	1
91	Ytterbium	15.03	6
92	Khoa	15.03	92
93	snowflakes	15.03	6
94	Tree Prophet	15.04	5
95	haoyu	15.05	5
96	LilThug	15.05	21
97	Charlie Shucheng Zhu	15.08	15
98	Bebe Shi	15.08	22559
99	Anon_K_P	15.09	14375
100	The Kraken	15.09	154
101	Gewang	16.26	22830
102	David Lackey	16.50	22314
103	Jessie Chen	16.67	23071
104	cmF5a3ly	16.75	23143
105	Bob Dondero	16.84	21609
106	Alex Fish	16.87	23129
107	SuperFan	17.48	21398
108	TSATTER	20.36	23641
109	Qinlan Shen	20.50	23424
110	cjt	22.50	23119
111	Tom T	22.60	0
112	David Paulk	-	-
113	Miranda	-	-
114	Jordan Ash	-	-
115	The Whitman Whale	-	-
116	Igor	-	-
117	Sally Smith	-	-
118	Nikhilesh Sigatapu	-	-

SatSolvers Ranklist

Generators Ranklist