Stats for formula: jgs-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 jgs-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf jgs-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:	jgs-1
Rank of generator:	11 / 114
Average score:	12.81
Median score:	15.01
Best solver:	haoyu
Description:	This generator creates a random graph and then reduces the problem of finding a Hamilton cycle into a CNF satisfiability problem. It guarantees satisfiability by ensuring that the graph be connected and conform to the conditions of Ore's theorem, which guarantees the existence of a Hamilton cycle

	Solver	Time taken	Unsat
1	haoyu	0.18	0
2	Aristotle	0.20	0
3	Aaron Doll	0.40	0
4	Matt Goldsmith	0.46	0
5	dusty	0.75	0
6	spl	1.11	0
7	Elphaba	1.34	0
8	CookieMonster	1.53	0
9	Quite Satisfied	1.88	0
10	Matt Haake	1.97	0
11	Dr Roberto	2.55	0
12	ModifiedWalkSatBreakZero	3.77	0
13	Bar Shabtai	4.32	0
14	Tao	5.96	0
15	Glenn Fisher	6.01	0
16	DeeEmEm	6.63	0
17	vhsiao	7.19	0
18	Green "The Bean" Choi	7.77	0
19	HashTagAlreadyFallBreak	8.11	0
20	Jonathan Kwok	9.30	0
21	Anon5	11.48	0
22	Joshua Zimmer	11.51	0
23	Fanny	11.71	0
24	John Whelchel	12.99	0
25	Shaheed Chagani	13.11	0
26	0108	14.52	0
27	jgs	14.98	9
28	CAPS LOCK	13.00	22
29	Andrew Grasso	15.00	66
30	13a	15.00	72
31	ebp	14.99	102
32	RedOrangeBlue	15.00	110
33	soccer	15.00	274
34	R. A. B.	9.00	33289
35	dfshasdsf12	15.00	4
36	Valya Barboy	15.00	6
37	Jameh	15.00	21
38	Mark Fillmore	15.00	25
39	bigwig	15.00	35
40	Ravi Tandon	15.00	65
41	Andrew Werner	15.00	982
42	LilThug	15.00	8796
43	Mr. Blobby	15.00	26149
44	weezy	15.00	36916
45	Cam Porter	15.00	52450
46	bchouSolver	15.00	69
47	Janie Gu	15.00	1639
48	Linda	15.00	37
49	Blam	15.00	12174
50	K.L.	15.00	219094
51	AFC	15.01	56
52	Joel Faron	15.01	104
53	Brendan Wright	15.01	108
54	Andys	15.01	378
55	David H.	15.01	13400
56	Supahaka	15.01	39749
57	Mickey Mouse	15.01	56754
58	T. Capote	15.01	41
59	cat	15.01	555
60	Sabar Dasgupta	15.01	788
61	bfang	15.01	54281
62	BH	15.01	2698
63	snowflakes	15.01	9925
64	Samuel Jerome	15.01	48018
65	George Okeowo	15.01	110
66	Charlie Shucheng Zhu	15.01	488
67	Solving For Clauses	15.01	25
68	BMJ	15.01	44887
69	Absurdity	15.01	92
70	kt4124	15.01	1424
71	Walter Little	15.01	2438
72	Aaron H	15.02	31206
73	Nihar the Great	15.02	6
74	Ytterbium	15.02	12094
75	An Extremely Ordinary Sloth	15.03	42072
76	Mercury	15.03	11
77	Mike Hawk	15.03	1
78	jabreezy	15.04	108
79	Mike Honcho	15.04	110
80	Tree Prophet	15.05	82
81	Ben Chen	15.05	17
82	Boomshanka	15.05	49712
83	burrito	15.05	6
84	Lisa Kim	15.07	12
85	Tiny Wings	15.07	50136
86	Khoa	15.09	110
87	Anon_K_P	15.10	38978
88	Sprt	15.10	32
89	Deric Cheng	15.11	10
90	Yacob Y.	15.12	7
91	EC	15.14	4
92	KingBach	15.14	71
93	Sunny	15.15	76
94	The Kraken	15.21	52
95	NA	15.23	13
96	Keji Xu	15.29	57
97	David Lackey	15.94	55255
98	Miranda	16.27	59676
99	Jessie Chen	17.48	54671
100	Happy	17.71	108
101	TSATTER	18.53	58208
102	Alex Fish	18.66	54906
103	SuperFan	19.49	51425
104	Bob Dondero	20.80	56247
105	cjt	22.50	60006
106	Bebe Shi	22.97	53896
107	Gewang	25.32	52775
108	cmF5a3ly	30.41	60070
109	Yan Wu	65.17	0
110	Tom T	74.09	110
111	Qinlan Shen	90.03	58709
112	David Paulk	-	-
113	Jordan Ash	-	-
114	The Whitman Whale	-	-
115	Igor	-	-
116	Sally Smith	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist