Stats for formula: Matt Goldsmith-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 Matt Goldsmith-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Matt Goldsmith-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:	Matt Goldsmith-1
Rank of generator:	9 / 114
Average score:	13.44
Median score:	15.04
Best solver:	Happy
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	Happy	0.03	0
2	Igor	0.04	0
3	Bar Shabtai	0.05	0
4	Nihar the Great	0.06	0
5	Jonathan Kwok	0.09	0
6	ebp	0.10	0
7	Andrew Grasso	0.12	0
8	13a	0.12	0
9	George Okeowo	3.73	0
10	Matt Goldsmith	10.34	0
11	Elphaba	11.90	0
12	Aristotle	12.21	0
13	Sunny	13.86	0
14	cat	15.00	2564
15	CAPS LOCK	13.03	494776
16	jgs	14.98	508156
17	T. Capote	15.00	511584
18	R. A. B.	9.17	513780
19	HashTagAlreadyFallBreak	15.00	499890
20	Mike Hawk	15.00	501953
21	Lisa Kim	15.00	521590
22	Jameh	15.00	508818
23	Valya Barboy	15.01	506630
24	Deric Cheng	15.01	510489
25	Solving For Clauses	15.01	516910
26	spl	15.01	455548
27	Quite Satisfied	15.01	469643
28	Matt Haake	15.01	469642
29	Aaron Doll	15.01	160477
30	Tao	15.01	495078
31	bigwig	15.01	320331
32	dusty	15.01	432791
33	Keji Xu	15.01	491615
34	Ravi Tandon	15.01	498132
35	weezy	15.01	515765
36	CookieMonster	15.02	482289
37	kt4124	15.03	513041
38	An Extremely Ordinary Sloth	15.03	518604
39	Mike Honcho	15.03	0
40	BMJ	15.03	509425
41	Yacob Y.	15.03	505490
42	Joshua Zimmer	15.04	506113
43	0108	15.04	512359
44	burrito	15.04	513266
45	Linda	15.04	499858
46	bchouSolver	15.04	23
47	Janie Gu	15.05	503985
48	EC	15.05	515183
49	NA	15.05	511592
50	BH	15.06	516565
51	Tree Prophet	15.06	0
52	Cam Porter	15.06	519312
53	Blam	15.06	510797
54	Khoa	15.07	0
55	Aaron H	15.07	502886
56	ModifiedWalkSatBreakZero	15.08	516296
57	Supahaka	15.09	516327
58	AFC	15.09	0
59	David H.	15.09	512792
60	K.L.	15.10	523374
61	Mr. Blobby	15.11	514653
62	Brendan Wright	15.11	0
63	Andys	15.11	510544
64	Anon_K_P	15.11	522367
65	RedOrangeBlue	15.12	257086
66	Ben Chen	15.12	507797
67	Anon5	15.12	505518
68	Andrew Werner	15.13	519220
69	Mickey Mouse	15.13	520819
70	LilThug	15.13	506883
71	Qinlan Shen	15.13	513439
72	Sabar Dasgupta	15.14	509495
73	Glenn Fisher	15.14	507884
74	snowflakes	15.16	504718
75	Joel Faron	15.17	0
76	bfang	15.17	504299
77	KingBach	15.18	513390
78	Absurdity	15.18	511559
79	haoyu	15.19	3101
80	soccer	15.19	508493
81	The Kraken	15.23	253861
82	Walter Little	15.24	511203
83	Charlie Shucheng Zhu	15.26	522792
84	Samuel Jerome	15.34	508633
85	Ytterbium	15.37	518798
86	Boomshanka	15.80	512512
87	DeeEmEm	15.82	0
88	Green "The Bean" Choi	16.72	0
89	Tiny Wings	17.62	515251
90	John Whelchel	28.28	3942
91	jabreezy	57.54	0
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