Stats for formula: bigwig-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 bigwig-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf bigwig-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:	bigwig-1
Rank of generator:	97 / 114
Average score:	0.52
Median score:	0.00
Best solver:	KingBach
Description:	fill this in later i guezzz plz dun 4get

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

SatSolvers Ranklist

Generators Ranklist