Stats for formula: Andrew Werner-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 Andrew Werner-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Andrew Werner-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:	Andrew Werner-0
Rank of generator:	16 / 114
Average score:	12.16
Median score:	15.00
Best solver:	Aaron Doll
Description:	The generator makes CNFs that are reductions from the problem of placing people at seats in a dinner party. There are 50 guests and 50 seats and each guest has a 20% chance of having a preference to sit next to another guest. The problem is always satisfiable because these preferences are taken from a true possible arrangement.

	Solver	Time taken	Unsat
1	Aaron Doll	0.33	0
2	dusty	0.39	0
3	Mercury	0.41	0
4	spl	0.50	0
5	Matt Goldsmith	0.53	0
6	Aristotle	0.72	0
7	CookieMonster	0.87	0
8	Mark Fillmore	1.10	0
9	ModifiedWalkSatBreakZero	1.14	0
10	Quite Satisfied	1.19	0
11	Matt Haake	1.31	0
12	Bar Shabtai	1.51	0
13	Green "The Bean" Choi	2.41	0
14	Jonathan Kwok	4.03	0
15	Shaheed Chagani	4.30	0
16	soccer	5.16	0
17	David H.	5.38	0
18	Glenn Fisher	5.53	0
19	Joshua Zimmer	6.12	0
20	Jameh	6.50	0
21	EC	6.85	0
22	Tao	8.05	0
23	dfshasdsf12	8.51	0
24	Linda	8.73	0
25	Deric Cheng	8.86	0
26	Andys	9.91	0
27	jgs	10.22	0
28	John Whelchel	10.36	0
29	NA	10.96	0
30	Ben Chen	11.21	0
31	Fanny	11.23	0
32	Valya Barboy	11.41	0
33	BH	13.51	0
34	Mike Hawk	13.66	0
35	KingBach	13.81	0
36	Janie Gu	14.70	0
37	CAPS LOCK	13.01	2
38	snowflakes	15.00	4
39	T. Capote	15.00	5
40	HashTagAlreadyFallBreak	15.00	6
41	13a	15.00	8
42	bigwig	15.00	20
43	ebp	14.99	48
44	RedOrangeBlue	14.99	49
45	George Okeowo	12.39	50
46	Elphaba	0.54	303
47	Dr Roberto	15.00	1260
48	Boomshanka	15.00	1272
49	cat	15.00	3964
50	R. A. B.	9.00	6432
51	Cam Porter	15.00	22105
52	bfang	15.00	27661
53	burrito	15.00	4
54	bchouSolver	15.00	28
55	Ravi Tandon	15.00	33
56	AFC	15.00	43
57	Happy	15.00	49
58	Samuel Jerome	15.00	8361
59	Anon5	15.00	1
60	Mr. Blobby	15.00	3
61	weezy	15.00	6282
62	Supahaka	15.00	20966
63	Khoa	15.00	50
64	BMJ	15.00	26334
65	Mickey Mouse	15.00	29084
66	K.L.	15.00	118290
67	Joel Faron	15.00	42
68	An Extremely Ordinary Sloth	15.00	811
69	Sat Solver 2013	15.01	1674
70	Solving For Clauses	15.01	1
71	Anon_K_P	15.01	28293
72	Gewang	15.01	30345
73	Nihar the Great	15.01	1
74	Aaron H	15.01	439
75	vhsiao	15.01	2
76	Mike Honcho	15.01	50
77	Ytterbium	15.02	3
78	Andrew Grasso	15.03	1
79	Tiny Wings	15.03	22390
80	jabreezy	15.03	49
81	Absurdity	15.04	4
82	haoyu	15.04	39
83	DeeEmEm	15.04	31
84	Andrew Werner	15.05	2
85	LilThug	15.05	4
86	Blam	15.05	35
87	Lisa Kim	15.05	4
88	kt4124	15.06	10
89	Brendan Wright	15.07	48
90	0108	15.08	4
91	Walter Little	15.08	4
92	Tree Prophet	15.09	40
93	Sprt	15.10	2
94	The Kraken	15.10	29
95	Keji Xu	15.10	23
96	Yacob Y.	15.12	8
97	Sabar Dasgupta	15.12	2
98	Charlie Shucheng Zhu	15.20	268
99	Bob Dondero	15.21	30729
100	Bebe Shi	15.74	31077
101	Sunny	15.92	44
102	SuperFan	16.73	29435
103	David Lackey	16.95	27925
104	Alex Fish	17.30	28901
105	Jessie Chen	17.76	28006
106	David Paulk	18.01	0
107	cmF5a3ly	19.68	32753
108	TSATTER	21.62	30139
109	cjt	22.50	29377
110	Qinlan Shen	36.34	31329
111	Yan Wu	44.14	0
112	Tom T	60.82	1
113	Miranda	-	-
114	Jordan Ash	-	-
115	The Whitman Whale	-	-
116	Igor	-	-
117	Sally Smith	-	-
118	Nikhilesh Sigatapu	-	-

SatSolvers Ranklist

Generators Ranklist