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

SatSolvers Ranklist

Generators Ranklist