Stats for formula: Aaron Doll-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 Doll-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Aaron Doll-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 Doll-1
Rank of generator:	2 / 114
Average score:	14.71
Median score:	15.03
Best solver:	Aristotle
Description:	This generator creates a directed graph with a validHamiltonian path, and then reduces finding a Hamiltonian pathto satisfying a CNF. For a graph with v vertices, there are v^2variables, each representing whether a specific node is in aspecific position in the path.

	Solver	Time taken	Unsat
1	Aristotle	1.27	0
2	Aaron Doll	4.62	0
3	dusty	11.65	0
4	vhsiao	14.99	12
5	Matt Goldsmith	15.00	16
6	Elphaba	7.25	154
7	ebp	14.99	156
8	CAPS LOCK	13.02	216849
9	Tao	15.00	287891
10	jgs	14.99	291128
11	Andrew Werner	15.00	319293
12	R. A. B.	9.04	321402
13	Quite Satisfied	15.00	59
14	Matt Haake	15.00	52179
15	Joshua Zimmer	15.00	286120
16	spl	15.00	3
17	KingBach	15.00	303119
18	cat	15.00	142
19	CookieMonster	15.00	123301
20	kt4124	15.00	297422
21	T. Capote	15.00	296275
22	13a	15.01	158
23	Solving For Clauses	15.01	253840
24	weezy	15.01	353329
25	bigwig	15.01	102
26	HashTagAlreadyFallBreak	15.01	215351
27	Valya Barboy	15.01	268026
28	Nihar the Great	15.01	41
29	Janie Gu	15.01	284931
30	Anon5	15.01	298826
31	bfang	15.01	330679
32	Andrew Grasso	15.02	154
33	Ravi Tandon	15.02	309392
34	BMJ	15.02	346083
35	Keji Xu	15.02	264853
36	Happy	15.02	160
37	0108	15.02	262796
38	Deric Cheng	15.02	294674
39	Jameh	15.02	267632
40	Mike Hawk	15.02	307108
41	Mr. Blobby	15.02	320036
42	Lisa Kim	15.03	276208
43	NA	15.03	284911
44	Linda	15.03	299095
45	bchouSolver	15.03	151
46	Samuel Jerome	15.03	325519
47	Brendan Wright	15.03	158
48	Cam Porter	15.03	333252
49	Mickey Mouse	15.03	336656
50	EC	15.03	284883
51	Khoa	15.03	160
52	burrito	15.03	267936
53	AFC	15.04	158
54	Ben Chen	15.04	318584
55	Sprt	15.04	293264
56	Andys	15.04	319855
57	George Okeowo	15.04	160
58	Walter Little	15.05	334280
59	Green "The Bean" Choi	15.05	160
60	Glenn Fisher	15.05	239335
61	BH	15.05	310650
62	Sabar Dasgupta	15.06	279602
63	Absurdity	15.06	300531
64	Supahaka	15.06	322016
65	soccer	15.06	294022
66	K.L.	15.07	379552
67	Yacob Y.	15.07	306291
68	Ytterbium	15.08	304740
69	Charlie Shucheng Zhu	15.08	322238
70	An Extremely Ordinary Sloth	15.09	336816
71	Tree Prophet	15.09	158
72	David H.	15.09	340432
73	LilThug	15.09	319563
74	snowflakes	15.11	316831
75	Anon_K_P	15.11	334880
76	ModifiedWalkSatBreakZero	15.12	353283
77	Blam	15.12	335628
78	Aaron H	15.12	333977
79	Joel Faron	15.17	158
80	Bar Shabtai	15.49	116
81	DeeEmEm	15.50	118
82	Jonathan Kwok	15.73	123
83	haoyu	15.74	1
84	Tiny Wings	16.21	348220
85	RedOrangeBlue	16.31	160
86	jabreezy	16.51	160
87	Boomshanka	17.47	350972
88	John Whelchel	17.50	140
89	Sunny	18.51	154
90	The Kraken	24.12	123
91	dfshasdsf12	101.36	160
92	Alex Fish	136.32	339809
93	Bebe Shi	138.01	330979
94	David Lackey	138.91	339394
95	SuperFan	140.77	330194
96	David Paulk	-	-
97	Qinlan Shen	-	-
98	Yan Wu	-	-
99	TSATTER	-	-
100	Shaheed Chagani	-	-
101	Dr Roberto	-	-
102	Fanny	-	-
103	Tom T	-	-
104	Mike Honcho	-	-
105	Jessie Chen	-	-
106	Mercury	-	-
107	Miranda	-	-
108	Jordan Ash	-	-
109	Gewang	-	-
110	The Whitman Whale	-	-
111	Igor	-	-
112	Sally Smith	-	-
113	Mark Fillmore	-	-
114	cjt	-	-
115	Bob Dondero	-	-
116	cmF5a3ly	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist