Stats for formula: Absurdity-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 Absurdity-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Absurdity-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:	Absurdity-0
Rank of generator:	6 / 114
Average score:	13.60
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.23	0
2	CookieMonster	0.45	0
3	dusty	0.51	0
4	Aaron Doll	0.58	0
5	Shaheed Chagani	1.02	0
6	Matt Haake	2.60	0
7	Tao	3.28	0
8	AFC	3.92	0
9	jgs	4.45	0
10	ModifiedWalkSatBreakZero	5.58	0
11	David H.	7.10	0
12	spl	8.18	0
13	Mike Honcho	9.23	0
14	Green "The Bean" Choi	10.29	0
15	Andrew Grasso	15.00	1
16	13a	15.00	2
17	NA	14.99	3
18	Samuel Jerome	15.00	5
19	Dr Roberto	15.00	6
20	vhsiao	14.98	6
21	snowflakes	15.00	10
22	Matt Goldsmith	15.00	17
23	HashTagAlreadyFallBreak	15.00	17
24	Nikhilesh Sigatapu	15.00	20
25	Joel Faron	15.00	21
26	CAPS LOCK	13.00	25
27	R. A. B.	9.00	35
28	T. Capote	15.00	53
29	Elphaba	0.12	64
30	RedOrangeBlue	14.99	69
31	George Okeowo	1.10	71
32	bigwig	15.00	110
33	Boomshanka	15.00	822
34	Cam Porter	15.00	5814
35	bfang	15.00	7771
36	BMJ	15.00	7964
37	cat	15.00	8102
38	K.L.	15.00	33275
39	Andrew Werner	15.00	1
40	Ytterbium	15.00	1
41	BH	15.00	1
42	Anon5	15.00	1
43	dfshasdsf12	15.00	2
44	Jonathan Kwok	15.00	2
45	Absurdity	15.00	4
46	Sprt	15.00	4
47	Walter Little	15.00	5
48	Nihar the Great	15.00	7
49	Yacob Y.	15.00	9
50	John Whelchel	15.00	11
51	LilThug	15.00	12
52	Quite Satisfied	15.00	16
53	Mercury	15.00	18
54	Mark Fillmore	15.00	19
55	Jameh	15.00	22
56	Solving For Clauses	15.00	23
57	Keji Xu	15.00	27
58	burrito	15.00	29
59	bchouSolver	15.00	42
60	Linda	15.00	44
61	Ravi Tandon	15.00	47
62	Happy	15.00	61
63	Khoa	15.00	71
64	weezy	15.00	187
65	Sat Solver 2013	15.00	728
66	Supahaka	15.00	7493
67	Mickey Mouse	15.00	8462
68	Fanny	15.00	2
69	Sabar Dasgupta	15.00	2
70	Valya Barboy	15.00	3
71	KingBach	15.00	6
72	Glenn Fisher	15.00	10
73	Lisa Kim	15.00	16
74	Tiny Wings	15.00	863
75	Andys	15.00	1
76	Mr. Blobby	15.00	1
77	An Extremely Ordinary Sloth	15.00	21
78	kt4124	15.00	44
79	Joshua Zimmer	15.01	2
80	Charlie Shucheng Zhu	15.01	6
81	0108	15.01	19
82	Janie Gu	15.01	9
83	The Whitman Whale	15.01	60
84	Mike Hawk	15.01	1
85	Deric Cheng	15.01	1
86	Ben Chen	15.01	1
87	Aaron H	15.01	7
88	Blam	15.01	80
89	EC	15.01	7
90	The Kraken	15.01	268
91	haoyu	15.01	2
92	Brendan Wright	15.01	62
93	Anon_K_P	15.01	5509
94	DeeEmEm	15.02	8
95	Sally Smith	15.02	5936
96	Tree Prophet	15.06	1
97	Alex Fish	15.12	9530
98	Jessie Chen	15.16	11089
99	Bob Dondero	15.22	10004
100	Sunny	15.25	4
101	Qinlan Shen	15.27	10628
102	Gewang	15.28	10218
103	David Lackey	15.33	8472
104	TSATTER	15.41	9970
105	Bebe Shi	15.52	9634
106	cmF5a3ly	15.53	9364
107	SuperFan	15.53	9461
108	cjt	22.50	8805
109	Tom T	35.51	3
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