Stats for formula: Matt Goldsmith-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 Matt Goldsmith-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Matt Goldsmith-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:	Matt Goldsmith-0
Rank of generator:	9 / 114
Average score:	13.31
Median score:	15.04
Best solver:	Nihar the Great
Description:	My generator simulates a long table of 80 people, many of whom are involved in confusing, polygamous love n-gons and therefore have some people they demand to sit next to. However, many others have dark, complicated histories with each other so they demand to sit apart from each other. My algorithm generates sets of these needy, melodramatic guests and their pseudo-randomized demands.

	Solver	Time taken	Unsat
1	Nihar the Great	0.03	0
2	Happy	0.04	0
3	Bar Shabtai	0.04	0
4	Igor	0.05	0
5	Jonathan Kwok	0.08	0
6	ebp	0.10	0
7	13a	0.12	0
8	Andrew Grasso	0.14	0
9	Sunny	0.20	0
10	George Okeowo	2.97	0
11	Matt Goldsmith	9.17	0
12	Aristotle	15.00	4789
13	CAPS LOCK	13.04	499217
14	R. A. B.	9.14	511762
15	Ravi Tandon	15.00	504161
16	bchouSolver	15.00	104
17	Quite Satisfied	15.00	468147
18	Solving For Clauses	15.01	512016
19	ModifiedWalkSatBreakZero	15.01	504548
20	HashTagAlreadyFallBreak	15.01	498956
21	dusty	15.01	459267
22	Joshua Zimmer	15.01	513501
23	spl	15.01	463239
24	Tree Prophet	15.01	0
25	Walter Little	15.01	506225
26	CookieMonster	15.02	472406
27	Aaron Doll	15.02	162237
28	Matt Haake	15.02	470053
29	Supahaka	15.02	513287
30	jgs	15.02	510335
31	Jameh	15.02	511656
32	KingBach	15.02	506221
33	Lisa Kim	15.03	513770
34	Linda	15.03	516950
35	cat	15.03	3160
36	Tao	15.03	497335
37	Ben Chen	15.03	510366
38	T. Capote	15.03	518660
39	Yacob Y.	15.03	508363
40	Sabar Dasgupta	15.03	507931
41	NA	15.03	514285
42	Qinlan Shen	15.03	516849
43	Charlie Shucheng Zhu	15.04	514284
44	weezy	15.04	505909
45	Blam	15.04	509457
46	Cam Porter	15.04	527058
47	Keji Xu	15.05	503178
48	0108	15.05	506672
49	Deric Cheng	15.05	514901
50	burrito	15.05	507449
51	Joel Faron	15.06	0
52	Mike Hawk	15.06	501785
53	Glenn Fisher	15.06	504173
54	bfang	15.06	505335
55	Mike Honcho	15.06	0
56	Mickey Mouse	15.06	524272
57	soccer	15.07	500529
58	Anon_K_P	15.07	529264
59	Anon5	15.07	511395
60	bigwig	15.07	367756
61	BMJ	15.08	518243
62	An Extremely Ordinary Sloth	15.08	507761
63	kt4124	15.09	508356
64	Elphaba	15.09	0
65	AFC	15.09	0
66	BH	15.09	511382
67	Khoa	15.10	0
68	K.L.	15.10	532415
69	Absurdity	15.10	507641
70	RedOrangeBlue	15.11	256486
71	Ytterbium	15.12	515473
72	Valya Barboy	15.12	508036
73	Andrew Werner	15.12	512999
74	Janie Gu	15.12	504820
75	EC	15.15	511784
76	Aaron H	15.16	509759
77	haoyu	15.18	290
78	LilThug	15.18	510875
79	David H.	15.19	516863
80	snowflakes	15.21	510523
81	Andys	15.21	510713
82	Mr. Blobby	15.22	511516
83	Samuel Jerome	15.24	510714
84	DeeEmEm	15.51	0
85	The Kraken	15.55	250010
86	Boomshanka	17.17	520478
87	Tiny Wings	17.61	513189
88	Green "The Bean" Choi	18.19	0
89	John Whelchel	24.93	3521
90	jabreezy	52.48	0
91	Brendan Wright	-	-
92	David Paulk	-	-
93	Yan Wu	-	-
94	Alex Fish	-	-
95	TSATTER	-	-
96	Bebe Shi	-	-
97	Shaheed Chagani	-	-
98	Dr Roberto	-	-
99	dfshasdsf12	-	-
100	Fanny	-	-
101	Tom T	-	-
102	David Lackey	-	-
103	vhsiao	-	-
104	SuperFan	-	-
105	Jessie Chen	-	-
106	Mercury	-	-
107	Miranda	-	-
108	Jordan Ash	-	-
109	Gewang	-	-
110	The Whitman Whale	-	-
111	Sally Smith	-	-
112	Mark Fillmore	-	-
113	cjt	-	-
114	Bob Dondero	-	-
115	cmF5a3ly	-	-
116	Nikhilesh Sigatapu	-	-
117	Sprt	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist