Stats for formula: Jordan Ash-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 Jordan Ash-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Jordan Ash-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:	Jordan Ash-0
Rank of generator:	61 / 114
Average score:	5.49
Median score:	0.38
Best solver:	EC
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	EC	0.03	0
2	KingBach	0.03	0
3	Anon5	0.03	0
4	Walter Little	0.04	0
5	ModifiedWalkSatBreakZero	0.04	0
6	Andrew Werner	0.04	0
7	Glenn Fisher	0.04	0
8	Charlie Shucheng Zhu	0.04	0
9	David H.	0.04	0
10	NA	0.04	0
11	0108	0.05	0
12	Andys	0.05	0
13	Yacob Y.	0.05	0
14	Sprt	0.06	0
15	Mike Hawk	0.06	0
16	Tao	0.06	0
17	John Whelchel	0.06	0
18	Janie Gu	0.06	0
19	dusty	0.06	0
20	Quite Satisfied	0.06	0
21	Deric Cheng	0.06	0
22	Aristotle	0.07	0
23	Absurdity	0.07	0
24	Shaheed Chagani	0.07	0
25	Aaron Doll	0.07	0
26	jgs	0.07	0
27	Mr. Blobby	0.07	0
28	BH	0.08	0
29	snowflakes	0.08	0
30	Andrew Grasso	0.08	0
31	dfshasdsf12	0.09	0
32	Ben Chen	0.09	0
33	Matt Haake	0.09	0
34	CookieMonster	0.09	0
35	LilThug	0.09	0
36	HashTagAlreadyFallBreak	0.09	0
37	spl	0.09	0
38	bfang	0.09	0
39	Mike Honcho	0.10	0
40	Matt Goldsmith	0.10	0
41	Yan Wu	0.10	0
42	Mercury	0.10	0
43	vhsiao	0.11	0
44	Nikhilesh Sigatapu	0.11	0
45	Lisa Kim	0.11	0
46	An Extremely Ordinary Sloth	0.12	0
47	Jonathan Kwok	0.12	0
48	Sabar Dasgupta	0.14	0
49	Fanny	0.14	0
50	burrito	0.19	0
51	Joshua Zimmer	0.19	0
52	13a	0.22	0
53	Solving For Clauses	0.23	0
54	Aaron H	0.24	0
55	Valya Barboy	0.34	0
56	bigwig	0.35	0
57	David Lackey	0.37	0
58	soccer	0.40	0
59	Tiny Wings	0.50	0
60	Alex Fish	0.69	0
61	David Paulk	0.83	0
62	Khoa	1.00	0
63	Gewang	1.05	0
64	Jameh	1.30	0
65	kt4124	1.46	0
66	CAPS LOCK	1.64	0
67	Qinlan Shen	2.02	0
68	Linda	2.24	0
69	AFC	2.42	0
70	T. Capote	2.46	0
71	Tom T	2.50	0
72	Mark Fillmore	3.34	0
73	cmF5a3ly	5.31	0
74	Keji Xu	5.82	0
75	Ytterbium	6.65	0
76	R. A. B.	7.59	0
77	Sunny	9.31	0
78	Happy	11.49	0
79	Bar Shabtai	15.00	1
80	Samuel Jerome	15.00	1
81	Dr Roberto	14.99	2
82	bchouSolver	15.00	2
83	The Whitman Whale	15.00	3
84	Joel Faron	15.00	4
85	Tree Prophet	15.00	4
86	haoyu	14.99	4
87	Brendan Wright	15.00	5
88	Green "The Bean" Choi	15.00	6
89	cat	14.99	8
90	ebp	14.99	8
91	RedOrangeBlue	14.99	13
92	DeeEmEm	15.00	20
93	George Okeowo	0.11	28
94	Elphaba	0.03	28
95	Anon_K_P	15.00	102
96	Boomshanka	15.00	131
97	Cam Porter	15.00	321
98	BMJ	15.00	615
99	Supahaka	0.93	853
100	K.L.	15.00	2709
101	Bebe Shi	15.00	1
102	Nihar the Great	15.00	3
103	Ravi Tandon	15.00	5
104	weezy	15.00	7
105	Sally Smith	15.00	7
106	The Kraken	15.00	16
107	Blam	15.00	20
108	Sat Solver 2013	15.00	191
109	Mickey Mouse	15.00	694
110	SuperFan	15.00	6
111	Jessie Chen	15.01	5
112	Bob Dondero	15.01	324
113	TSATTER	15.01	842
114	Jordan Ash	15.85	3
115	cjt	20.23	15
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist