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

SatSolvers Ranklist

Generators Ranklist