Stats for formula: Aaron 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 Aaron H-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Aaron 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:	Aaron H-0
Rank of generator:	34 / 114
Average score:	8.95
Median score:	8.86
Best solver:	Aristotle
Description:	This generator creates CNF formulas representing an instance of the Hamiltonian path problem. In this problem, the Sat solver seeks to find a path in a connected graph that visits each vertex exactly once

	Solver	Time taken	Unsat
1	Aristotle	0.11	0
2	Aaron Doll	0.18	0
3	Matt Goldsmith	0.19	0
4	haoyu	0.21	0
5	dusty	0.29	0
6	spl	0.47	0
7	Quite Satisfied	0.57	0
8	CookieMonster	0.61	0
9	Matt Haake	0.74	0
10	ModifiedWalkSatBreakZero	0.96	0
11	Dr Roberto	1.09	0
12	Bar Shabtai	1.21	0
13	Mercury	1.23	0
14	bigwig	1.27	0
15	HashTagAlreadyFallBreak	1.36	0
16	John Whelchel	1.96	0
17	Jonathan Kwok	2.08	0
18	dfshasdsf12	2.15	0
19	vhsiao	2.21	0
20	Charlie Shucheng Zhu	2.37	0
21	Yan Wu	2.45	0
22	jgs	2.46	0
23	Shaheed Chagani	2.49	0
24	Sunny	2.50	0
25	Anon5	2.56	0
26	Janie Gu	2.72	0
27	Sprt	2.75	0
28	Joshua Zimmer	2.88	0
29	NA	3.09	0
30	Glenn Fisher	3.18	0
31	EC	3.22	0
32	Keji Xu	3.23	0
33	DeeEmEm	3.38	0
34	Tao	3.46	0
35	Ben Chen	3.63	0
36	David H.	3.67	0
37	Mr. Blobby	3.72	0
38	KingBach	3.81	0
39	Andys	3.92	0
40	Deric Cheng	3.95	0
41	Lisa Kim	3.95	0
42	Absurdity	4.00	0
43	0108	4.11	0
44	Andrew Werner	4.14	0
45	Valya Barboy	4.16	0
46	Mike Hawk	4.66	0
47	BH	4.78	0
48	AFC	5.31	0
49	Walter Little	5.58	0
50	cat	6.18	0
51	Yacob Y.	6.24	0
52	burrito	6.42	0
53	snowflakes	6.90	0
54	Andrew Grasso	7.53	0
55	Mike Honcho	8.47	0
56	Sabar Dasgupta	9.24	0
57	Tree Prophet	9.91	0
58	13a	13.47	0
59	Joel Faron	14.57	0
60	CAPS LOCK	13.00	6
61	soccer	15.00	19
62	bchouSolver	15.00	52
63	ebp	14.99	64
64	Boomshanka	15.00	67
65	Elphaba	0.36	74
66	George Okeowo	6.79	90
67	R. A. B.	9.00	8332
68	Cam Porter	15.00	15692
69	BMJ	15.00	21427
70	K.L.	15.00	103817
71	Solving For Clauses	15.00	4
72	Jameh	15.00	6
73	Linda	15.00	14
74	T. Capote	15.00	20
75	weezy	15.00	4834
76	Supahaka	15.00	18101
77	Nihar the Great	15.00	1
78	Sat Solver 2013	15.00	1611
79	Mark Fillmore	15.00	3
80	Ravi Tandon	15.00	53
81	Mickey Mouse	15.00	28929
82	bfang	15.00	24813
83	Fanny	15.01	1
84	An Extremely Ordinary Sloth	15.01	75
85	Samuel Jerome	15.01	16059
86	RedOrangeBlue	15.01	90
87	jabreezy	15.01	90
88	Green "The Bean" Choi	15.01	80
89	Ytterbium	15.01	1
90	Aaron H	15.02	6
91	kt4124	15.03	13
92	Brendan Wright	15.03	84
93	Tiny Wings	15.03	16358
94	Blam	15.03	16
95	LilThug	15.06	12
96	Khoa	15.06	90
97	Anon_K_P	15.08	2245
98	The Kraken	15.12	43
99	David Lackey	15.28	26289
100	SuperFan	15.90	24643
101	Happy	16.16	88
102	Alex Fish	16.44	27686
103	cmF5a3ly	16.57	27712
104	Gewang	16.82	26751
105	Jessie Chen	17.25	29011
106	Bob Dondero	17.35	26164
107	Bebe Shi	17.45	26325
108	TSATTER	17.62	27662
109	cjt	22.50	26940
110	Qinlan Shen	24.04	27345
111	Tom T	33.98	90
112	David Paulk	-	-
113	Miranda	-	-
114	Jordan Ash	-	-
115	The Whitman Whale	-	-
116	Igor	-	-
117	Sally Smith	-	-
118	Nikhilesh Sigatapu	-	-

SatSolvers Ranklist

Generators Ranklist