Stats for formula: Supahaka-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 Supahaka-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Supahaka-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:	Supahaka-0
Rank of generator:	* / 114
Average score:	15.00
Median score:	15.00
Best solver:	Andrew Werner
Description:	You have n each of boots, pants, shirts, ties, jackets, and hats. You are a secret agent going to the traffic-light nation, and you need n traffic-light outfits (has red, yellow, and green clothes) to disguise as a traffic light every day. An outfit must have Boots, Pants, Shirt and exactly two of Tie, Jacket, Hat.

	Solver	Time taken	Unsat
1	Andrew Werner	15.00	35
2	13a	15.00	35
3	Aristotle	15.00	35
4	Joel Faron	15.00	36
5	NA	14.99	36
6	spl	15.00	36
7	Mercury	15.00	36
8	Andrew Grasso	15.00	37
9	Tao	15.00	37
10	jgs	14.98	38
11	R. A. B.	9.00	43
12	Janie Gu	15.00	46
13	Matt Goldsmith	15.00	46
14	T. Capote	15.00	48
15	CookieMonster	15.00	48
16	HashTagAlreadyFallBreak	15.00	48
17	soccer	15.00	51
18	vhsiao	14.98	52
19	ModifiedWalkSatBreakZero	15.00	52
20	John Whelchel	15.00	53
21	Samuel Jerome	15.00	53
22	snowflakes	15.00	55
23	bigwig	15.00	58
24	Glenn Fisher	15.00	64
25	Boomshanka	15.00	65
26	RedOrangeBlue	14.99	122
27	cat	14.99	129
28	Cam Porter	15.00	138
29	bfang	15.00	173
30	The Kraken	15.00	180
31	Supahaka	0.25	185
32	George Okeowo	0.07	195
33	Anon_K_P	0.19	205
34	BMJ	15.00	205
35	K.L.	15.00	260
36	haoyu	0.00	314
37	DeeEmEm	0.04	315
38	Sunny	14.96	315
39	The Whitman Whale	0.22	315
40	AFC	0.03	315
41	Brendan Wright	0.07	316
42	Tree Prophet	0.01	316
43	Green "The Bean" Choi	0.02	316
44	Nikhilesh Sigatapu	0.02	316
45	Dr Roberto	0.04	350
46	jabreezy	0.01	350
47	Elphaba	0.00	350
48	bchouSolver	0.03	350
49	Aaron H	15.00	35
50	An Extremely Ordinary Sloth	15.00	35
51	Nihar the Great	15.00	35
52	CAPS LOCK	15.00	35
53	dusty	15.00	36
54	Tiny Wings	15.00	36
55	Mike Honcho	15.00	37
56	Andys	15.00	37
57	Valya Barboy	15.00	37
58	Mr. Blobby	15.00	37
59	Sabar Dasgupta	15.00	37
60	BH	15.00	37
61	Solving For Clauses	15.00	37
62	Matt Haake	15.00	37
63	Mike Hawk	15.00	37
64	Joshua Zimmer	15.00	37
65	Deric Cheng	15.00	37
66	Anon5	15.00	37
67	Ytterbium	15.00	38
68	Jameh	15.00	38
69	Shaheed Chagani	15.00	40
70	Sprt	15.00	40
71	dfshasdsf12	15.00	41
72	Lisa Kim	15.00	42
73	Mark Fillmore	15.00	44
74	burrito	15.00	46
75	Absurdity	15.00	47
76	Walter Little	15.00	47
77	LilThug	15.00	47
78	Keji Xu	15.00	49
79	Aaron Doll	15.00	50
80	Blam	15.00	50
81	weezy	15.00	51
82	0108	15.00	51
83	Linda	15.00	51
84	Quite Satisfied	15.00	51
85	kt4124	15.00	54
86	Yacob Y.	15.00	54
87	EC	15.00	58
88	Ravi Tandon	15.00	92
89	Sat Solver 2013	15.00	163
90	David H.	15.00	193
91	Mickey Mouse	15.00	209
92	Khoa	15.00	315
93	Sally Smith	15.00	52
94	Alex Fish	15.00	35
95	Bob Dondero	15.00	153
96	Gewang	15.00	35
97	Jessie Chen	15.01	55
98	SuperFan	15.01	113
99	Happy	15.01	206
100	Miranda	15.01	55
101	David Lackey	15.01	35
102	Bebe Shi	15.01	48
103	cmF5a3ly	15.01	52
104	TSATTER	15.02	190
105	Qinlan Shen	15.11	194
106	Jordan Ash	15.75	211
107	Tom T	16.75	40
108	cjt	22.50	50
109	Charlie Shucheng Zhu	22.50	41
110	Yan Wu	25.75	46
111	David Paulk	-	-
112	KingBach	-	-
113	Fanny	-	-
114	Jonathan Kwok	-	-
115	Bar Shabtai	-	-
116	ebp	-	-
117	Igor	-	-
118	Ben Chen	-	-

SatSolvers Ranklist

Generators Ranklist