Stats for formula: Andrew Werner-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 Andrew Werner-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Andrew Werner-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:	Andrew Werner-1
Rank of generator:	16 / 114
Average score:	12.01
Median score:	15.00
Best solver:	haoyu
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	haoyu	0.11	0
2	Aaron Doll	0.22	0
3	Matt Goldsmith	0.37	0
4	dusty	0.42	0
5	Mercury	0.45	0
6	spl	0.47	0
7	Aristotle	0.59	0
8	CookieMonster	0.98	0
9	ModifiedWalkSatBreakZero	1.07	0
10	Bar Shabtai	1.24	0
11	Matt Haake	1.27	0
12	Quite Satisfied	1.31	0
13	Jonathan Kwok	2.10	0
14	Green "The Bean" Choi	2.41	0
15	CAPS LOCK	4.68	0
16	KingBach	4.96	0
17	David H.	4.98	0
18	Mark Fillmore	5.22	0
19	dfshasdsf12	5.24	0
20	Tao	5.47	0
21	Andys	5.77	0
22	Shaheed Chagani	5.92	0
23	BH	7.70	0
24	Yan Wu	7.73	0
25	John Whelchel	7.79	0
26	Fanny	7.97	0
27	Ben Chen	8.55	0
28	Solving For Clauses	8.60	0
29	Joshua Zimmer	8.94	0
30	Tree Prophet	11.13	0
31	Deric Cheng	11.54	0
32	EC	12.34	0
33	Sprt	13.23	0
34	Janie Gu	13.26	0
35	0108	13.64	0
36	jgs	14.79	0
37	13a	15.00	11
38	HashTagAlreadyFallBreak	15.00	16
39	bigwig	15.00	30
40	Nikhilesh Sigatapu	15.00	30
41	RedOrangeBlue	15.00	47
42	cat	14.99	48
43	ebp	14.99	48
44	George Okeowo	11.02	50
45	Elphaba	0.50	55
46	Dr Roberto	15.00	1332
47	R. A. B.	9.00	5098
48	K.L.	15.00	119764
49	snowflakes	15.00	1
50	Valya Barboy	15.00	1
51	Jameh	15.00	1
52	Nihar the Great	15.00	2
53	NA	15.00	3
54	Mike Honcho	15.00	4
55	bchouSolver	15.00	31
56	AFC	15.00	40
57	Happy	15.00	49
58	Sat Solver 2013	15.00	1727
59	weezy	15.00	5943
60	Cam Porter	15.00	19935
61	BMJ	15.00	27597
62	Mickey Mouse	15.00	28834
63	Linda	15.00	5
64	Ravi Tandon	15.00	32
65	Samuel Jerome	15.00	10088
66	Boomshanka	15.00	17301
67	Supahaka	15.00	22425
68	Walter Little	15.00	8
69	soccer	15.00	12
70	Aaron H	15.00	78
71	An Extremely Ordinary Sloth	15.00	806
72	Andrew Werner	15.00	2
73	T. Capote	15.00	11
74	Brendan Wright	15.00	48
75	bfang	15.00	28628
76	Ytterbium	15.01	8
77	Tiny Wings	15.01	19319
78	Lisa Kim	15.01	2
79	Andrew Grasso	15.01	1
80	Joel Faron	15.01	34
81	Anon_K_P	15.01	26424
82	kt4124	15.01	3
83	Mr. Blobby	15.02	9
84	Absurdity	15.02	5
85	Glenn Fisher	15.03	8
86	DeeEmEm	15.04	41
87	Khoa	15.04	50
88	Blam	15.04	6
89	Yacob Y.	15.04	4
90	Sabar Dasgupta	15.05	1
91	burrito	15.05	6
92	Anon5	15.06	1
93	LilThug	15.07	9
94	Mike Hawk	15.10	1
95	The Kraken	15.13	25
96	Jessie Chen	15.14	29232
97	jabreezy	15.14	49
98	vhsiao	15.17	2
99	Charlie Shucheng Zhu	15.20	25
100	Keji Xu	15.59	23
101	Sunny	15.84	45
102	cmF5a3ly	16.42	30666
103	Bebe Shi	16.84	29274
104	Bob Dondero	17.18	28563
105	Gewang	17.23	30270
106	Alex Fish	17.30	29428
107	David Paulk	17.93	0
108	SuperFan	18.05	27204
109	David Lackey	18.26	29539
110	TSATTER	19.08	30702
111	cjt	22.50	31049
112	Qinlan Shen	28.15	29499
113	Tom T	79.78	1
114	Miranda	-	-
115	Jordan Ash	-	-
116	The Whitman Whale	-	-
117	Igor	-	-
118	Sally Smith	-	-

SatSolvers Ranklist

Generators Ranklist