Stats for formula: Supahaka-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 Supahaka-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Supahaka-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:	Supahaka-1
Rank of generator:	* / 114
Average score:	15.00
Median score:	15.00
Best solver:	Joel Faron
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	Joel Faron	15.00	35
2	Andrew Werner	15.00	35
3	13a	15.00	35
4	Tao	15.00	35
5	spl	15.00	36
6	NA	14.99	37
7	jgs	14.98	37
8	Andrew Grasso	15.00	37
9	Aristotle	15.00	40
10	R. A. B.	9.00	44
11	John Whelchel	15.00	45
12	ModifiedWalkSatBreakZero	15.00	46
13	snowflakes	15.00	47
14	vhsiao	14.98	47
15	Samuel Jerome	15.00	47
16	Matt Goldsmith	15.00	48
17	soccer	15.00	49
18	CookieMonster	15.00	51
19	T. Capote	15.00	52
20	HashTagAlreadyFallBreak	15.00	52
21	Glenn Fisher	15.00	55
22	Janie Gu	15.00	56
23	bigwig	15.00	60
24	Boomshanka	15.00	68
25	RedOrangeBlue	14.99	115
26	cat	14.99	141
27	Cam Porter	15.00	150
28	bfang	15.00	172
29	George Okeowo	0.08	189
30	Supahaka	0.25	189
31	The Kraken	15.00	202
32	BMJ	15.00	213
33	Anon_K_P	0.20	240
34	K.L.	15.00	261
35	haoyu	0.00	314
36	DeeEmEm	0.04	315
37	Sunny	14.96	315
38	The Whitman Whale	0.20	315
39	AFC	0.03	315
40	Brendan Wright	0.07	316
41	Tree Prophet	0.01	316
42	Green "The Bean" Choi	0.02	316
43	Nikhilesh Sigatapu	0.02	316
44	bchouSolver	0.03	349
45	Dr Roberto	0.04	350
46	jabreezy	0.01	350
47	Elphaba	0.00	350
48	Aaron H	15.00	35
49	An Extremely Ordinary Sloth	15.00	35
50	Nihar the Great	15.00	35
51	CAPS LOCK	15.00	35
52	Andys	15.00	36
53	dusty	15.00	36
54	Matt Haake	15.00	36
55	Mike Hawk	15.00	36
56	Joshua Zimmer	15.00	36
57	Mercury	15.00	36
58	Anon5	15.00	36
59	Shaheed Chagani	15.00	37
60	Mike Honcho	15.00	37
61	Valya Barboy	15.00	37
62	Jameh	15.00	37
63	Sabar Dasgupta	15.00	37
64	BH	15.00	37
65	Solving For Clauses	15.00	37
66	Deric Cheng	15.00	37
67	Ytterbium	15.00	38
68	Mr. Blobby	15.00	38
69	Sprt	15.00	38
70	dfshasdsf12	15.00	41
71	Mark Fillmore	15.00	42
72	0108	15.00	44
73	Bebe Shi	15.00	46
74	Lisa Kim	15.00	46
75	Tiny Wings	15.00	46
76	Quite Satisfied	15.00	47
77	Aaron Doll	15.00	48
78	Absurdity	15.00	48
79	weezy	15.00	49
80	Sally Smith	15.00	49
81	burrito	15.00	50
82	Blam	15.00	50
83	Yacob Y.	15.00	50
84	Walter Little	15.00	52
85	kt4124	15.00	52
86	LilThug	15.00	53
87	Linda	15.00	56
88	Keji Xu	15.00	57
89	EC	15.00	59
90	Ravi Tandon	15.00	85
91	Happy	15.00	206
92	Mickey Mouse	15.00	219
93	David H.	15.00	221
94	TSATTER	15.00	229
95	Khoa	15.00	315
96	Alex Fish	15.00	37
97	SuperFan	15.00	120
98	Gewang	15.00	35
99	Miranda	15.00	52
100	cmF5a3ly	15.01	187
101	Bob Dondero	15.01	130
102	David Lackey	15.01	35
103	Jessie Chen	15.01	54
104	Sat Solver 2013	15.02	153
105	Qinlan Shen	15.02	191
106	Tom T	16.12	39
107	Jordan Ash	16.17	204
108	cjt	22.50	52
109	Charlie Shucheng Zhu	22.50	43
110	Yan Wu	22.86	41
111	David Paulk	-	-
112	KingBach	-	-
113	Fanny	-	-
114	Jonathan Kwok	-	-
115	Bar Shabtai	-	-
116	ebp	-	-
117	Igor	-	-
118	Ben Chen	-	-

SatSolvers Ranklist

Generators Ranklist