Stats for formula: Ben Chen-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 Ben Chen-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Ben Chen-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:	Ben Chen-0
Rank of generator:	25 / 114
Average score:	10.44
Median score:	15.00
Best solver:	Elphaba
Description:

	Solver	Time taken	Unsat
1	Elphaba	0.07	0
2	spl	0.16	0
3	CookieMonster	0.29	0
4	ModifiedWalkSatBreakZero	0.34	0
5	dusty	0.39	0
6	Aaron Doll	0.43	0
7	Shaheed Chagani	0.44	0
8	Matt Goldsmith	0.52	0
9	Jonathan Kwok	0.53	0
10	Matt Haake	0.78	0
11	Mike Honcho	0.79	0
12	Mike Hawk	0.92	0
13	Absurdity	1.07	0
14	BH	1.21	0
15	Mr. Blobby	1.26	0
16	Yacob Y.	1.42	0
17	NA	1.47	0
18	Anon5	1.57	0
19	Nikhilesh Sigatapu	1.59	0
20	Walter Little	1.72	0
21	Andys	1.77	0
22	KingBach	1.85	0
23	Aristotle	1.85	0
24	Fanny	1.90	0
25	Sabar Dasgupta	1.90	0
26	Valya Barboy	1.95	0
27	Deric Cheng	2.02	0
28	vhsiao	2.25	0
29	Janie Gu	2.37	0
30	Andrew Grasso	2.72	0
31	jgs	2.93	0
32	Ben Chen	3.39	0
33	snowflakes	4.03	0
34	Joshua Zimmer	4.14	0
35	EC	5.17	0
36	Sprt	5.62	0
37	David H.	5.66	0
38	John Whelchel	6.02	0
39	Glenn Fisher	8.07	0
40	Andrew Werner	8.61	0
41	dfshasdsf12	10.70	0
42	AFC	13.15	0
43	Tao	15.00	2
44	13a	15.00	6
45	Samuel Jerome	15.00	9
46	Joel Faron	15.00	13
47	haoyu	15.00	14
48	The Whitman Whale	15.00	28
49	Brendan Wright	15.00	29
50	Dr Roberto	14.99	30
51	DeeEmEm	15.00	34
52	CAPS LOCK	13.00	34
53	bchouSolver	15.00	37
54	HashTagAlreadyFallBreak	15.00	45
55	Boomshanka	0.79	45
56	cat	14.99	51
57	R. A. B.	9.00	55
58	soccer	15.00	66
59	T. Capote	15.00	71
60	RedOrangeBlue	14.99	72
61	ebp	14.99	87
62	George Okeowo	0.52	90
63	bigwig	15.00	178
64	Cam Porter	15.00	2665
65	bfang	15.00	2986
66	BMJ	15.00	4569
67	K.L.	15.00	22520
68	LilThug	15.00	18
69	Nihar the Great	15.00	19
70	Quite Satisfied	15.00	27
71	Lisa Kim	15.00	28
72	Mark Fillmore	15.00	29
73	An Extremely Ordinary Sloth	15.00	33
74	Jameh	15.00	34
75	Solving For Clauses	15.00	34
76	burrito	15.00	50
77	weezy	15.00	57
78	kt4124	15.00	59
79	Ravi Tandon	15.00	65
80	Linda	15.00	71
81	Blam	15.00	73
82	Keji Xu	15.00	79
83	Khoa	15.00	90
84	Sat Solver 2013	15.00	830
85	Supahaka	15.00	4136
86	Mickey Mouse	15.00	4737
87	Aaron H	15.00	9
88	Ytterbium	15.00	9
89	0108	15.00	29
90	Green "The Bean" Choi	15.00	67
91	Tiny Wings	15.00	40
92	The Kraken	15.00	223
93	Bob Dondero	15.00	4732
94	Anon_K_P	15.01	3591
95	Sally Smith	15.01	77
96	Mercury	15.01	26
97	Qinlan Shen	15.01	4838
98	Jessie Chen	15.01	2500
99	Tree Prophet	15.02	28
100	SuperFan	15.04	4937
101	Gewang	15.06	3308
102	David Lackey	15.06	838
103	Sunny	15.08	14
104	Happy	15.09	75
105	cmF5a3ly	15.09	3520
106	Alex Fish	15.11	864
107	Bebe Shi	15.12	1590
108	TSATTER	15.14	6176
109	cjt	22.50	61
110	Charlie Shucheng Zhu	22.50	13
111	Tom T	31.21	6
112	Yan Wu	42.34	0
113	Jordan Ash	42.42	65
114	David Paulk	-	-
115	jabreezy	-	-
116	Miranda	-	-
117	Bar Shabtai	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist