Stats for formula: Anon5-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 Anon5-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Anon5-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:	Anon5-0
Rank of generator:	32 / 114
Average score:	10.61
Median score:	15.00
Best solver:	haoyu
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	haoyu	0.05	0
2	Green "The Bean" Choi	0.07	0
3	jabreezy	0.08	0
4	spl	0.17	0
5	Tree Prophet	0.19	0
6	Mike Honcho	0.22	0
7	AFC	0.22	0
8	Sunny	0.24	0
9	Matt Haake	0.28	0
10	Samuel Jerome	0.29	0
11	Dr Roberto	0.31	0
12	CookieMonster	0.36	0
13	Aristotle	0.45	0
14	ebp	0.56	0
15	Shaheed Chagani	0.67	0
16	The Whitman Whale	0.69	0
17	Absurdity	0.70	0
18	Matt Goldsmith	0.99	0
19	Brendan Wright	1.23	0
20	Walter Little	1.24	0
21	Tao	1.27	0
22	Glenn Fisher	1.30	0
23	Quite Satisfied	1.47	0
24	David H.	1.53	0
25	Aaron Doll	1.54	0
26	Nikhilesh Sigatapu	1.55	0
27	Joel Faron	2.87	0
28	dusty	3.13	0
29	bfang	3.34	0
30	Ben Chen	3.66	0
31	NA	3.79	0
32	ModifiedWalkSatBreakZero	4.11	0
33	Janie Gu	4.26	0
34	vhsiao	4.59	0
35	Andrew Werner	4.84	0
36	Valya Barboy	7.59	0
37	John Whelchel	10.37	0
38	DeeEmEm	10.49	0
39	Deric Cheng	11.12	0
40	Yacob Y.	11.19	0
41	Mike Hawk	11.64	0
42	Andrew Grasso	15.00	1
43	jgs	14.98	2
44	13a	15.00	3
45	Mercury	15.00	6
46	snowflakes	15.00	7
47	HashTagAlreadyFallBreak	15.00	8
48	CAPS LOCK	13.00	10
49	R. A. B.	9.00	13
50	Bar Shabtai	15.00	13
51	bchouSolver	15.00	14
52	bigwig	15.00	16
53	Boomshanka	0.22	18
54	T. Capote	15.00	21
55	soccer	15.00	21
56	Elphaba	0.02	25
57	RedOrangeBlue	14.99	32
58	George Okeowo	0.23	32
59	cat	14.99	231
60	Anon_K_P	15.00	538
61	Cam Porter	15.00	1556
62	BMJ	15.00	1556
63	K.L.	15.00	9601
64	dfshasdsf12	15.00	1
65	Ytterbium	15.00	1
66	Sabar Dasgupta	15.00	1
67	BH	15.00	1
68	Aaron H	15.00	2
69	Fanny	15.00	2
70	Mr. Blobby	15.00	2
71	Anon5	15.00	2
72	KingBach	15.00	3
73	Sprt	15.00	3
74	An Extremely Ordinary Sloth	15.00	4
75	LilThug	15.00	4
76	Nihar the Great	15.00	6
77	Mark Fillmore	15.00	8
78	Solving For Clauses	15.00	9
79	Jameh	15.00	10
80	0108	15.00	12
81	EC	15.00	12
82	Ravi Tandon	15.00	13
83	Keji Xu	15.00	16
84	kt4124	15.00	16
85	burrito	15.00	17
86	Happy	15.00	17
87	Linda	15.00	21
88	weezy	15.00	23
89	Khoa	15.00	32
90	Sat Solver 2013	15.00	387
91	Supahaka	15.00	2507
92	Mickey Mouse	15.00	2583
93	Andys	15.00	1
94	Jonathan Kwok	15.00	1
95	Charlie Shucheng Zhu	15.00	3
96	Lisa Kim	15.00	14
97	Sally Smith	15.00	23
98	Blam	15.00	26
99	The Kraken	15.00	825
100	Joshua Zimmer	15.00	1
101	Tiny Wings	15.00	34
102	David Lackey	15.01	7
103	Bebe Shi	15.01	7
104	Jessie Chen	15.01	15
105	Gewang	15.02	6
106	SuperFan	15.02	1472
107	Alex Fish	15.02	6
108	Bob Dondero	15.03	1737
109	cmF5a3ly	15.04	1557
110	TSATTER	15.04	2254
111	Qinlan Shen	15.06	1151
112	Jordan Ash	15.96	18
113	Tom T	18.25	5
114	cjt	22.50	15
115	David Paulk	-	-
116	Yan Wu	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist