Stats for formula: Sabar Dasgupta-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 Sabar Dasgupta-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Sabar Dasgupta-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:	Sabar Dasgupta-1
Rank of generator:	29 / 114
Average score:	9.92
Median score:	15.00
Best solver:	Aaron Doll
Description:	Generates a Cnf to model the Wedding Party problem with 2 tables and 20 seats each. Includes restrictions so that some guests are paired together and some are paired apart

	Solver	Time taken	Unsat
1	Aaron Doll	0.17	0
2	dusty	0.21	0
3	spl	0.26	0
4	CookieMonster	0.37	0
5	ModifiedWalkSatBreakZero	0.39	0
6	Matt Haake	0.57	0
7	Aristotle	0.82	0
8	Shaheed Chagani	0.89	0
9	Glenn Fisher	0.93	0
10	Andrew Grasso	0.98	0
11	Tao	1.16	0
12	Joshua Zimmer	1.20	0
13	EC	1.23	0
14	David H.	1.24	0
15	Bar Shabtai	1.55	0
16	dfshasdsf12	1.74	0
17	Yacob Y.	2.00	0
18	Anon5	2.01	0
19	Jonathan Kwok	2.10	0
20	jgs	2.10	0
21	Yan Wu	2.19	0
22	Ben Chen	2.23	0
23	vhsiao	2.29	0
24	Fanny	2.31	0
25	Janie Gu	2.52	0
26	Valya Barboy	2.55	0
27	Aaron H	2.61	0
28	Sabar Dasgupta	2.65	0
29	BH	2.73	0
30	Deric Cheng	2.74	0
31	Walter Little	2.96	0
32	Charlie Shucheng Zhu	2.96	0
33	Andrew Werner	2.99	0
34	Absurdity	3.04	0
35	snowflakes	3.18	0
36	Sprt	3.19	0
37	John Whelchel	3.29	0
38	Andys	3.57	0
39	KingBach	3.69	0
40	Mr. Blobby	4.19	0
41	Mike Honcho	4.60	0
42	NA	5.18	0
43	0108	5.39	0
44	Mike Hawk	5.78	0
45	Lisa Kim	6.52	0
46	13a	8.77	0
47	Tom T	14.88	0
48	CAPS LOCK	13.00	4
49	HashTagAlreadyFallBreak	15.00	8
50	Joel Faron	15.00	12
51	R. A. B.	9.00	12
52	haoyu	15.00	12
53	bigwig	15.00	15
54	Matt Goldsmith	15.00	22
55	Nikhilesh Sigatapu	15.00	26
56	T. Capote	15.00	27
57	The Whitman Whale	15.00	31
58	Green "The Bean" Choi	15.00	33
59	Dr Roberto	14.99	36
60	ebp	14.99	36
61	George Okeowo	1.51	40
62	bchouSolver	15.00	40
63	Elphaba	0.09	44
64	Boomshanka	15.00	652
65	RedOrangeBlue	14.99	1303
66	Cam Porter	15.00	8210
67	cat	14.99	9825
68	bfang	15.00	10879
69	K.L.	15.00	52764
70	Mark Fillmore	15.00	6
71	Nihar the Great	15.00	7
72	Solving For Clauses	15.00	10
73	Jameh	15.00	11
74	burrito	15.00	13
75	Quite Satisfied	15.00	17
76	soccer	15.00	20
77	AFC	15.00	20
78	Linda	15.00	26
79	Ravi Tandon	15.00	26
80	kt4124	15.00	27
81	Happy	15.00	38
82	weezy	15.00	526
83	Supahaka	15.00	9925
84	BMJ	15.00	11175
85	Mickey Mouse	15.00	13970
86	Sat Solver 2013	15.00	1194
87	Mercury	15.01	4
88	Brendan Wright	15.01	37
89	Khoa	15.01	40
90	Blam	15.01	35
91	Samuel Jerome	15.01	2
92	LilThug	15.01	11
93	An Extremely Ordinary Sloth	15.01	3
94	Tiny Wings	15.01	3402
95	DeeEmEm	15.01	22
96	Ytterbium	15.02	4
97	Tree Prophet	15.02	12
98	Anon_K_P	15.02	9854
99	Sally Smith	15.03	12102
100	The Kraken	15.09	97
101	Keji Xu	15.09	9
102	Sunny	15.11	25
103	Alex Fish	15.15	12961
104	Bob Dondero	15.23	13913
105	SuperFan	15.67	13049
106	Jessie Chen	15.70	13861
107	TSATTER	15.78	15207
108	David Lackey	15.81	12191
109	Bebe Shi	15.94	13051
110	cmF5a3ly	15.99	13931
111	Gewang	16.03	14801
112	Qinlan Shen	18.03	13457
113	cjt	22.50	13088
114	David Paulk	-	-
115	jabreezy	-	-
116	Miranda	-	-
117	Jordan Ash	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist