Stats for formula: CAPS LOCK-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 CAPS LOCK-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf CAPS LOCK-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:	CAPS LOCK-1
Rank of generator:	12 / 114
Average score:	13.39
Median score:	15.03
Best solver:	Aristotle
Description:	This generator produces CNFS based on state machines where every state is visited only one time. This is essentially a Hamiltonian circuit. The problems are generated by creating a cycle in a graph and then removing some extraenous edges before finally converting the result to a CNF.

	Solver	Time taken	Unsat
1	Aristotle	0.25	0
2	dusty	0.57	0
3	haoyu	0.58	0
4	Aaron Doll	0.63	0
5	spl	0.97	0
6	bigwig	1.27	0
7	Quite Satisfied	1.32	0
8	Matt Haake	1.80	0
9	CookieMonster	1.81	0
10	vhsiao	4.26	0
11	Nihar the Great	6.51	0
12	HashTagAlreadyFallBreak	6.90	0
13	Tao	8.52	0
14	ModifiedWalkSatBreakZero	8.92	0
15	Mark Fillmore	10.04	0
16	Jameh	12.63	0
17	burrito	12.84	0
18	Bar Shabtai	14.16	0
19	Mike Honcho	14.44	0
20	CAPS LOCK	13.13	2
21	jgs	14.99	410
22	ebp	14.99	1860
23	13a	15.00	2110
24	Elphaba	5.86	2226
25	R. A. B.	9.03	52509
26	Happy	15.00	2334
27	Andrew Werner	15.00	8680
28	Keji Xu	15.00	2
29	soccer	15.00	4958
30	George Okeowo	15.01	2406
31	Matt Goldsmith	15.01	113573
32	Anon5	15.01	197
33	Sabar Dasgupta	15.01	2
34	cat	15.01	251
35	Mike Hawk	15.01	109
36	Linda	15.01	2
37	bchouSolver	15.01	2022
38	weezy	15.01	52132
39	T. Capote	15.01	1382
40	Mickey Mouse	15.01	43625
41	An Extremely Ordinary Sloth	15.01	43822
42	BMJ	15.01	75223
43	Ravi Tandon	15.01	227
44	Deric Cheng	15.01	1048
45	Yacob Y.	15.02	12
46	Joshua Zimmer	15.02	247
47	Anon_K_P	15.02	55391
48	dfshasdsf12	15.02	2
49	BH	15.02	2999
50	EC	15.02	84
51	Absurdity	15.02	1761
52	kt4124	15.02	4703
53	Samuel Jerome	15.03	38038
54	Janie Gu	15.03	10
55	Supahaka	15.03	35347
56	Valya Barboy	15.03	165
57	K.L.	15.03	235922
58	Andrew Grasso	15.04	1580
59	AFC	15.04	1830
60	Mr. Blobby	15.04	31431
61	Andys	15.04	614
62	Lisa Kim	15.04	680
63	jabreezy	15.04	2406
64	Cam Porter	15.04	35562
65	Solving For Clauses	15.04	2
66	bfang	15.04	73772
67	LilThug	15.05	17883
68	Aaron H	15.05	43134
69	NA	15.05	30
70	KingBach	15.06	651
71	snowflakes	15.06	18209
72	Blam	15.07	10400
73	Brendan Wright	15.07	2286
74	Joel Faron	15.07	2118
75	Sunny	15.08	821
76	Ytterbium	15.09	16023
77	The Kraken	15.12	271
78	Ben Chen	15.12	2
79	Glenn Fisher	15.15	0
80	Khoa	15.16	2406
81	Tree Prophet	15.18	2041
82	David H.	15.18	51451
83	Walter Little	15.20	158
84	Jonathan Kwok	15.23	10
85	Green "The Bean" Choi	15.23	1659
86	Charlie Shucheng Zhu	15.24	2235
87	Tiny Wings	15.27	72623
88	0108	15.36	2
89	DeeEmEm	15.39	1162
90	RedOrangeBlue	15.44	2406
91	Sprt	15.48	26
92	Shaheed Chagani	15.67	827
93	Boomshanka	16.11	69925
94	John Whelchel	16.77	1904
95	Miranda	21.18	66158
96	Gewang	22.38	73161
97	Alex Fish	23.34	69282
98	David Lackey	24.24	76875
99	Yan Wu	24.53	0
100	Mercury	25.31	0
101	cjt	25.77	70727
102	Bob Dondero	26.25	74783
103	SuperFan	26.37	53904
104	Bebe Shi	27.06	78452
105	cmF5a3ly	27.47	67078
106	Jessie Chen	30.32	73355
107	David Paulk	37.62	0
108	TSATTER	39.26	71417
109	Fanny	72.97	2406
110	Qinlan Shen	116.81	87078
111	Dr Roberto	-	-
112	Tom T	-	-
113	Jordan Ash	-	-
114	The Whitman Whale	-	-
115	Igor	-	-
116	Sally Smith	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist