Stats for formula: nupog-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 nupog-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf nupog-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:	nupog-1
Rank of generator:	14 / 114
Average score:	12.27
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.12	0
2	ModifiedWalkSatBreakZero	0.29	0
3	dusty	0.29	0
4	Aaron Doll	0.35	0
5	spl	0.37	0
6	David H.	0.39	0
7	Matt Goldsmith	0.39	0
8	Mercury	0.41	0
9	bigwig	0.47	0
10	CookieMonster	0.69	0
11	Quite Satisfied	0.85	0
12	Matt Haake	1.44	0
13	haoyu	2.98	0
14	RedOrangeBlue	2.98	0
15	Boomshanka	4.75	0
16	Tao	5.51	0
17	Mike Honcho	6.23	0
18	Nikhilesh Sigatapu	7.83	0
19	BH	8.45	0
20	Glenn Fisher	9.45	0
21	Shaheed Chagani	10.39	0
22	HashTagAlreadyFallBreak	10.84	0
23	Solving For Clauses	11.62	0
24	Mark Fillmore	11.73	0
25	Green "The Bean" Choi	11.78	0
26	Yan Wu	11.81	0
27	jgs	12.00	0
28	Joshua Zimmer	12.16	0
29	NA	12.17	0
30	0108	12.24	0
31	burrito	12.27	0
32	Sabar Dasgupta	12.33	0
33	EC	12.93	0
34	Yacob Y.	13.01	0
35	Jonathan Kwok	13.10	0
36	Sprt	13.11	0
37	Janie Gu	13.12	0
38	Anon5	13.19	0
39	Keji Xu	13.35	0
40	Valya Barboy	13.44	0
41	Mike Hawk	13.96	0
42	Absurdity	14.76	0
43	snowflakes	15.00	280
44	13a	15.00	532
45	Bar Shabtai	15.00	643
46	soccer	15.00	905
47	Andrew Werner	15.00	968
48	T. Capote	15.00	1119
49	cat	14.99	1758
50	BMJ	15.00	3814
51	Samuel Jerome	15.00	3814
52	Joel Faron	15.00	4252
53	R. A. B.	9.00	4385
54	ebp	14.99	4853
55	Sunny	14.94	4920
56	Nihar the Great	15.00	23
57	Ben Chen	15.00	23
58	KingBach	15.00	31
59	Linda	15.00	92
60	Walter Little	15.00	468
61	Andrew Grasso	15.00	1805
62	AFC	15.00	3139
63	George Okeowo	15.00	3810
64	Supahaka	15.00	3819
65	weezy	15.00	4180
66	Andys	15.00	21
67	Lisa Kim	15.00	25
68	Jameh	15.00	369
69	Blam	15.00	2992
70	bfang	15.00	4767
71	Khoa	15.00	4920
72	Mickey Mouse	15.00	4933
73	CAPS LOCK	15.00	1
74	Deric Cheng	15.00	55
75	kt4124	15.00	2217
76	An Extremely Ordinary Sloth	15.00	3250
77	Aaron H	15.00	3538
78	K.L.	15.00	6697
79	LilThug	15.01	1212
80	Ravi Tandon	15.01	1453
81	Mr. Blobby	15.01	3106
82	Cam Porter	15.01	2860
83	Brendan Wright	15.01	4792
84	Charlie Shucheng Zhu	15.01	2874
85	Ytterbium	15.01	2073
86	bchouSolver	15.01	4373
87	DeeEmEm	15.01	3714
88	The Kraken	15.02	4427
89	jabreezy	15.03	4354
90	Tiny Wings	15.03	4046
91	John Whelchel	15.05	1290
92	dfshasdsf12	15.10	4920
93	Qinlan Shen	15.28	4909
94	Tree Prophet	15.34	3718
95	Elphaba	16.17	2619
96	Jessie Chen	17.28	5073
97	David Lackey	17.62	4984
98	Alex Fish	17.73	5022
99	Happy	18.33	4915
100	SuperFan	18.34	4874
101	Gewang	18.43	4927
102	Miranda	18.63	4952
103	TSATTER	18.78	5008
104	Bebe Shi	18.78	4939
105	Bob Dondero	19.83	5066
106	cmF5a3ly	23.22	5088
107	vhsiao	26.30	3930
108	Tom T	30.93	1
109	cjt	35.59	5046
110	Fanny	44.77	1257
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