Stats for formula: CAPS LOCK-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 CAPS LOCK-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf CAPS LOCK-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:	CAPS LOCK-0
Rank of generator:	12 / 114
Average score:	11.63
Median score:	15.00
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.20	0
2	dusty	0.37	0
3	haoyu	0.37	0
4	Aaron Doll	0.38	0
5	bigwig	0.52	0
6	spl	0.61	0
7	Quite Satisfied	1.06	0
8	CookieMonster	1.20	0
9	Matt Haake	1.29	0
10	vhsiao	2.22	0
11	HashTagAlreadyFallBreak	2.56	0
12	Elphaba	3.10	0
13	Tao	4.48	0
14	ModifiedWalkSatBreakZero	4.59	0
15	Mark Fillmore	5.53	0
16	Matt Goldsmith	5.82	0
17	Linda	6.04	0
18	0108	6.65	0
19	Jonathan Kwok	7.11	0
20	Solving For Clauses	7.17	0
21	Sabar Dasgupta	7.36	0
22	Keji Xu	7.65	0
23	Glenn Fisher	7.81	0
24	Jameh	8.02	0
25	Andys	8.38	0
26	Janie Gu	8.52	0
27	Shaheed Chagani	9.08	0
28	BH	9.14	0
29	NA	9.19	0
30	Nihar the Great	9.29	0
31	jgs	9.51	0
32	Mercury	9.70	0
33	KingBach	9.80	0
34	Bar Shabtai	10.11	0
35	burrito	10.40	0
36	Yacob Y.	10.58	0
37	Anon5	10.66	0
38	Sprt	11.31	0
39	Yan Wu	11.48	0
40	David Paulk	11.76	0
41	Joshua Zimmer	11.89	0
42	Ben Chen	11.90	0
43	Absurdity	12.02	0
44	Walter Little	12.15	0
45	Deric Cheng	12.21	0
46	Mike Hawk	12.27	0
47	EC	12.68	0
48	Andrew Werner	13.04	0
49	Mike Honcho	13.18	0
50	Valya Barboy	13.68	0
51	CAPS LOCK	13.01	2
52	bchouSolver	15.00	1057
53	ebp	14.99	1286
54	R. A. B.	9.00	26740
55	cat	15.00	2
56	bfang	15.00	45833
57	dfshasdsf12	15.00	2
58	AFC	15.00	1134
59	13a	15.00	1214
60	weezy	15.00	30569
61	Ravi Tandon	15.01	213
62	Cam Porter	15.01	9391
63	BMJ	15.01	41799
64	Aaron H	15.01	7556
65	Lisa Kim	15.01	2
66	Green "The Bean" Choi	15.01	866
67	Samuel Jerome	15.01	15764
68	Ytterbium	15.01	10
69	K.L.	15.01	155056
70	jabreezy	15.02	1984
71	Andrew Grasso	15.02	1109
72	Mickey Mouse	15.02	34918
73	Sat Solver 2013	15.02	4562
74	Supahaka	15.02	16539
75	T. Capote	15.03	4
76	Khoa	15.03	1984
77	soccer	15.03	44519
78	George Okeowo	15.03	1984
79	snowflakes	15.03	18
80	Mr. Blobby	15.04	4476
81	Brendan Wright	15.04	1841
82	Anon_K_P	15.04	23773
83	LilThug	15.04	1694
84	An Extremely Ordinary Sloth	15.04	20836
85	The Kraken	15.05	159
86	Joel Faron	15.08	1768
87	Tiny Wings	15.08	39587
88	Charlie Shucheng Zhu	15.12	2
89	kt4124	15.15	16
90	David H.	15.21	53334
91	Blam	15.21	12
92	DeeEmEm	15.21	72
93	SuperFan	15.24	40344
94	John Whelchel	15.24	1121
95	Tree Prophet	15.28	1264
96	Bebe Shi	15.32	50817
97	Sunny	15.35	1547
98	Boomshanka	15.35	46826
99	RedOrangeBlue	15.42	1984
100	Jessie Chen	15.50	53768
101	Alex Fish	15.89	42977
102	Miranda	17.11	50073
103	cmF5a3ly	18.92	54002
104	David Lackey	19.69	43127
105	Gewang	20.30	43406
106	Happy	21.02	1799
107	Bob Dondero	21.85	40152
108	cjt	22.50	55409
109	TSATTER	25.85	45379
110	Fanny	37.09	1984
111	Qinlan Shen	69.21	47516
112	Dr Roberto	-	-
113	Tom T	-	-
114	Jordan Ash	-	-
115	The Whitman Whale	-	-
116	Igor	-	-
117	Sally Smith	-	-
118	Nikhilesh Sigatapu	-	-

SatSolvers Ranklist

Generators Ranklist