Stats for formula: 13a-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 13a-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf 13a-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:	13a-1
Rank of generator:	* / 114
Average score:	15.00
Median score:	15.01
Best solver:	Aaron Doll
Description:	Combination of clothes (shirts, pants, socks): constant clauses are each day must have one and only one article of each type of clothing, and shirts and socks can't be repeated. The varied clauses are randomly chosen sets of pants and socks that can be worn with each shirt, chosen by iterating through clothing and comparing a randomly generated double to a threshold of .05. It is not necessarily solvable.

	Solver	Time taken	Unsat
1	CookieMonster	15.00	36
2	Aristotle	15.00	44
3	spl	15.00	50
4	vhsiao	14.99	69
5	Matt Goldsmith	15.00	88
6	13a	15.00	132
7	ebp	14.99	148
8	Elphaba	0.42	150
9	bigwig	15.00	183
10	CAPS LOCK	13.00	8261
11	jgs	14.99	33871
12	ModifiedWalkSatBreakZero	15.00	57104
13	R. A. B.	9.00	111575
14	Aaron Doll	15.00	29
15	dusty	15.00	46
16	AFC	15.00	147
17	Keji Xu	15.00	11003
18	Mr. Blobby	15.00	107839
19	Mickey Mouse	15.00	121834
20	Matt Haake	15.00	50
21	Quite Satisfied	15.00	117
22	Ravi Tandon	15.00	37469
23	T. Capote	15.00	63550
24	Green "The Bean" Choi	15.00	150
25	Tao	15.00	2523
26	Solving For Clauses	15.00	9465
27	soccer	15.00	78538
28	Andrew Werner	15.00	83964
29	Walter Little	15.00	86515
30	Mark Fillmore	15.00	96
31	Andrew Grasso	15.00	145
32	Happy	15.00	150
33	HashTagAlreadyFallBreak	15.00	4614
34	Jameh	15.00	22152
35	Mike Hawk	15.00	47515
36	snowflakes	15.00	91535
37	Glenn Fisher	15.01	13239
38	0108	15.01	20961
39	burrito	15.01	31355
40	Sprt	15.01	58839
41	Valya Barboy	15.01	41591
42	BMJ	15.01	112786
43	K.L.	15.01	184143
44	Deric Cheng	15.01	65309
45	BH	15.01	90662
46	Samuel Jerome	15.01	110753
47	NA	15.01	54580
48	bfang	15.01	118970
49	Mike Honcho	15.01	150
50	bchouSolver	15.01	150
51	Linda	15.01	57561
52	George Okeowo	15.01	150
53	Yacob Y.	15.01	57450
54	An Extremely Ordinary Sloth	15.01	112283
55	Joshua Zimmer	15.02	29887
56	Sabar Dasgupta	15.02	45418
57	Supahaka	15.02	103254
58	Jonathan Kwok	15.02	114
59	Anon5	15.02	48626
60	Brendan Wright	15.02	151
61	KingBach	15.02	62251
62	weezy	15.02	106010
63	Lisa Kim	15.02	46837
64	kt4124	15.02	79190
65	Cam Porter	15.02	116728
66	Nihar the Great	15.02	68
67	EC	15.02	45951
68	Andys	15.02	79355
69	Khoa	15.02	150
70	Absurdity	15.02	66787
71	Janie Gu	15.02	75861
72	cat	15.02	299
73	Ben Chen	15.02	68392
74	Mercury	15.02	91
75	LilThug	15.03	97367
76	RedOrangeBlue	15.03	8201
77	Aaron H	15.05	109244
78	David H.	15.05	102033
79	The Kraken	15.06	436
80	Blam	15.06	100119
81	Joel Faron	15.06	149
82	Ytterbium	15.06	88285
83	DeeEmEm	15.07	142
84	Anon_K_P	15.08	125754
85	Charlie Shucheng Zhu	15.09	101364
86	Tree Prophet	15.14	149
87	John Whelchel	15.15	139
88	haoyu	15.16	124
89	Boomshanka	15.18	126434
90	Tiny Wings	15.23	117614
91	Bar Shabtai	15.26	50
92	jabreezy	15.50	150
93	Sunny	18.12	145
94	David Lackey	34.87	123726
95	Jessie Chen	36.53	119333
96	Gewang	38.64	125196
97	Miranda	40.77	124876
98	SuperFan	41.14	118810
99	Bob Dondero	43.48	131389
100	Alex Fish	44.12	125222
101	Bebe Shi	45.19	125553
102	cmF5a3ly	50.87	123007
103	Shaheed Chagani	50.98	640
104	dfshasdsf12	53.87	150
105	cjt	60.42	129372
106	Fanny	62.62	153
107	TSATTER	84.55	119765
108	David Paulk	-	-
109	Qinlan Shen	-	-
110	Yan Wu	-	-
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