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

	Solver	Time taken	Unsat
1	spl	0.20	0
2	ModifiedWalkSatBreakZero	0.23	0
3	Aaron Doll	0.29	0
4	CookieMonster	0.35	0
5	Shaheed Chagani	0.41	0
6	dusty	0.41	0
7	Matt Haake	0.53	0
8	Mike Hawk	0.67	0
9	Mike Honcho	0.73	0
10	Matt Goldsmith	0.79	0
11	jgs	0.79	0
12	Tao	0.81	0
13	Yacob Y.	0.95	0
14	Aristotle	1.10	0
15	Jonathan Kwok	1.20	0
16	Anon5	1.35	0
17	Fanny	1.39	0
18	Ben Chen	1.55	0
19	Janie Gu	1.55	0
20	Nikhilesh Sigatapu	1.61	0
21	BH	1.84	0
22	Sabar Dasgupta	2.13	0
23	Mr. Blobby	2.29	0
24	Joshua Zimmer	2.66	0
25	snowflakes	3.12	0
26	Andrew Grasso	3.27	0
27	Sprt	3.94	0
28	Glenn Fisher	4.14	0
29	Walter Little	4.57	0
30	Valya Barboy	4.84	0
31	Andys	5.07	0
32	David H.	5.27	0
33	vhsiao	6.33	0
34	John Whelchel	7.13	0
35	EC	7.70	0
36	KingBach	8.82	0
37	Deric Cheng	10.63	0
38	NA	11.55	0
39	AFC	11.76	0
40	Andrew Werner	12.13	0
41	Brendan Wright	14.32	0
42	13a	15.00	4
43	Samuel Jerome	15.00	8
44	Joel Faron	15.00	10
45	haoyu	15.00	14
46	The Whitman Whale	15.00	27
47	Dr Roberto	14.99	29
48	CAPS LOCK	13.00	33
49	bchouSolver	15.00	38
50	Boomshanka	0.83	41
51	soccer	15.00	52
52	cat	14.99	54
53	HashTagAlreadyFallBreak	15.00	54
54	R. A. B.	9.00	56
55	T. Capote	15.00	57
56	Elphaba	0.08	64
57	RedOrangeBlue	14.99	72
58	ebp	14.99	87
59	George Okeowo	0.53	90
60	bigwig	15.00	149
61	Cam Porter	15.00	2626
62	bfang	15.00	3106
63	BMJ	15.00	5165
64	K.L.	15.00	23078
65	dfshasdsf12	15.00	2
66	Ytterbium	15.00	11
67	Lisa Kim	15.00	15
68	Nihar the Great	15.00	17
69	Solving For Clauses	15.00	29
70	Mark Fillmore	15.00	32
71	Jameh	15.00	33
72	An Extremely Ordinary Sloth	15.00	34
73	0108	15.00	36
74	Quite Satisfied	15.00	36
75	burrito	15.00	42
76	Linda	15.00	56
77	Blam	15.00	62
78	Green "The Bean" Choi	15.00	63
79	Ravi Tandon	15.00	68
80	Happy	15.00	77
81	kt4124	15.00	78
82	weezy	15.00	87
83	Khoa	15.00	90
84	Keji Xu	15.00	105
85	Sat Solver 2013	15.00	705
86	Supahaka	15.00	4093
87	Mickey Mouse	15.00	5197
88	Absurdity	15.00	8
89	Aaron H	15.00	9
90	Anon_K_P	15.00	5222
91	LilThug	15.00	20
92	The Kraken	15.00	214
93	Tiny Wings	15.01	42
94	Sally Smith	15.01	77
95	Mercury	15.01	26
96	DeeEmEm	15.01	39
97	Tree Prophet	15.01	27
98	Bebe Shi	15.02	2292
99	cmF5a3ly	15.03	3219
100	Bob Dondero	15.06	4792
101	Jessie Chen	15.09	3275
102	TSATTER	15.10	6106
103	David Lackey	15.11	673
104	SuperFan	15.12	4864
105	Alex Fish	15.13	1709
106	Gewang	15.13	3565
107	Qinlan Shen	15.18	5715
108	Sunny	15.23	90
109	cjt	22.50	71
110	Charlie Shucheng Zhu	22.50	7
111	Tom T	30.99	8
112	Jordan Ash	47.16	67
113	Yan Wu	94.15	0
114	David Paulk	-	-
115	jabreezy	-	-
116	Miranda	-	-
117	Bar Shabtai	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist