Stats for formula: Charliezsc-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 Charliezsc-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Charliezsc-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:	Charliezsc-0
Rank of generator:	* / 114
Average score:	15.00
Median score:	15.00
Best solver:	jgs
Description:	Generates random CNF formulas for Dinner Party Planning Problem: 40 maximum guests, and 30 minimum guests.

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

SatSolvers Ranklist

Generators Ranklist