Stats for formula: Jordan Ash-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 Jordan Ash-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Jordan Ash-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:	Jordan Ash-1
Rank of generator:	61 / 114
Average score:	3.95
Median score:	0.06
Best solver:	Bar Shabtai
Description:	This generator creates a random Hamiltonian graph with between 3 and 15 vertices. It then formulates a problem in the form of a CNF such that a correctvariable assignment describes a Hamiltonian path (a path that visits each vertex).

	Solver	Time taken	Unsat
1	Bar Shabtai	0.01	0
2	Glenn Fisher	0.01	0
3	Aristotle	0.01	0
4	Anon5	0.01	0
5	Charlie Shucheng Zhu	0.01	0
6	Yan Wu	0.01	0
7	Mike Hawk	0.01	0
8	Andrew Werner	0.01	0
9	EC	0.01	0
10	Janie Gu	0.02	0
11	Mercury	0.02	0
12	Deric Cheng	0.02	0
13	KingBach	0.02	0
14	jgs	0.02	0
15	Solving For Clauses	0.02	0
16	Lisa Kim	0.02	0
17	Absurdity	0.02	0
18	Aaron H	0.02	0
19	NA	0.02	0
20	Mr. Blobby	0.02	0
21	T. Capote	0.02	0
22	Andys	0.02	0
23	Walter Little	0.02	0
24	John Whelchel	0.02	0
25	Jonathan Kwok	0.02	0
26	Jameh	0.02	0
27	LilThug	0.02	0
28	0108	0.03	0
29	dusty	0.03	0
30	HashTagAlreadyFallBreak	0.03	0
31	David H.	0.03	0
32	bfang	0.03	0
33	Aaron Doll	0.03	0
34	Ben Chen	0.03	0
35	burrito	0.03	0
36	Quite Satisfied	0.03	0
37	Alex Fish	0.03	0
38	Andrew Grasso	0.04	0
39	bigwig	0.04	0
40	David Paulk	0.04	0
41	snowflakes	0.04	0
42	spl	0.04	0
43	ModifiedWalkSatBreakZero	0.04	0
44	Sprt	0.04	0
45	Linda	0.05	0
46	vhsiao	0.05	0
47	Sabar Dasgupta	0.05	0
48	CookieMonster	0.05	0
49	Yacob Y.	0.05	0
50	Mike Honcho	0.05	0
51	Tao	0.05	0
52	Shaheed Chagani	0.05	0
53	Nikhilesh Sigatapu	0.05	0
54	Matt Haake	0.05	0
55	BH	0.05	0
56	Joshua Zimmer	0.05	0
57	dfshasdsf12	0.06	0
58	Matt Goldsmith	0.06	0
59	Valya Barboy	0.07	0
60	Fanny	0.07	0
61	Mark Fillmore	0.07	0
62	CAPS LOCK	0.07	0
63	An Extremely Ordinary Sloth	0.07	0
64	R. A. B.	0.08	0
65	soccer	0.08	0
66	Khoa	0.09	0
67	bchouSolver	0.09	0
68	Tiny Wings	0.11	0
69	Blam	0.12	0
70	Jordan Ash	0.14	0
71	13a	0.14	0
72	cjt	0.18	0
73	Keji Xu	0.18	0
74	Boomshanka	0.19	0
75	David Lackey	0.20	0
76	Gewang	0.20	0
77	kt4124	0.21	0
78	cmF5a3ly	0.22	0
79	Qinlan Shen	0.39	0
80	Sally Smith	0.49	0
81	weezy	0.51	0
82	Tom T	0.59	0
83	Jessie Chen	1.45	0
84	Ytterbium	1.94	0
85	AFC	2.24	0
86	Ravi Tandon	11.64	0
87	Dr Roberto	11.79	0
88	Sunny	13.67	0
89	Samuel Jerome	15.00	1
90	Joel Faron	15.00	2
91	The Whitman Whale	15.00	2
92	Brendan Wright	15.00	3
93	Tree Prophet	15.00	3
94	haoyu	14.99	3
95	Green "The Bean" Choi	15.00	7
96	cat	14.99	8
97	RedOrangeBlue	14.99	10
98	The Kraken	15.00	10
99	ebp	14.99	10
100	DeeEmEm	15.00	12
101	Elphaba	0.01	21
102	George Okeowo	0.07	22
103	Anon_K_P	15.00	22
104	BMJ	15.00	126
105	Supahaka	0.95	216
106	Cam Porter	15.00	317
107	K.L.	15.00	1191
108	Bebe Shi	15.00	1
109	SuperFan	15.00	1
110	Happy	15.00	1
111	Nihar the Great	15.00	2
112	Bob Dondero	15.00	11
113	Sat Solver 2013	15.00	122
114	Mickey Mouse	15.00	154
115	TSATTER	15.00	307
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist