Stats for formula: Aristotle-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 Aristotle-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Aristotle-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:	Aristotle-0
Rank of generator:	* / 114
Average score:	15.00
Median score:	15.09
Best solver:	Aristotle
Description:	Hamiltonian cycle CNF from a graph with 120 nodes and 1700 edges.

	Solver	Time taken	Unsat
1	Aristotle	15.00	1
2	Matt Goldsmith	15.00	7
3	vhsiao	14.98	51
4	13a	15.00	112
5	ebp	14.99	120
6	spl	15.00	660085
7	CAPS LOCK	13.04	687855
8	R. A. B.	9.24	740437
9	dusty	15.00	448714
10	burrito	15.00	709990
11	Aaron Doll	15.01	3
12	Ravi Tandon	15.01	751821
13	Quite Satisfied	15.01	616427
14	An Extremely Ordinary Sloth	15.01	739472
15	Matt Haake	15.01	612762
16	CookieMonster	15.01	662914
17	HashTagAlreadyFallBreak	15.01	684955
18	weezy	15.01	747848
19	T. Capote	15.01	765442
20	EC	15.01	708065
21	0108	15.01	704171
22	bigwig	15.02	66
23	Supahaka	15.02	753496
24	bchouSolver	15.03	120
25	Tao	15.03	737565
26	Mickey Mouse	15.03	741853
27	Happy	15.03	120
28	Solving For Clauses	15.03	705476
29	jgs	15.03	698703
30	Keji Xu	15.04	710064
31	Andrew Grasso	15.04	120
32	Nihar the Great	15.04	62
33	Anon5	15.04	705136
34	Cam Porter	15.05	747469
35	Ben Chen	15.05	731787
36	snowflakes	15.05	742865
37	Anon_K_P	15.06	752584
38	Andrew Werner	15.06	765387
39	Joshua Zimmer	15.07	722321
40	Jameh	15.07	708785
41	soccer	15.07	742966
42	Khoa	15.08	120
43	K.L.	15.08	750847
44	George Okeowo	15.08	120
45	Glenn Fisher	15.09	698238
46	LilThug	15.09	755821
47	Valya Barboy	15.09	738026
48	AFC	15.09	119
49	David H.	15.09	747050
50	kt4124	15.09	731574
51	Absurdity	15.09	745247
52	Linda	15.10	732047
53	Deric Cheng	15.11	717389
54	cat	15.11	86
55	Blam	15.12	735055
56	NA	15.13	748428
57	Samuel Jerome	15.13	735073
58	Mr. Blobby	15.13	742822
59	Charlie Shucheng Zhu	15.13	725426
60	Tree Prophet	15.14	119
61	Sprt	15.15	728225
62	Andys	15.15	751896
63	Aaron H	15.16	741432
64	BH	15.16	754620
65	BMJ	15.16	753981
66	Ytterbium	15.17	736495
67	Mike Hawk	15.18	727864
68	KingBach	15.18	736640
69	Janie Gu	15.19	725425
70	Yacob Y.	15.19	728133
71	Sabar Dasgupta	15.20	746289
72	Brendan Wright	15.30	119
73	Walter Little	15.31	743999
74	Lisa Kim	15.32	731115
75	DeeEmEm	15.34	108
76	Joel Faron	15.53	119
77	Sunny	15.99	119
78	RedOrangeBlue	16.05	120
79	Tiny Wings	16.10	762137
80	Bar Shabtai	16.23	113
81	Elphaba	16.88	69
82	Boomshanka	17.16	740570
83	ModifiedWalkSatBreakZero	17.46	729106
84	Jonathan Kwok	17.91	116
85	haoyu	18.32	5
86	John Whelchel	22.31	113
87	Fanny	34.71	120
88	The Kraken	36.37	101
89	Green "The Bean" Choi	39.65	119
90	jabreezy	48.25	120
91	bfang	88.64	119
92	David Paulk	-	-
93	Qinlan Shen	-	-
94	Yan Wu	-	-
95	Alex Fish	-	-
96	TSATTER	-	-
97	Bebe Shi	-	-
98	Shaheed Chagani	-	-
99	Dr Roberto	-	-
100	dfshasdsf12	-	-
101	Tom T	-	-
102	David Lackey	-	-
103	Mike Honcho	-	-
104	SuperFan	-	-
105	Jessie Chen	-	-
106	Mercury	-	-
107	Miranda	-	-
108	Jordan Ash	-	-
109	Gewang	-	-
110	The Whitman Whale	-	-
111	Igor	-	-
112	Sally Smith	-	-
113	Mark Fillmore	-	-
114	cjt	-	-
115	Bob Dondero	-	-
116	cmF5a3ly	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist