Stats for formula: Anon5-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 Anon5-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Anon5-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:	Anon5-1
Rank of generator:	32 / 114
Average score:	8.46
Median score:	13.58
Best solver:	Green "The Bean" Choi
Description:	For my generator I used the Hamiltonian cycle problem. I first generate a random graph containing a Hamiltonian cycle. Then, I convert it to CNF by using the literals H(i,j), where H(i,j) is true if vertex i is in the jth position of the hamiltonian cycle.

	Solver	Time taken	Unsat
1	Green "The Bean" Choi	0.07	0
2	Matt Goldsmith	0.07	0
3	Samuel Jerome	0.08	0
4	Sunny	0.08	0
5	Aristotle	0.10	0
6	Dr Roberto	0.12	0
7	AFC	0.12	0
8	Nikhilesh Sigatapu	0.17	0
9	bfang	0.17	0
10	Mike Honcho	0.19	0
11	Aaron Doll	0.19	0
12	haoyu	0.20	0
13	dusty	0.24	0
14	DeeEmEm	0.25	0
15	CookieMonster	0.28	0
16	Tree Prophet	0.30	0
17	Glenn Fisher	0.31	0
18	Matt Haake	0.31	0
19	Joshua Zimmer	0.39	0
20	spl	0.39	0
21	Shaheed Chagani	0.41	0
22	Absurdity	0.48	0
23	David H.	0.49	0
24	BH	0.69	0
25	Tao	0.71	0
26	ModifiedWalkSatBreakZero	0.74	0
27	ebp	0.75	0
28	Fanny	0.85	0
29	Janie Gu	1.00	0
30	Mr. Blobby	1.05	0
31	NA	1.10	0
32	Jonathan Kwok	1.23	0
33	The Whitman Whale	1.39	0
34	Brendan Wright	1.48	0
35	EC	1.66	0
36	Andrew Werner	1.77	0
37	Walter Little	1.90	0
38	dfshasdsf12	2.01	0
39	vhsiao	2.03	0
40	John Whelchel	2.21	0
41	Sabar Dasgupta	2.38	0
42	Ben Chen	2.53	0
43	Andrew Grasso	2.68	0
44	Joel Faron	2.91	0
45	Ytterbium	3.01	0
46	jgs	3.24	0
47	Yacob Y.	3.56	0
48	Deric Cheng	3.64	0
49	Anon5	3.68	0
50	Mike Hawk	3.75	0
51	Andys	4.40	0
52	Quite Satisfied	5.05	0
53	Lisa Kim	5.10	0
54	Sprt	5.48	0
55	snowflakes	6.19	0
56	13a	11.45	0
57	Qinlan Shen	13.58	0
58	Alex Fish	14.18	0
59	Bar Shabtai	15.00	3
60	R. A. B.	9.00	6
61	CAPS LOCK	13.00	6
62	Boomshanka	0.16	10
63	Elphaba	0.02	11
64	bchouSolver	15.00	12
65	HashTagAlreadyFallBreak	15.00	12
66	bigwig	15.00	16
67	soccer	15.00	19
68	T. Capote	15.00	20
69	RedOrangeBlue	14.99	26
70	George Okeowo	0.15	26
71	Anon_K_P	15.00	109
72	Cam Porter	15.00	513
73	cat	14.99	548
74	BMJ	15.00	872
75	Supahaka	8.59	1038
76	K.L.	15.00	5759
77	Aaron H	15.00	1
78	Valya Barboy	15.00	1
79	KingBach	15.00	2
80	An Extremely Ordinary Sloth	15.00	2
81	LilThug	15.00	4
82	Solving For Clauses	15.00	5
83	Mark Fillmore	15.00	5
84	Jameh	15.00	6
85	Keji Xu	15.00	7
86	Nihar the Great	15.00	7
87	Happy	15.00	7
88	David Lackey	15.00	8
89	Ravi Tandon	15.00	9
90	weezy	15.00	11
91	0108	15.00	11
92	burrito	15.00	14
93	Linda	15.00	14
94	kt4124	15.00	16
95	Sally Smith	15.00	16
96	Blam	15.00	19
97	Mickey Mouse	15.00	19
98	Khoa	15.00	26
99	Sat Solver 2013	15.00	257
100	The Kraken	15.00	513
101	Gewang	15.00	2
102	Bebe Shi	15.00	4
103	Tiny Wings	15.00	6
104	Jessie Chen	15.01	16
105	cmF5a3ly	15.01	5
106	Mercury	15.01	4
107	SuperFan	15.01	149
108	Bob Dondero	15.01	642
109	TSATTER	15.03	1279
110	Jordan Ash	16.12	12
111	Charlie Shucheng Zhu	18.32	0
112	Tom T	19.30	2
113	cjt	22.50	23
114	Yan Wu	37.59	0
115	David Paulk	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist