Stats for formula: Aaron 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 Aaron H-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Aaron 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:	Aaron H-1
Rank of generator:	34 / 114
Average score:	9.11
Median score:	9.46
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	haoyu	0.14	0
3	Aaron Doll	0.18	0
4	Matt Goldsmith	0.21	0
5	dusty	0.31	0
6	spl	0.36	0
7	Quite Satisfied	0.47	0
8	CookieMonster	0.56	0
9	bigwig	0.64	0
10	Matt Haake	0.80	0
11	vhsiao	0.80	0
12	ModifiedWalkSatBreakZero	1.03	0
13	Jonathan Kwok	1.11	0
14	Bar Shabtai	1.20	0
15	Dr Roberto	1.24	0
16	HashTagAlreadyFallBreak	1.39	0
17	Glenn Fisher	1.89	0
18	jgs	2.38	0
19	John Whelchel	2.48	0
20	Keji Xu	2.59	0
21	Shaheed Chagani	2.70	0
22	EC	2.89	0
23	Anon5	2.94	0
24	0108	3.07	0
25	dfshasdsf12	3.24	0
26	Andys	3.29	0
27	Charlie Shucheng Zhu	3.29	0
28	Joshua Zimmer	3.29	0
29	Sprt	3.29	0
30	DeeEmEm	3.35	0
31	Mike Hawk	3.38	0
32	Tao	3.53	0
33	Andrew Werner	3.53	0
34	David H.	3.56	0
35	Mr. Blobby	3.63	0
36	Janie Gu	3.69	0
37	NA	3.85	0
38	Ben Chen	3.88	0
39	Absurdity	3.94	0
40	Yan Wu	4.10	0
41	Sunny	4.19	0
42	KingBach	4.30	0
43	Yacob Y.	4.39	0
44	Deric Cheng	4.49	0
45	Mercury	4.54	0
46	snowflakes	4.94	0
47	AFC	5.09	0
48	Sabar Dasgupta	5.49	0
49	Valya Barboy	6.12	0
50	BH	6.24	0
51	cat	6.79	0
52	Andrew Grasso	7.81	0
53	Mike Honcho	7.90	0
54	burrito	8.32	0
55	Lisa Kim	9.08	0
56	Tree Prophet	9.46	0
57	Fanny	10.85	0
58	13a	12.91	0
59	Joel Faron	14.19	0
60	Walter Little	14.47	0
61	CAPS LOCK	13.00	6
62	T. Capote	15.00	16
63	bchouSolver	15.00	44
64	ebp	14.99	60
65	Elphaba	0.41	78
66	George Okeowo	6.68	90
67	Boomshanka	15.00	368
68	R. A. B.	9.01	7519
69	Cam Porter	15.00	18586
70	BMJ	15.00	22794
71	K.L.	15.00	105187
72	Ravi Tandon	15.00	50
73	Green "The Bean" Choi	15.00	82
74	Happy	15.00	84
75	weezy	15.00	6369
76	Samuel Jerome	15.00	8366
77	Mickey Mouse	15.00	27717
78	Ytterbium	15.00	1
79	Nihar the Great	15.00	1
80	Mark Fillmore	15.00	4
81	Aaron H	15.00	24
82	Sat Solver 2013	15.00	1406
83	Supahaka	15.00	20447
84	Bebe Shi	15.00	28347
85	Solving For Clauses	15.00	5
86	soccer	15.00	20
87	Linda	15.00	20
88	Nikhilesh Sigatapu	15.00	68
89	kt4124	15.00	25
90	An Extremely Ordinary Sloth	15.01	38
91	bfang	15.01	23651
92	Jameh	15.01	4
93	Khoa	15.01	90
94	jabreezy	15.02	90
95	Tiny Wings	15.02	15515
96	Blam	15.03	27
97	RedOrangeBlue	15.03	90
98	Brendan Wright	15.03	84
99	The Kraken	15.08	59
100	Anon_K_P	15.09	713
101	LilThug	15.11	4
102	David Lackey	16.05	27270
103	Alex Fish	16.13	26950
104	Jessie Chen	16.36	26189
105	Gewang	16.37	27732
106	SuperFan	16.42	24252
107	Bob Dondero	17.23	24532
108	Qinlan Shen	18.96	29804
109	TSATTER	19.40	28000
110	cmF5a3ly	19.66	27112
111	cjt	22.50	28977
112	Tom T	26.74	90
113	David Paulk	-	-
114	Miranda	-	-
115	Jordan Ash	-	-
116	The Whitman Whale	-	-
117	Igor	-	-
118	Sally Smith	-	-

SatSolvers Ranklist

Generators Ranklist