Stats for formula: Sabar Dasgupta-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 Sabar Dasgupta-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Sabar Dasgupta-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:	Sabar Dasgupta-0
Rank of generator:	29 / 114
Average score:	10.27
Median score:	15.00
Best solver:	spl
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	spl	0.23	0
2	Aristotle	0.25	0
3	dusty	0.30	0
4	CookieMonster	0.34	0
5	ModifiedWalkSatBreakZero	0.41	0
6	Aaron Doll	0.50	0
7	Matt Haake	0.61	0
8	Glenn Fisher	0.80	0
9	Shaheed Chagani	0.91	0
10	Andrew Grasso	0.93	0
11	David H.	1.32	0
12	dfshasdsf12	1.51	0
13	Charlie Shucheng Zhu	1.55	0
14	Jonathan Kwok	1.57	0
15	Sprt	1.59	0
16	Yacob Y.	1.69	0
17	Joshua Zimmer	1.77	0
18	Fanny	1.81	0
19	Mike Hawk	1.87	0
20	KingBach	2.02	0
21	Tao	2.16	0
22	Andys	2.18	0
23	Absurdity	2.19	0
24	jgs	2.40	0
25	Deric Cheng	2.46	0
26	Walter Little	2.51	0
27	BH	2.82	0
28	EC	2.87	0
29	Bar Shabtai	2.98	0
30	Janie Gu	3.27	0
31	NA	3.43	0
32	snowflakes	3.55	0
33	Anon5	3.83	0
34	Sabar Dasgupta	3.89	0
35	Mike Honcho	3.99	0
36	Ben Chen	4.53	0
37	13a	4.76	0
38	Mr. Blobby	4.92	0
39	burrito	5.45	0
40	Lisa Kim	6.86	0
41	Yan Wu	8.63	0
42	vhsiao	9.86	0
43	0108	10.70	0
44	Aaron H	10.77	0
45	Valya Barboy	11.16	0
46	John Whelchel	11.52	0
47	CAPS LOCK	13.00	7
48	Joel Faron	15.00	11
49	Dr Roberto	15.00	15
50	R. A. B.	9.00	17
51	Matt Goldsmith	15.00	20
52	HashTagAlreadyFallBreak	15.00	20
53	Green "The Bean" Choi	15.00	22
54	soccer	15.00	23
55	T. Capote	15.00	27
56	ebp	14.99	32
57	bigwig	15.00	34
58	George Okeowo	1.48	40
59	Elphaba	0.06	40
60	Boomshanka	15.00	633
61	RedOrangeBlue	14.99	1078
62	Cam Porter	15.00	8186
63	cat	15.00	10039
64	bfang	15.00	11361
65	K.L.	15.00	52244
66	Jameh	15.00	5
67	Mark Fillmore	15.00	5
68	Solving For Clauses	15.00	6
69	Quite Satisfied	15.00	17
70	Linda	15.00	18
71	Ravi Tandon	15.00	27
72	Nikhilesh Sigatapu	15.00	28
73	Blam	15.00	30
74	bchouSolver	15.00	32
75	Brendan Wright	15.00	34
76	Happy	15.00	39
77	AFC	15.00	41
78	weezy	15.00	423
79	Sat Solver 2013	15.00	1531
80	Supahaka	15.00	9265
81	Mickey Mouse	15.00	14188
82	Nihar the Great	15.00	6
83	haoyu	15.00	12
84	An Extremely Ordinary Sloth	15.00	2
85	Ytterbium	15.00	6
86	Tiny Wings	15.00	3163
87	Mercury	15.00	3
88	BMJ	15.00	10644
89	Tree Prophet	15.01	35
90	Andrew Werner	15.01	1
91	The Whitman Whale	15.01	35
92	Sally Smith	15.01	11155
93	DeeEmEm	15.01	29
94	Khoa	15.01	40
95	Samuel Jerome	15.02	2
96	Anon_K_P	15.02	8432
97	LilThug	15.03	5
98	kt4124	15.03	29
99	The Kraken	15.05	130
100	Sunny	15.08	9
101	Bob Dondero	15.31	12996
102	Gewang	15.42	13357
103	Bebe Shi	15.42	13311
104	Jessie Chen	15.54	14126
105	Alex Fish	15.60	13022
106	SuperFan	15.87	12599
107	David Lackey	16.02	13007
108	cmF5a3ly	16.12	13510
109	TSATTER	16.59	13423
110	Keji Xu	16.61	6
111	Qinlan Shen	17.77	14022
112	cjt	22.50	12135
113	Tom T	67.64	1
114	David Paulk	-	-
115	jabreezy	-	-
116	Miranda	-	-
117	Jordan Ash	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist