Stats for formula: David H.-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 David H.-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf David H.-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:	David H.-1
Rank of generator:	17 / 114
Average score:	12.32
Median score:	15.00
Best solver:	DeeEmEm
Description:	generates satisfiable problems by reducing Hamiltonian Path problems

	Solver	Time taken	Unsat
1	DeeEmEm	0.33	0
2	Dr Roberto	0.40	0
3	Green "The Bean" Choi	0.65	0
4	CookieMonster	0.73	0
5	AFC	0.88	0
6	Mike Honcho	0.89	0
7	Tao	0.94	0
8	Shaheed Chagani	1.07	0
9	Matt Goldsmith	1.16	0
10	Aristotle	1.40	0
11	Fanny	1.44	0
12	dfshasdsf12	1.81	0
13	Aaron Doll	2.12	0
14	John Whelchel	2.90	0
15	Absurdity	3.04	0
16	spl	3.24	0
17	Matt Haake	3.35	0
18	Sunny	3.86	0
19	dusty	6.08	0
20	BH	6.41	0
21	David H.	6.87	0
22	Tree Prophet	7.22	0
23	Nikhilesh Sigatapu	7.24	0
24	Deric Cheng	8.29	0
25	NA	9.40	0
26	Mike Hawk	10.44	0
27	Joel Faron	12.00	0
28	The Whitman Whale	12.67	0
29	Brendan Wright	15.00	1
30	Andrew Werner	15.00	1
31	jgs	14.98	1
32	Andrew Grasso	15.00	1
33	haoyu	14.99	1
34	13a	15.00	1
35	bfang	15.00	1
36	Samuel Jerome	15.00	2
37	snowflakes	15.00	4
38	Bar Shabtai	15.00	5
39	Janie Gu	15.00	6
40	CAPS LOCK	13.00	7
41	ModifiedWalkSatBreakZero	15.00	7
42	R. A. B.	9.00	9
43	Glenn Fisher	15.00	10
44	vhsiao	14.98	11
45	HashTagAlreadyFallBreak	15.00	13
46	ebp	14.99	14
47	bchouSolver	15.00	16
48	soccer	15.00	19
49	T. Capote	15.00	22
50	Elphaba	0.01	27
51	RedOrangeBlue	14.99	28
52	George Okeowo	0.15	28
53	bigwig	15.00	31
54	BMJ	15.00	132
55	cat	14.99	396
56	Boomshanka	15.00	491
57	Cam Porter	15.00	857
58	Supahaka	9.61	1174
59	K.L.	15.00	6314
60	Andys	15.00	1
61	Valya Barboy	15.00	1
62	Mr. Blobby	15.00	1
63	Joshua Zimmer	15.00	1
64	Sprt	15.00	1
65	Ben Chen	15.00	1
66	Anon5	15.00	1
67	Sabar Dasgupta	15.00	2
68	Jonathan Kwok	15.00	2
69	KingBach	15.00	3
70	Aaron H	15.00	3
71	An Extremely Ordinary Sloth	15.00	3
72	LilThug	15.00	4
73	Nihar the Great	15.00	6
74	Solving For Clauses	15.00	6
75	Alex Fish	15.00	7
76	Jameh	15.00	7
77	Mark Fillmore	15.00	7
78	Walter Little	15.00	8
79	Ravi Tandon	15.00	9
80	weezy	15.00	10
81	Yacob Y.	15.00	11
82	0108	15.00	12
83	Happy	15.00	12
84	EC	15.00	12
85	Quite Satisfied	15.00	12
86	Lisa Kim	15.00	13
87	burrito	15.00	16
88	Linda	15.00	19
89	Sally Smith	15.00	20
90	kt4124	15.00	21
91	Blam	15.00	23
92	Khoa	15.00	28
93	Anon_K_P	15.00	243
94	Sat Solver 2013	15.00	247
95	Mickey Mouse	15.00	936
96	Ytterbium	15.00	1
97	cmF5a3ly	15.00	4
98	The Kraken	15.00	17
99	Jessie Chen	15.00	19
100	Tiny Wings	15.00	67
101	David Lackey	15.00	4
102	Bebe Shi	15.00	6
103	Keji Xu	15.00	15
104	SuperFan	15.01	442
105	Mercury	15.01	4
106	Bob Dondero	15.01	810
107	Gewang	15.01	3
108	TSATTER	15.03	1641
109	Qinlan Shen	15.03	1
110	Jordan Ash	17.36	10
111	cjt	21.70	20
112	Charlie Shucheng Zhu	22.50	1
113	Tom T	22.56	2
114	David Paulk	-	-
115	Yan Wu	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist