Stats for formula: 13a-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 13a-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf 13a-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:	13a-0
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	Aristotle	15.00	37
2	CookieMonster	15.00	43
3	spl	15.00	43
4	vhsiao	14.98	70
5	Matt Goldsmith	15.00	82
6	Elphaba	0.61	150
7	ebp	14.99	151
8	cat	15.00	272
9	CAPS LOCK	13.00	2205
10	HashTagAlreadyFallBreak	15.00	6838
11	ModifiedWalkSatBreakZero	15.00	7666
12	jgs	14.98	49986
13	Andrew Werner	15.00	68922
14	R. A. B.	9.01	110881
15	dusty	15.00	46
16	Matt Haake	15.00	61
17	Quite Satisfied	15.00	99
18	AFC	15.00	146
19	Keji Xu	15.00	29651
20	Valya Barboy	15.00	51035
21	Supahaka	15.00	105334
22	Aaron Doll	15.00	21
23	13a	15.00	127
24	George Okeowo	15.00	150
25	Khoa	15.00	150
26	Jameh	15.00	26067
27	Lisa Kim	15.00	36886
28	T. Capote	15.00	68474
29	Janie Gu	15.00	74482
30	Andrew Grasso	15.00	143
31	bigwig	15.00	196
32	Tao	15.00	21247
33	Yacob Y.	15.00	35725
34	Nihar the Great	15.00	69
35	Glenn Fisher	15.00	13171
36	Bar Shabtai	15.01	52
37	Solving For Clauses	15.01	9790
38	0108	15.01	26605
39	Mr. Blobby	15.01	96867
40	weezy	15.01	112901
41	Mark Fillmore	15.01	107
42	Joshua Zimmer	15.01	29594
43	Sabar Dasgupta	15.01	69513
44	Mickey Mouse	15.01	114666
45	burrito	15.01	31423
46	EC	15.01	51288
47	Anon5	15.01	51508
48	Deric Cheng	15.01	51791
49	Mike Hawk	15.01	45591
50	kt4124	15.01	74099
51	Andys	15.01	76170
52	BMJ	15.01	107732
53	Ravi Tandon	15.01	45000
54	LilThug	15.01	92108
55	Cam Porter	15.01	112393
56	BH	15.01	86581
57	bchouSolver	15.01	147
58	Samuel Jerome	15.01	109306
59	Green "The Bean" Choi	15.01	150
60	Sprt	15.01	61205
61	KingBach	15.01	65934
62	Linda	15.01	65416
63	Blam	15.02	91942
64	Anon_K_P	15.02	124580
65	David H.	15.02	110422
66	Mercury	15.02	91
67	Happy	15.02	151
68	Ytterbium	15.02	79876
69	Joel Faron	15.02	148
70	Ben Chen	15.02	54849
71	K.L.	15.02	189188
72	bfang	15.02	119576
73	Aaron H	15.03	110215
74	snowflakes	15.03	85811
75	NA	15.03	81291
76	Absurdity	15.03	78523
77	RedOrangeBlue	15.03	8468
78	Walter Little	15.04	89033
79	An Extremely Ordinary Sloth	15.05	111544
80	Mike Honcho	15.06	150
81	soccer	15.07	86973
82	Tree Prophet	15.07	148
83	Charlie Shucheng Zhu	15.07	97152
84	Jonathan Kwok	15.09	108
85	haoyu	15.13	138
86	DeeEmEm	15.16	141
87	Brendan Wright	15.20	151
88	Tiny Wings	15.25	123042
89	Boomshanka	15.40	121600
90	John Whelchel	15.50	131
91	The Kraken	15.53	467
92	jabreezy	16.26	150
93	Sunny	19.73	143
94	Jessie Chen	34.14	124382
95	dfshasdsf12	37.61	150
96	Shaheed Chagani	37.61	575
97	Alex Fish	37.67	121574
98	Bob Dondero	40.55	121688
99	SuperFan	42.33	118027
100	Bebe Shi	43.55	123329
101	David Lackey	44.90	127739
102	cmF5a3ly	45.36	120723
103	Gewang	48.69	126171
104	cjt	73.50	121668
105	Fanny	74.73	156
106	TSATTER	82.98	123995
107	David Paulk	-	-
108	Qinlan Shen	-	-
109	Yan Wu	-	-
110	Dr Roberto	-	-
111	Tom T	-	-
112	Miranda	-	-
113	Jordan Ash	-	-
114	The Whitman Whale	-	-
115	Igor	-	-
116	Sally Smith	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist