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

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

SatSolvers Ranklist

Generators Ranklist