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

	Solver	Time taken	Unsat
1	haoyu	0.07	0
2	Aaron Doll	0.14	0
3	Aristotle	0.15	0
4	dusty	0.20	0
5	spl	0.29	0
6	CookieMonster	0.41	0
7	Matt Haake	0.42	0
8	Matt Goldsmith	0.49	0
9	Shaheed Chagani	0.82	0
10	Dr Roberto	0.94	0
11	ModifiedWalkSatBreakZero	1.07	0
12	Charlie Shucheng Zhu	1.09	0
13	John Whelchel	1.32	0
14	David H.	1.36	0
15	AFC	1.58	0
16	KingBach	1.76	0
17	Tao	1.79	0
18	snowflakes	2.08	0
19	Glenn Fisher	2.22	0
20	dfshasdsf12	2.42	0
21	Andys	2.50	0
22	Joshua Zimmer	2.80	0
23	Sunny	2.80	0
24	Mike Honcho	3.12	0
25	0108	3.18	0
26	Deric Cheng	3.21	0
27	Andrew Grasso	3.39	0
28	Mr. Blobby	3.82	0
29	Ben Chen	3.88	0
30	Mike Hawk	4.04	0
31	jgs	4.31	0
32	An Extremely Ordinary Sloth	4.64	0
33	Anon5	4.66	0
34	NA	5.25	0
35	Tree Prophet	5.35	0
36	Joel Faron	5.47	0
37	BH	5.47	0
38	DeeEmEm	5.55	0
39	Yan Wu	6.38	0
40	Nikhilesh Sigatapu	6.71	0
41	Sabar Dasgupta	7.75	0
42	Walter Little	7.76	0
43	The Whitman Whale	8.75	0
44	Fanny	9.41	0
45	Green "The Bean" Choi	9.50	0
46	Janie Gu	10.10	0
47	Absurdity	10.67	0
48	Yacob Y.	11.08	0
49	Sprt	11.68	0
50	ebp	12.17	0
51	Andrew Werner	12.87	0
52	EC	13.41	0
53	13a	15.00	3
54	CAPS LOCK	13.00	4
55	HashTagAlreadyFallBreak	15.00	6
56	R. A. B.	9.01	10
57	Brendan Wright	15.00	11
58	soccer	15.00	25
59	bigwig	15.00	25
60	George Okeowo	1.71	32
61	Elphaba	0.06	32
62	RedOrangeBlue	14.99	80
63	Boomshanka	15.00	1061
64	Cam Porter	15.00	7736
65	bfang	15.00	10826
66	cat	14.99	11753
67	BMJ	15.00	12090
68	K.L.	15.00	62624
69	Valya Barboy	15.00	1
70	Jameh	15.00	2
71	Solving For Clauses	15.00	2
72	Mark Fillmore	15.00	2
73	Quite Satisfied	15.00	6
74	Linda	15.00	7
75	T. Capote	15.00	14
76	bchouSolver	15.00	14
77	burrito	15.00	15
78	Ravi Tandon	15.00	16
79	weezy	15.00	282
80	Supahaka	15.00	11239
81	Mickey Mouse	15.00	14097
82	Aaron H	15.00	1
83	LilThug	15.00	4
84	Happy	15.00	30
85	Samuel Jerome	15.00	1
86	Sat Solver 2013	15.00	880
87	Mercury	15.00	1
88	kt4124	15.01	11
89	Bar Shabtai	15.01	13
90	Khoa	15.01	32
91	Blam	15.01	17
92	Jonathan Kwok	15.01	1
93	Nihar the Great	15.01	3
94	Tiny Wings	15.01	2336
95	vhsiao	15.01	4
96	Anon_K_P	15.02	4524
97	Lisa Kim	15.02	5
98	The Kraken	15.02	103
99	Sally Smith	15.02	9866
100	Ytterbium	15.03	5
101	David Lackey	15.06	13221
102	Bebe Shi	15.10	14128
103	SuperFan	15.22	13742
104	Keji Xu	15.31	12
105	Jessie Chen	15.32	14466
106	Bob Dondero	15.49	14662
107	Alex Fish	15.64	13370
108	cmF5a3ly	15.76	13522
109	Gewang	15.84	16033
110	TSATTER	15.85	14729
111	Qinlan Shen	19.34	14967
112	cjt	22.50	11020
113	Tom T	67.06	1
114	David Paulk	-	-
115	jabreezy	-	-
116	Miranda	-	-
117	Jordan Ash	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist