Stats for formula: Aaron Doll-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 Doll-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Aaron Doll-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 Doll-0
Rank of generator:	2 / 114
Average score:	14.22
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	0.56	0
2	haoyu	1.23	0
3	Aaron Doll	1.55	0
4	Matt Goldsmith	5.91	0
5	dusty	6.77	0
6	vhsiao	7.13	0
7	Elphaba	7.89	0
8	Quite Satisfied	12.77	0
9	Matt Haake	14.54	0
10	cat	14.99	66
11	ebp	14.99	156
12	spl	15.00	22290
13	CAPS LOCK	13.02	165638
14	Glenn Fisher	15.00	187022
15	jgs	14.98	206196
16	R. A. B.	9.04	271546
17	Linda	15.00	238846
18	CookieMonster	15.00	49874
19	Blam	15.00	258101
20	bigwig	15.01	119
21	Solving For Clauses	15.01	157137
22	George Okeowo	15.01	160
23	Sabar Dasgupta	15.01	209721
24	Mike Hawk	15.01	249450
25	13a	15.01	156
26	bchouSolver	15.01	153
27	HashTagAlreadyFallBreak	15.01	151167
28	Nihar the Great	15.01	16
29	Keji Xu	15.01	197251
30	Sprt	15.01	222640
31	EC	15.01	230492
32	Happy	15.01	160
33	Khoa	15.01	160
34	Ravi Tandon	15.01	245627
35	soccer	15.02	232439
36	NA	15.02	236853
37	burrito	15.02	206622
38	T. Capote	15.02	245490
39	Supahaka	15.02	279672
40	Joshua Zimmer	15.02	229263
41	Cam Porter	15.02	287757
42	Absurdity	15.02	254324
43	kt4124	15.02	243388
44	Green "The Bean" Choi	15.03	160
45	Tao	15.03	213692
46	Deric Cheng	15.03	231307
47	weezy	15.03	276339
48	0108	15.03	198729
49	Ytterbium	15.03	244129
50	Jameh	15.04	203649
51	Yacob Y.	15.04	243623
52	Lisa Kim	15.04	211817
53	Andrew Grasso	15.04	150
54	Anon5	15.04	239794
55	AFC	15.04	156
56	Mickey Mouse	15.05	305228
57	Valya Barboy	15.05	198325
58	Aaron H	15.05	265754
59	bfang	15.05	273307
60	Janie Gu	15.05	240613
61	Walter Little	15.05	253430
62	BH	15.06	245373
63	BMJ	15.06	260748
64	Charlie Shucheng Zhu	15.06	264544
65	snowflakes	15.06	265250
66	K.L.	15.06	324467
67	Andrew Werner	15.07	254342
68	Mr. Blobby	15.08	267640
69	Ben Chen	15.09	244585
70	Samuel Jerome	15.09	273350
71	Tree Prophet	15.10	156
72	An Extremely Ordinary Sloth	15.11	273215
73	Andys	15.11	252142
74	KingBach	15.12	229372
75	Anon_K_P	15.13	257459
76	LilThug	15.13	265678
77	Joel Faron	15.17	158
78	ModifiedWalkSatBreakZero	15.17	277023
79	David H.	15.18	282898
80	Jonathan Kwok	15.24	108
81	Sunny	15.24	146
82	DeeEmEm	15.37	108
83	RedOrangeBlue	15.46	160
84	jabreezy	15.70	160
85	John Whelchel	15.73	132
86	Bar Shabtai	15.77	98
87	Brendan Wright	15.77	158
88	Tiny Wings	15.78	267673
89	Boomshanka	16.28	284339
90	The Kraken	18.65	118
91	dfshasdsf12	80.16	160
92	Gewang	107.64	289625
93	David Lackey	110.22	282548
94	SuperFan	113.97	264723
95	Alex Fish	116.90	278718
96	Bob Dondero	120.22	279867
97	Bebe Shi	127.01	294139
98	Jessie Chen	127.69	272824
99	David Paulk	-	-
100	Qinlan Shen	-	-
101	Yan Wu	-	-
102	TSATTER	-	-
103	Shaheed Chagani	-	-
104	Dr Roberto	-	-
105	Fanny	-	-
106	Tom T	-	-
107	Mike Honcho	-	-
108	Mercury	-	-
109	Miranda	-	-
110	Jordan Ash	-	-
111	The Whitman Whale	-	-
112	Igor	-	-
113	Sally Smith	-	-
114	Mark Fillmore	-	-
115	cjt	-	-
116	cmF5a3ly	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist