Stats for formula: Qinlan Shen-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 Qinlan Shen-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Qinlan Shen-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:	Qinlan Shen-1
Rank of generator:	* / 114
Average score:	14.93
Median score:	15.00
Best solver:	R. A. B.
Description:	This is a generator for the wedding guests problem. For the wedding guests problem, the generator generates the number of tables, the capacity of each table, the number of guests, and guest relations based on given probabilities. The goal is to seat every two guests with a good relationship not at the same table, and every person with a bad relationship not at the same table.

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

SatSolvers Ranklist

Generators Ranklist