Stats for formula: cmF5a3ly-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 cmF5a3ly-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf cmF5a3ly-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:	cmF5a3ly-1
Rank of generator:	88 / 114
Average score:	1.51
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	Jonathan Kwok	0.00	0
3	Andrew Grasso	0.00	0
4	cat	0.01	0
5	haoyu	0.01	0
6	EC	0.01	0
7	Igor	0.01	0
8	0108	0.01	0
9	Lisa Kim	0.01	0
10	Yan Wu	0.01	0
11	Happy	0.01	0
12	Yacob Y.	0.01	0
13	ebp	0.01	0
14	Elphaba	0.01	0
15	Glenn Fisher	0.01	0
16	burrito	0.02	0
17	Mike Hawk	0.02	0
18	HashTagAlreadyFallBreak	0.02	0
19	Andrew Werner	0.02	0
20	Walter Little	0.02	0
21	Janie Gu	0.02	0
22	Jameh	0.02	0
23	Sunny	0.02	0
24	Bar Shabtai	0.02	0
25	T. Capote	0.02	0
26	jgs	0.02	0
27	R. A. B.	0.02	0
28	Khoa	0.02	0
29	NA	0.02	0
30	Mr. Blobby	0.02	0
31	Ben Chen	0.02	0
32	Keji Xu	0.02	0
33	Deric Cheng	0.02	0
34	Absurdity	0.02	0
35	Aaron H	0.02	0
36	Ytterbium	0.02	0
37	Solving For Clauses	0.02	0
38	Joshua Zimmer	0.02	0
39	Anon5	0.02	0
40	KingBach	0.03	0
41	Valya Barboy	0.03	0
42	Charlie Shucheng Zhu	0.03	0
43	CAPS LOCK	0.03	0
44	Samuel Jerome	0.03	0
45	snowflakes	0.03	0
46	Linda	0.03	0
47	Sabar Dasgupta	0.03	0
48	13a	0.03	0
49	Blam	0.03	0
50	Aristotle	0.03	0
51	Sprt	0.03	0
52	Andys	0.04	0
53	bigwig	0.04	0
54	Joel Faron	0.04	0
55	ModifiedWalkSatBreakZero	0.04	0
56	soccer	0.04	0
57	LilThug	0.05	0
58	CookieMonster	0.05	0
59	David H.	0.06	0
60	Aaron Doll	0.06	0
61	dusty	0.06	0
62	kt4124	0.06	0
63	Tao	0.06	0
64	Quite Satisfied	0.06	0
65	John Whelchel	0.07	0
66	weezy	0.07	0
67	Matt Haake	0.07	0
68	BH	0.08	0
69	Mark Fillmore	0.08	0
70	The Kraken	0.08	0
71	An Extremely Ordinary Sloth	0.08	0
72	Matt Goldsmith	0.08	0
73	Boomshanka	0.08	0
74	RedOrangeBlue	0.08	0
75	vhsiao	0.08	0
76	spl	0.09	0
77	dfshasdsf12	0.09	0
78	Nikhilesh Sigatapu	0.09	0
79	Mercury	0.10	0
80	DeeEmEm	0.14	0
81	Dr Roberto	0.16	0
82	George Okeowo	0.18	0
83	Sat Solver 2013	0.18	0
84	Ravi Tandon	0.18	0
85	Tree Prophet	0.22	0
86	Green "The Bean" Choi	0.24	0
87	Shaheed Chagani	0.27	0
88	Mickey Mouse	0.28	0
89	jabreezy	0.37	0
90	AFC	0.49	0
91	David Lackey	0.49	0
92	Sally Smith	0.51	0
93	The Whitman Whale	0.51	0
94	Mike Honcho	0.64	0
95	Tiny Wings	0.68	0
96	Alex Fish	0.70	0
97	cjt	0.85	0
98	Jordan Ash	1.02	0
99	Fanny	1.25	0
100	Cam Porter	1.58	0
101	Miranda	1.65	0
102	Bebe Shi	1.71	0
103	cmF5a3ly	1.81	0
104	David Paulk	1.84	0
105	Anon_K_P	1.91	0
106	Jessie Chen	2.02	0
107	Gewang	3.05	0
108	Brendan Wright	5.44	0
109	bfang	9.51	0
110	BMJ	15.00	27
111	Supahaka	0.51	139
112	K.L.	15.00	231
113	TSATTER	15.00	135
114	bchouSolver	15.01	1
115	SuperFan	15.01	86
116	Bob Dondero	15.01	92
117	Tom T	15.22	1
118	Qinlan Shen	17.61	131

SatSolvers Ranklist

Generators Ranklist