Stats for formula: R. A. B.-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 R. A. B.-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf R. A. B.-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:	R. A. B.-0
Rank of generator:	80 / 114
Average score:	2.51
Median score:	0.03
Best solver:	Nihar the Great
Description:	Wedding Party Problem. There are many tables of fixed size which must seat all guests, but some pairs of guests must be at the same table, where others must be separated

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

SatSolvers Ranklist

Generators Ranklist