Stats for formula: nupog-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 nupog-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf nupog-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:	nupog-0
Rank of generator:	14 / 114
Average score:	12.46
Median score:	15.00
Best solver:	Aristotle
Description:	This generator is based of the k-Independent Set problem and produces 3-SAT problems with 40000 clauses and 3 symbols.

	Solver	Time taken	Unsat
1	Aristotle	0.13	0
2	ModifiedWalkSatBreakZero	0.28	0
3	dusty	0.31	0
4	spl	0.34	0
5	Aaron Doll	0.37	0
6	David H.	0.38	0
7	Matt Goldsmith	0.38	0
8	Mercury	0.40	0
9	bigwig	0.42	0
10	CookieMonster	0.71	0
11	Quite Satisfied	0.82	0
12	Matt Haake	1.30	0
13	haoyu	3.50	0
14	Tao	5.11	0
15	Boomshanka	6.11	0
16	Mike Honcho	6.20	0
17	Nikhilesh Sigatapu	7.73	0
18	BH	8.94	0
19	Glenn Fisher	9.59	0
20	Shaheed Chagani	10.27	0
21	HashTagAlreadyFallBreak	10.35	0
22	Mark Fillmore	11.65	0
23	Yan Wu	12.12	0
24	Green "The Bean" Choi	12.16	0
25	Solving For Clauses	12.19	0
26	NA	12.32	0
27	Janie Gu	12.58	0
28	jgs	12.65	0
29	Joshua Zimmer	12.66	0
30	Sabar Dasgupta	12.80	0
31	Jonathan Kwok	13.07	0
32	Yacob Y.	13.24	0
33	EC	13.32	0
34	Valya Barboy	13.45	0
35	Anon5	13.54	0
36	Sprt	13.68	0
37	0108	13.71	0
38	CAPS LOCK	14.26	0
39	burrito	14.33	0
40	Mike Hawk	14.43	0
41	Absurdity	14.46	0
42	Ben Chen	14.55	0
43	snowflakes	15.00	297
44	Bar Shabtai	15.00	506
45	13a	15.00	836
46	RedOrangeBlue	14.99	1086
47	T. Capote	15.00	1101
48	cat	15.00	1762
49	Andrew Grasso	15.00	1811
50	Samuel Jerome	15.00	3865
51	R. A. B.	9.01	4259
52	George Okeowo	10.50	4556
53	ebp	14.99	4891
54	Sunny	14.93	4930
55	K.L.	15.00	6598
56	Nihar the Great	15.00	11
57	Deric Cheng	15.00	129
58	Linda	15.00	177
59	Andrew Werner	15.00	1087
60	LilThug	15.00	1189
61	Ravi Tandon	15.00	1463
62	Mr. Blobby	15.00	2837
63	AFC	15.00	2980
64	Cam Porter	15.00	3132
65	An Extremely Ordinary Sloth	15.00	3330
66	Supahaka	15.00	3835
67	weezy	15.00	4209
68	Khoa	15.00	4930
69	KingBach	15.00	65
70	Walter Little	15.00	398
71	Jameh	15.00	435
72	soccer	15.00	1010
73	Ytterbium	15.00	2125
74	Blam	15.00	2830
75	DeeEmEm	15.00	3707
76	BMJ	15.00	3890
77	Andys	15.00	82
78	Aaron H	15.00	3573
79	bfang	15.00	4791
80	Charlie Shucheng Zhu	15.00	1549
81	kt4124	15.00	2903
82	Mickey Mouse	15.00	5024
83	Qinlan Shen	15.00	5027
84	Lisa Kim	15.01	7
85	The Kraken	15.01	4388
86	bchouSolver	15.02	4458
87	Joel Faron	15.02	4462
88	Tiny Wings	15.02	3482
89	Brendan Wright	15.02	4850
90	jabreezy	15.02	4425
91	dfshasdsf12	15.04	4930
92	John Whelchel	15.09	1369
93	Tree Prophet	15.40	3847
94	Elphaba	16.11	2702
95	Keji Xu	16.85	1
96	Jessie Chen	16.93	5097
97	David Lackey	17.64	5147
98	Bebe Shi	18.10	5098
99	SuperFan	18.21	4860
100	Gewang	18.54	4956
101	Happy	18.55	4924
102	Miranda	18.60	5019
103	Alex Fish	18.92	5123
104	Bob Dondero	19.09	5059
105	cmF5a3ly	22.81	5077
106	vhsiao	25.60	3942
107	Tom T	32.11	0
108	cjt	36.72	4985
109	TSATTER	37.96	5074
110	Fanny	50.40	1309
111	David Paulk	-	-
112	Dr Roberto	-	-
113	Anon_K_P	-	-
114	Jordan Ash	-	-
115	The Whitman Whale	-	-
116	Igor	-	-
117	Sally Smith	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist