Stats for formula: jgs-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 jgs-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf jgs-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:	jgs-0
Rank of generator:	11 / 114
Average score:	13.01
Median score:	15.00
Best solver:	Aristotle
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	Aristotle	0.12	0
2	Aaron Doll	0.35	0
3	Matt Goldsmith	0.46	0
4	dusty	0.69	0
5	haoyu	0.69	0
6	spl	1.12	0
7	CookieMonster	1.66	0
8	Quite Satisfied	1.78	0
9	Matt Haake	2.55	0
10	Dr Roberto	2.99	0
11	ModifiedWalkSatBreakZero	3.55	0
12	vhsiao	5.76	0
13	Bar Shabtai	6.59	0
14	HashTagAlreadyFallBreak	6.71	0
15	Tao	7.00	0
16	Jonathan Kwok	7.39	0
17	Green "The Bean" Choi	7.76	0
18	Anon5	10.31	0
19	Shaheed Chagani	10.70	0
20	Glenn Fisher	11.26	0
21	Fanny	11.34	0
22	dfshasdsf12	11.63	0
23	Mike Hawk	13.92	0
24	Ben Chen	14.07	0
25	0108	14.12	0
26	John Whelchel	14.32	0
27	jgs	14.98	3
28	CAPS LOCK	13.00	26
29	bigwig	15.00	41
30	bchouSolver	15.00	80
31	ebp	14.99	102
32	Elphaba	1.37	104
33	T. Capote	15.00	387
34	cat	15.00	966
35	R. A. B.	9.00	35930
36	KingBach	15.00	14
37	Mark Fillmore	15.00	22
38	Solving For Clauses	15.00	26
39	Happy	15.00	108
40	Walter Little	15.00	398
41	David H.	15.00	20919
42	weezy	15.00	33057
43	bfang	15.00	54955
44	Jameh	15.00	19
45	13a	15.00	62
46	Supahaka	15.00	38171
47	Mickey Mouse	15.00	53675
48	Nihar the Great	15.00	5
49	Linda	15.00	35
50	AFC	15.00	72
51	Sabar Dasgupta	15.00	589
52	Charlie Shucheng Zhu	15.00	706
53	K.L.	15.00	220203
54	Ravi Tandon	15.00	64
55	Andys	15.00	86
56	George Okeowo	15.00	110
57	Andrew Werner	15.00	137
58	LilThug	15.00	6734
59	Blam	15.01	11085
60	BMJ	15.01	46018
61	Andrew Grasso	15.01	70
62	Khoa	15.01	110
63	BH	15.01	157
64	kt4124	15.01	1765
65	Cam Porter	15.01	41784
66	Aaron H	15.01	38363
67	soccer	15.01	4724
68	Mr. Blobby	15.01	31332
69	snowflakes	15.01	11823
70	Mercury	15.01	13
71	Keji Xu	15.02	56
72	Samuel Jerome	15.02	50289
73	An Extremely Ordinary Sloth	15.02	37118
74	Absurdity	15.03	43
75	Ytterbium	15.03	9782
76	Mike Honcho	15.03	110
77	Lisa Kim	15.04	11
78	Yacob Y.	15.04	9
79	Boomshanka	15.04	54952
80	Joel Faron	15.04	104
81	NA	15.05	12
82	Sprt	15.05	29
83	Tiny Wings	15.06	49026
84	Anon_K_P	15.07	40250
85	Tree Prophet	15.08	84
86	EC	15.08	1
87	jabreezy	15.09	108
88	RedOrangeBlue	15.09	110
89	Brendan Wright	15.10	108
90	Janie Gu	15.12	5
91	The Kraken	15.12	50
92	DeeEmEm	15.13	1
93	burrito	15.13	15
94	Joshua Zimmer	15.18	10
95	Valya Barboy	15.19	15
96	Deric Cheng	15.21	8
97	Sunny	15.26	108
98	Jessie Chen	16.57	57934
99	Gewang	16.73	57678
100	Alex Fish	16.84	55287
101	David Lackey	16.88	56498
102	Bebe Shi	17.64	57823
103	Miranda	17.66	57690
104	SuperFan	18.15	54659
105	cjt	22.50	56855
106	Bob Dondero	24.93	58100
107	TSATTER	28.97	57148
108	cmF5a3ly	29.53	58515
109	Yan Wu	45.44	0
110	Qinlan Shen	66.08	55817
111	Tom T	83.55	110
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