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

	Solver	Time taken	Unsat
1	CookieMonster	0.34	0
2	Aristotle	0.46	0
3	Shaheed Chagani	0.74	0
4	AFC	1.05	0
5	Tree Prophet	2.91	0
6	Aaron Doll	4.04	0
7	The Whitman Whale	4.06	0
8	Nikhilesh Sigatapu	4.36	0
9	Matt Haake	5.27	0
10	dusty	5.89	0
11	BH	6.95	0
12	ModifiedWalkSatBreakZero	7.10	0
13	David H.	9.72	0
14	John Whelchel	9.75	0
15	Tao	11.00	0
16	dfshasdsf12	12.57	0
17	Brendan Wright	15.00	1
18	Andrew Werner	15.00	1
19	jgs	14.98	1
20	spl	15.00	1
21	Dr Roberto	14.99	2
22	haoyu	15.00	2
23	Joel Faron	15.00	3
24	NA	14.99	3
25	Andrew Grasso	15.00	3
26	13a	15.00	4
27	Samuel Jerome	15.00	4
28	vhsiao	14.98	7
29	Mercury	15.00	10
30	Glenn Fisher	15.00	12
31	CAPS LOCK	13.00	12
32	Matt Goldsmith	15.00	13
33	snowflakes	15.00	14
34	Janie Gu	15.00	14
35	ebp	14.99	14
36	HashTagAlreadyFallBreak	15.00	15
37	R. A. B.	9.00	16
38	T. Capote	15.00	18
39	bigwig	15.00	19
40	bchouSolver	15.00	20
41	soccer	15.00	23
42	Boomshanka	0.52	24
43	Green "The Bean" Choi	15.00	37
44	Elphaba	0.04	42
45	RedOrangeBlue	14.99	44
46	George Okeowo	0.33	44
47	Sunny	14.93	44
48	Cam Porter	15.00	2663
49	BMJ	15.00	4147
50	K.L.	15.00	16403
51	Valya Barboy	15.00	1
52	Jonathan Kwok	15.00	1
53	Ben Chen	15.00	1
54	Anon5	15.00	1
55	Mike Honcho	15.00	2
56	Fanny	15.00	3
57	KingBach	15.00	4
58	An Extremely Ordinary Sloth	15.00	4
59	LilThug	15.00	4
60	Nihar the Great	15.00	5
61	Bar Shabtai	15.00	5
62	Keji Xu	15.00	9
63	Yacob Y.	15.00	10
64	Walter Little	15.00	11
65	Solving For Clauses	15.00	11
66	Jameh	15.00	12
67	Mark Fillmore	15.00	13
68	EC	15.00	14
69	0108	15.00	16
70	Quite Satisfied	15.00	16
71	Ravi Tandon	15.00	18
72	burrito	15.00	21
73	weezy	15.00	24
74	Linda	15.00	27
75	Happy	15.00	34
76	Sat Solver 2013	15.00	352
77	Supahaka	15.00	2711
78	Mickey Mouse	15.00	3391
79	Mr. Blobby	15.00	2
80	Deric Cheng	15.00	2
81	Sprt	15.00	2
82	Absurdity	15.00	3
83	Aaron H	15.00	3
84	bfang	15.00	4
85	Lisa Kim	15.00	10
86	kt4124	15.00	26
87	Blam	15.00	27
88	Mike Hawk	15.00	1
89	Joshua Zimmer	15.00	1
90	Andys	15.00	2
91	Sabar Dasgupta	15.00	2
92	Khoa	15.00	44
93	Ytterbium	15.00	3
94	Sally Smith	15.00	24
95	Tiny Wings	15.00	28
96	Anon_K_P	15.00	1331
97	DeeEmEm	15.01	6
98	TSATTER	15.01	5575
99	Charlie Shucheng Zhu	15.01	4
100	Alex Fish	15.02	5
101	Gewang	15.03	1196
102	Qinlan Shen	15.03	3581
103	David Lackey	15.04	5
104	Bebe Shi	15.05	183
105	Jessie Chen	15.06	333
106	cmF5a3ly	15.08	3741
107	SuperFan	15.10	3552
108	Bob Dondero	15.11	3242
109	The Kraken	15.32	34
110	cat	16.54	1300
111	cjt	22.50	34
112	Jordan Ash	25.77	24
113	Tom T	29.80	5
114	David Paulk	-	-
115	Yan Wu	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist