Stats for formula: Absurdity-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 Absurdity-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Absurdity-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:	Absurdity-1
Rank of generator:	6 / 114
Average score:	13.72
Median score:	15.00
Best solver:	Aristotle
Description:	Generates instances of the Hamiltonian cycle problem with 35 vertices.

	Solver	Time taken	Unsat
1	Aristotle	0.18	0
2	Aaron Doll	0.39	0
3	CookieMonster	0.47	0
4	spl	1.14	0
5	Shaheed Chagani	2.49	0
6	Green "The Bean" Choi	3.22	0
7	Tao	3.78	0
8	jgs	4.14	0
9	Matt Haake	6.24	0
10	ModifiedWalkSatBreakZero	6.24	0
11	Mike Honcho	7.94	0
12	dusty	10.24	0
13	AFC	11.61	0
14	Andrew Werner	12.72	0
15	13a	15.00	3
16	Dr Roberto	14.99	4
17	Samuel Jerome	15.00	4
18	NA	14.99	6
19	John Whelchel	15.00	9
20	vhsiao	14.98	11
21	Matt Goldsmith	15.00	14
22	Joel Faron	15.00	15
23	HashTagAlreadyFallBreak	15.00	19
24	CAPS LOCK	13.00	24
25	Nikhilesh Sigatapu	15.00	24
26	R. A. B.	9.01	29
27	T. Capote	15.00	34
28	Elphaba	0.10	62
29	George Okeowo	1.10	71
30	bigwig	15.00	78
31	Boomshanka	15.00	705
32	Cam Porter	15.00	5164
33	BMJ	15.00	7430
34	bfang	15.00	7760
35	K.L.	15.00	35399
36	BH	15.00	1
37	Joshua Zimmer	15.00	1
38	dfshasdsf12	15.00	2
39	Mr. Blobby	15.00	2
40	Fanny	15.00	3
41	Valya Barboy	15.00	3
42	Nihar the Great	15.00	3
43	Aaron H	15.00	5
44	EC	15.00	6
45	Absurdity	15.00	7
46	An Extremely Ordinary Sloth	15.00	9
47	Glenn Fisher	15.00	9
48	Yacob Y.	15.00	9
49	LilThug	15.00	13
50	Mark Fillmore	15.00	16
51	Solving For Clauses	15.00	22
52	Jameh	15.00	23
53	Quite Satisfied	15.00	25
54	burrito	15.00	32
55	bchouSolver	15.00	36
56	Linda	15.00	43
57	Ravi Tandon	15.00	45
58	Blam	15.00	48
59	Brendan Wright	15.00	66
60	weezy	15.00	206
61	cat	15.00	7808
62	Mickey Mouse	15.00	9341
63	haoyu	15.00	2
64	Sprt	15.00	5
65	KingBach	15.00	7
66	Janie Gu	15.00	13
67	Keji Xu	15.00	34
68	Sat Solver 2013	15.00	931
69	David H.	15.00	10189
70	kt4124	15.00	57
71	Andys	15.00	1
72	Mike Hawk	15.00	1
73	Ben Chen	15.00	1
74	The Whitman Whale	15.00	68
75	Supahaka	15.00	8326
76	Deric Cheng	15.01	1
77	Anon5	15.01	1
78	Lisa Kim	15.01	14
79	RedOrangeBlue	15.01	69
80	Mercury	15.01	18
81	Andrew Grasso	15.01	1
82	Charlie Shucheng Zhu	15.01	7
83	snowflakes	15.01	11
84	Sabar Dasgupta	15.01	1
85	Ytterbium	15.01	3
86	Jonathan Kwok	15.01	3
87	Khoa	15.01	71
88	0108	15.01	16
89	Walter Little	15.01	22
90	Tiny Wings	15.01	243
91	The Kraken	15.02	364
92	Bebe Shi	15.02	9506
93	DeeEmEm	15.02	1
94	Sally Smith	15.02	5891
95	Anon_K_P	15.02	5203
96	Bob Dondero	15.05	9741
97	Alex Fish	15.07	8743
98	Tree Prophet	15.08	1
99	Qinlan Shen	15.09	9391
100	Jessie Chen	15.11	9915
101	Happy	15.23	66
102	SuperFan	15.36	9628
103	Gewang	15.38	10078
104	David Lackey	15.57	9878
105	cmF5a3ly	15.69	9831
106	Sunny	16.05	5
107	TSATTER	16.13	10688
108	cjt	22.50	7943
109	Tom T	33.31	8
110	David Paulk	-	-
111	Yan Wu	-	-
112	jabreezy	-	-
113	soccer	-	-
114	Miranda	-	-
115	Jordan Ash	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist