Stats for formula: Mike Hunt-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 Hunt-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Mike Hunt-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 Hunt-0
Rank of generator:	24 / 114
Average score:	10.72
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.27	0
2	dusty	0.28	0
3	Elphaba	0.28	0
4	spl	0.35	0
5	Aaron Doll	0.37	0
6	CookieMonster	0.56	0
7	ModifiedWalkSatBreakZero	0.86	0
8	Quite Satisfied	1.38	0
9	Matt Haake	1.52	0
10	Jonathan Kwok	1.72	0
11	Shaheed Chagani	1.99	0
12	Green "The Bean" Choi	2.00	0
13	Bar Shabtai	2.02	0
14	Sunny	2.09	0
15	dfshasdsf12	2.19	0
16	Tao	2.40	0
17	David H.	2.95	0
18	vhsiao	3.00	0
19	Matt Goldsmith	3.24	0
20	HashTagAlreadyFallBreak	3.48	0
21	Fanny	3.81	0
22	BH	4.00	0
23	Dr Roberto	4.10	0
24	Andrew Werner	4.23	0
25	AFC	4.36	0
26	jgs	4.71	0
27	Glenn Fisher	4.94	0
28	Janie Gu	5.44	0
29	Yacob Y.	5.77	0
30	Deric Cheng	5.92	0
31	Sabar Dasgupta	6.04	0
32	EC	6.34	0
33	Andys	6.40	0
34	Sprt	6.47	0
35	0108	6.88	0
36	burrito	7.48	0
37	NA	8.18	0
38	Anon5	8.20	0
39	snowflakes	8.80	0
40	Ben Chen	9.22	0
41	Mike Honcho	9.89	0
42	KingBach	9.94	0
43	Yan Wu	10.44	0
44	John Whelchel	11.03	0
45	Mike Hawk	11.48	0
46	Absurdity	13.22	0
47	Andrew Grasso	14.12	0
48	Valya Barboy	15.00	0
49	13a	15.00	6
50	Joel Faron	15.00	7
51	CAPS LOCK	13.00	17
52	T. Capote	15.00	47
53	ebp	14.99	62
54	bigwig	15.00	65
55	Brendan Wright	15.00	84
56	George Okeowo	2.66	92
57	Boomshanka	15.00	751
58	RedOrangeBlue	14.99	2324
59	R. A. B.	9.00	3596
60	cat	15.00	7253
61	BMJ	15.00	17903
62	bfang	15.00	19940
63	K.L.	15.00	85877
64	Nihar the Great	15.00	4
65	DeeEmEm	15.00	28
66	soccer	15.00	38
67	Linda	15.00	50
68	weezy	15.00	4827
69	Supahaka	15.00	14594
70	Jameh	15.00	15
71	Ravi Tandon	15.00	63
72	bchouSolver	15.00	65
73	Samuel Jerome	15.00	2667
74	Cam Porter	15.00	12655
75	Walter Little	15.00	2
76	kt4124	15.00	34
77	Sat Solver 2013	15.00	1514
78	Mickey Mouse	15.00	23538
79	Mark Fillmore	15.00	8
80	Joshua Zimmer	15.01	1
81	haoyu	15.01	7
82	Aaron H	15.01	25
83	An Extremely Ordinary Sloth	15.01	56
84	Anon_K_P	15.01	19984
85	Ytterbium	15.01	6
86	Mercury	15.02	11
87	Mr. Blobby	15.02	15
88	Lisa Kim	15.02	4
89	Tiny Wings	15.02	9414
90	Keji Xu	15.02	27
91	Blam	15.02	30
92	Solving For Clauses	15.02	17
93	Tree Prophet	15.03	6
94	LilThug	15.05	28
95	The Kraken	15.06	182
96	Khoa	15.06	92
97	jabreezy	15.07	88
98	Charlie Shucheng Zhu	15.08	12
99	Jessie Chen	15.70	22302
100	Happy	15.81	88
101	TSATTER	16.32	24534
102	David Lackey	16.50	20633
103	Gewang	16.55	23280
104	cmF5a3ly	16.58	23792
105	Bob Dondero	16.63	23800
106	Alex Fish	16.68	22802
107	Bebe Shi	17.25	23093
108	SuperFan	17.86	21281
109	cjt	22.50	23000
110	Qinlan Shen	23.72	25420
111	David Paulk	-	-
112	Tom T	-	-
113	Miranda	-	-
114	Jordan Ash	-	-
115	The Whitman Whale	-	-
116	Igor	-	-
117	Sally Smith	-	-
118	Nikhilesh Sigatapu	-	-

SatSolvers Ranklist

Generators Ranklist