Stats for formula: cmF5a3ly-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 cmF5a3ly-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf cmF5a3ly-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:	cmF5a3ly-0
Rank of generator:	88 / 114
Average score:	1.29
Median score:	0.06
Best solver:	Nihar the Great
Description:	Generates CNFs corresponding to wedding party problems, where guests are seated at a limited number of tables with constraints on seating some guests together

	Solver	Time taken	Unsat
1	Nihar the Great	0.00	0
2	Andrew Grasso	0.00	0
3	cat	0.01	0
4	haoyu	0.01	0
5	Happy	0.01	0
6	EC	0.01	0
7	Lisa Kim	0.01	0
8	Igor	0.01	0
9	0108	0.01	0
10	Yacob Y.	0.01	0
11	Yan Wu	0.01	0
12	Khoa	0.01	0
13	HashTagAlreadyFallBreak	0.01	0
14	burrito	0.01	0
15	Elphaba	0.01	0
16	Glenn Fisher	0.01	0
17	Walter Little	0.01	0
18	13a	0.01	0
19	ebp	0.01	0
20	Charlie Shucheng Zhu	0.02	0
21	Mike Hawk	0.02	0
22	Bar Shabtai	0.02	0
23	Sunny	0.02	0
24	jgs	0.02	0
25	R. A. B.	0.02	0
26	Jonathan Kwok	0.02	0
27	Deric Cheng	0.02	0
28	Andrew Werner	0.02	0
29	T. Capote	0.02	0
30	Mr. Blobby	0.02	0
31	Janie Gu	0.02	0
32	Keji Xu	0.02	0
33	Joshua Zimmer	0.02	0
34	Ben Chen	0.02	0
35	KingBach	0.02	0
36	Aaron H	0.02	0
37	Solving For Clauses	0.02	0
38	Sabar Dasgupta	0.02	0
39	Absurdity	0.02	0
40	Jameh	0.02	0
41	Valya Barboy	0.02	0
42	bigwig	0.03	0
43	CAPS LOCK	0.03	0
44	snowflakes	0.03	0
45	Ytterbium	0.03	0
46	Anon5	0.03	0
47	Blam	0.03	0
48	Aristotle	0.03	0
49	NA	0.03	0
50	Andys	0.03	0
51	Samuel Jerome	0.03	0
52	Sprt	0.03	0
53	Linda	0.04	0
54	soccer	0.04	0
55	ModifiedWalkSatBreakZero	0.04	0
56	CookieMonster	0.05	0
57	John Whelchel	0.05	0
58	Joel Faron	0.05	0
59	dusty	0.06	0
60	weezy	0.06	0
61	Aaron Doll	0.06	0
62	LilThug	0.06	0
63	Matt Goldsmith	0.06	0
64	kt4124	0.06	0
65	Tao	0.06	0
66	Nikhilesh Sigatapu	0.06	0
67	David H.	0.06	0
68	Mark Fillmore	0.07	0
69	Quite Satisfied	0.07	0
70	The Kraken	0.07	0
71	An Extremely Ordinary Sloth	0.07	0
72	Matt Haake	0.07	0
73	BH	0.07	0
74	dfshasdsf12	0.07	0
75	Boomshanka	0.08	0
76	RedOrangeBlue	0.08	0
77	vhsiao	0.09	0
78	spl	0.09	0
79	Mercury	0.10	0
80	DeeEmEm	0.14	0
81	Dr Roberto	0.15	0
82	George Okeowo	0.16	0
83	Ravi Tandon	0.17	0
84	Green "The Bean" Choi	0.22	0
85	Sat Solver 2013	0.23	0
86	Tree Prophet	0.23	0
87	Shaheed Chagani	0.29	0
88	Mickey Mouse	0.41	0
89	jabreezy	0.43	0
90	Sally Smith	0.46	0
91	The Whitman Whale	0.49	0
92	AFC	0.52	0
93	Tom T	0.64	0
94	Tiny Wings	0.72	0
95	David Lackey	0.78	0
96	Alex Fish	0.82	0
97	Mike Honcho	0.86	0
98	Jordan Ash	0.93	0
99	Fanny	1.18	0
100	Jessie Chen	1.21	0
101	Bebe Shi	1.32	0
102	cjt	1.35	0
103	Miranda	1.42	0
104	cmF5a3ly	1.48	0
105	Anon_K_P	1.85	0
106	Gewang	1.85	0
107	Cam Porter	2.03	0
108	David Paulk	2.35	0
109	BMJ	3.13	0
110	Brendan Wright	5.53	0
111	bfang	11.28	0
112	Supahaka	0.80	124
113	K.L.	15.00	320
114	bchouSolver	15.01	1
115	SuperFan	15.01	77
116	Bob Dondero	15.01	97
117	TSATTER	15.02	147
118	Qinlan Shen	17.87	141

SatSolvers Ranklist

Generators Ranklist