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

	Solver	Time taken	Unsat
1	AFC	0.28	0
2	Dr Roberto	0.30	0
3	Sunny	0.31	0
4	Tao	0.34	0
5	Mike Honcho	0.45	0
6	Aaron Doll	0.55	0
7	Shaheed Chagani	0.60	0
8	snowflakes	0.73	0
9	DeeEmEm	0.78	0
10	Absurdity	0.82	0
11	dfshasdsf12	0.90	0
12	John Whelchel	1.00	0
13	Matt Goldsmith	1.09	0
14	Green "The Bean" Choi	1.09	0
15	CookieMonster	1.22	0
16	dusty	1.22	0
17	spl	1.65	0
18	David H.	1.72	0
19	ModifiedWalkSatBreakZero	2.18	0
20	Aristotle	2.75	0
21	Tree Prophet	3.40	0
22	Nikhilesh Sigatapu	5.22	0
23	NA	5.36	0
24	jgs	5.76	0
25	Andrew Werner	6.14	0
26	Joel Faron	6.22	0
27	Mike Hawk	6.40	0
28	Glenn Fisher	6.63	0
29	BH	7.47	0
30	vhsiao	7.56	0
31	The Whitman Whale	8.38	0
32	Quite Satisfied	9.90	0
33	Matt Haake	10.57	0
34	bfang	11.48	0
35	ebp	12.55	0
36	Mr. Blobby	12.77	0
37	Brendan Wright	14.98	0
38	Andrew Grasso	15.00	1
39	haoyu	14.99	1
40	13a	15.00	1
41	Samuel Jerome	15.00	2
42	Bar Shabtai	15.00	5
43	CAPS LOCK	13.00	6
44	R. A. B.	9.00	9
45	HashTagAlreadyFallBreak	15.00	10
46	Janie Gu	15.00	11
47	bchouSolver	15.00	12
48	soccer	15.00	14
49	bigwig	15.00	15
50	T. Capote	15.00	25
51	Elphaba	0.02	27
52	RedOrangeBlue	14.99	28
53	George Okeowo	0.14	28
54	BMJ	15.00	226
55	cat	14.99	281
56	Cam Porter	15.00	1015
57	Supahaka	14.11	1374
58	Boomshanka	15.00	1487
59	K.L.	15.00	6588
60	Aaron H	15.00	1
61	Fanny	15.00	1
62	Ytterbium	15.00	1
63	Andys	15.00	1
64	Sabar Dasgupta	15.00	1
65	Jonathan Kwok	15.00	1
66	Deric Cheng	15.00	1
67	Ben Chen	15.00	1
68	Anon5	15.00	1
69	KingBach	15.00	2
70	An Extremely Ordinary Sloth	15.00	2
71	Valya Barboy	15.00	2
72	Charlie Shucheng Zhu	15.00	2
73	Joshua Zimmer	15.00	2
74	Sprt	15.00	2
75	LilThug	15.00	3
76	Jameh	15.00	7
77	Nihar the Great	15.00	7
78	Solving For Clauses	15.00	7
79	Mark Fillmore	15.00	7
80	EC	15.00	8
81	Yacob Y.	15.00	9
82	Lisa Kim	15.00	10
83	Happy	15.00	11
84	Ravi Tandon	15.00	11
85	weezy	15.00	14
86	0108	15.00	14
87	Walter Little	15.00	14
88	burrito	15.00	15
89	Sally Smith	15.00	15
90	kt4124	15.00	24
91	Linda	15.00	25
92	Blam	15.00	27
93	Khoa	15.00	28
94	Sat Solver 2013	15.00	182
95	Mickey Mouse	15.00	955
96	cmF5a3ly	15.00	5
97	Anon_K_P	15.00	14
98	Tiny Wings	15.00	19
99	Mercury	15.00	5
100	Alex Fish	15.00	8
101	The Kraken	15.00	20
102	Bob Dondero	15.00	801
103	David Lackey	15.00	5
104	Gewang	15.01	3
105	Bebe Shi	15.01	3
106	Jessie Chen	15.01	21
107	SuperFan	15.01	184
108	Keji Xu	15.01	17
109	TSATTER	15.02	1546
110	Qinlan Shen	15.03	2
111	Jordan Ash	15.42	11
112	cjt	19.85	18
113	Tom T	25.07	4
114	David Paulk	-	-
115	Yan Wu	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist