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

	Solver	Time taken	Unsat
1	Aristotle	9.69	0
2	vhsiao	14.99	43
3	13a	15.00	112
4	ebp	14.99	120
5	CookieMonster	15.00	644342
6	CAPS LOCK	13.05	703493
7	R. A. B.	9.13	743706
8	T. Capote	15.00	750411
9	Matt Goldsmith	15.00	6
10	dusty	15.00	494919
11	spl	15.00	597410
12	Aaron Doll	15.00	6
13	Jameh	15.00	749977
14	Andrew Werner	15.01	745625
15	Supahaka	15.01	764547
16	Quite Satisfied	15.01	653566
17	Matt Haake	15.01	644219
18	Deric Cheng	15.01	734433
19	BH	15.02	741491
20	Happy	15.02	120
21	Solving For Clauses	15.02	702513
22	Valya Barboy	15.02	711441
23	Khoa	15.03	120
24	weezy	15.03	743788
25	0108	15.03	722415
26	soccer	15.03	729980
27	Ytterbium	15.03	751840
28	Ravi Tandon	15.03	712203
29	HashTagAlreadyFallBreak	15.04	689830
30	George Okeowo	15.04	120
31	jgs	15.04	733590
32	Joshua Zimmer	15.05	720229
33	Mike Hawk	15.05	719174
34	EC	15.05	732055
35	Anon_K_P	15.05	751786
36	bchouSolver	15.05	120
37	AFC	15.06	119
38	bigwig	15.06	78
39	cat	15.06	85
40	Nihar the Great	15.06	60
41	Tao	15.06	743675
42	Glenn Fisher	15.06	678153
43	KingBach	15.07	712632
44	Aaron H	15.07	731216
45	Charlie Shucheng Zhu	15.07	720155
46	Ben Chen	15.07	741969
47	Green "The Bean" Choi	15.08	120
48	Absurdity	15.08	737141
49	Cam Porter	15.08	760607
50	Andrew Grasso	15.08	120
51	Mickey Mouse	15.09	754918
52	burrito	15.09	713361
53	Tiny Wings	15.09	738114
54	K.L.	15.10	765895
55	LilThug	15.10	734313
56	Sprt	15.11	717168
57	Joel Faron	15.11	119
58	Mr. Blobby	15.12	754025
59	Andys	15.12	718153
60	Anon5	15.12	715387
61	Blam	15.12	758352
62	Keji Xu	15.13	683936
63	kt4124	15.13	726088
64	Tree Prophet	15.14	119
65	Yacob Y.	15.15	724741
66	Lisa Kim	15.15	740676
67	BMJ	15.16	754316
68	Linda	15.17	759038
69	NA	15.17	709398
70	Walter Little	15.19	755033
71	An Extremely Ordinary Sloth	15.20	758260
72	snowflakes	15.21	745907
73	Sabar Dasgupta	15.21	730375
74	Janie Gu	15.28	730869
75	Samuel Jerome	15.34	740409
76	Brendan Wright	15.56	119
77	Sunny	15.76	119
78	RedOrangeBlue	15.97	120
79	David H.	16.29	737344
80	DeeEmEm	16.30	109
81	Boomshanka	16.37	757335
82	Elphaba	16.92	68
83	ModifiedWalkSatBreakZero	17.81	740299
84	Bar Shabtai	17.97	109
85	Jonathan Kwok	18.92	114
86	haoyu	19.08	6
87	John Whelchel	19.45	117
88	The Kraken	26.77	103
89	Fanny	34.71	120
90	jabreezy	44.36	120
91	bfang	108.88	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