Stats for formula: AFC-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 AFC-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf AFC-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:	AFC-1
Rank of generator:	7 / 114
Average score:	13.46
Median score:	15.00
Best solver:	Aristotle
Description:	Generates CNF formulas for the dinner party planning problem.

	Solver	Time taken	Unsat
1	Aristotle	0.16	0
2	CookieMonster	0.18	0
3	Dr Roberto	0.30	0
4	Tao	0.42	0
5	Shaheed Chagani	0.48	0
6	spl	1.08	0
7	Aaron Doll	1.20	0
8	dfshasdsf12	2.31	0
9	Mike Hawk	3.82	0
10	vhsiao	4.65	0
11	AFC	5.14	0
12	Matt Haake	5.18	0
13	dusty	6.05	0
14	Andrew Werner	11.59	0
15	Mike Honcho	11.72	0
16	David H.	12.75	0
17	ModifiedWalkSatBreakZero	14.96	0
18	DeeEmEm	15.00	1
19	jgs	14.98	1
20	Samuel Jerome	15.00	1
21	Andrew Grasso	15.00	2
22	13a	15.00	2
23	NA	14.99	3
24	haoyu	15.00	3
25	Joel Faron	15.00	4
26	John Whelchel	15.00	4
27	Brendan Wright	15.00	5
28	Matt Goldsmith	15.00	6
29	Bar Shabtai	15.00	9
30	CAPS LOCK	13.00	12
31	R. A. B.	9.00	15
32	ebp	14.99	16
33	HashTagAlreadyFallBreak	15.00	16
34	soccer	15.00	17
35	Nikhilesh Sigatapu	15.00	20
36	bchouSolver	15.00	22
37	Boomshanka	0.44	24
38	The Whitman Whale	15.00	27
39	T. Capote	15.00	30
40	Green "The Bean" Choi	15.00	30
41	Elphaba	0.04	42
42	RedOrangeBlue	14.99	44
43	George Okeowo	0.40	44
44	Sunny	14.92	44
45	bigwig	15.00	59
46	Cam Porter	15.00	2503
47	BMJ	15.00	2762
48	K.L.	15.00	16711
49	BH	15.00	1
50	Joshua Zimmer	15.00	1
51	Deric Cheng	15.00	1
52	Anon5	15.00	1
53	Absurdity	15.00	2
54	Fanny	15.00	2
55	KingBach	15.00	3
56	Aaron H	15.00	3
57	An Extremely Ordinary Sloth	15.00	3
58	Ytterbium	15.00	3
59	Sprt	15.00	3
60	Nihar the Great	15.00	4
61	LilThug	15.00	4
62	Alex Fish	15.00	5
63	Walter Little	15.00	7
64	Yacob Y.	15.00	7
65	Glenn Fisher	15.00	8
66	Jameh	15.00	9
67	Janie Gu	15.00	10
68	Mark Fillmore	15.00	11
69	EC	15.00	11
70	Solving For Clauses	15.00	13
71	Quite Satisfied	15.00	17
72	Ravi Tandon	15.00	20
73	Sally Smith	15.00	21
74	weezy	15.00	24
75	Blam	15.00	29
76	Linda	15.00	29
77	Supahaka	15.00	2994
78	Mickey Mouse	15.00	4029
79	Andys	15.00	1
80	Valya Barboy	15.00	1
81	Sabar Dasgupta	15.00	1
82	Ben Chen	15.00	1
83	bfang	15.00	3
84	Bebe Shi	15.00	8
85	Lisa Kim	15.00	10
86	snowflakes	15.00	11
87	0108	15.00	11
88	Happy	15.00	35
89	The Kraken	15.00	42
90	Khoa	15.00	44
91	Tiny Wings	15.00	108
92	Mr. Blobby	15.00	1
93	Jonathan Kwok	15.00	2
94	Charlie Shucheng Zhu	15.00	4
95	Tree Prophet	15.00	5
96	kt4124	15.00	18
97	burrito	15.00	19
98	Keji Xu	15.00	19
99	Sat Solver 2013	15.00	328
100	cmF5a3ly	15.00	4588
101	Anon_K_P	15.00	20
102	Mercury	15.01	9
103	Bob Dondero	15.01	3200
104	David Lackey	15.03	12
105	Jessie Chen	15.04	97
106	SuperFan	15.08	3392
107	Gewang	15.08	1375
108	TSATTER	15.12	4757
109	Qinlan Shen	15.29	3867
110	cjt	22.50	31
111	Jordan Ash	25.74	44
112	Tom T	33.07	6
113	David Paulk	-	-
114	Yan Wu	-	-
115	cat	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist