Stats for formula: Deric Cheng-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 Deric Cheng-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Deric Cheng-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:	Deric Cheng-1
Rank of generator:	* / 114
Average score:	15.00
Median score:	15.02
Best solver:	jgs
Description:	This generator implements an ordering for electronic artists performing at Ultra Music Festival. Given a number of genres, artists playing per genre, stages, and performance times, it finds a satisfying assignment for each artist to play at the concert.

	Solver	Time taken	Unsat
1	jgs	14.98	1
2	Aristotle	15.00	1
3	Tao	15.00	1
4	spl	15.00	1
5	CookieMonster	15.00	2
6	Matt Goldsmith	15.00	2
7	ModifiedWalkSatBreakZero	15.00	2
8	CAPS LOCK	13.00	3
9	Green "The Bean" Choi	15.00	6
10	HashTagAlreadyFallBreak	15.00	15
11	13a	15.00	25
12	ebp	14.99	33
13	Elphaba	1.26	54
14	R. A. B.	9.01	37700
15	BMJ	15.00	42134
16	Shaheed Chagani	15.00	1
17	Valya Barboy	15.00	1
18	dusty	15.00	1
19	Matt Haake	15.00	1
20	Aaron Doll	15.00	2
21	Solving For Clauses	15.00	5
22	Quite Satisfied	15.00	15
23	bigwig	15.00	34
24	David H.	15.00	9838
25	Jameh	15.00	6
26	cat	15.00	29
27	Nihar the Great	15.00	2
28	Mark Fillmore	15.00	6
29	Ravi Tandon	15.00	28
30	bchouSolver	15.00	33
31	Happy	15.00	44
32	Mike Honcho	15.00	45
33	weezy	15.00	27030
34	Mickey Mouse	15.00	56714
35	dfshasdsf12	15.00	1
36	BH	15.00	1
37	Linda	15.00	14
38	Deric Cheng	15.01	1
39	AFC	15.01	4
40	George Okeowo	15.01	45
41	Aaron H	15.01	14650
42	Cam Porter	15.01	39292
43	Andrew Grasso	15.01	32
44	Supahaka	15.01	34790
45	bfang	15.01	35100
46	Samuel Jerome	15.01	29138
47	Ben Chen	15.01	1
48	An Extremely Ordinary Sloth	15.01	27792
49	Fanny	15.01	1
50	soccer	15.01	11
51	Mr. Blobby	15.01	14778
52	snowflakes	15.02	1202
53	Boomshanka	15.02	51422
54	DeeEmEm	15.02	4
55	Joshua Zimmer	15.02	1
56	Jonathan Kwok	15.02	1
57	0108	15.02	2
58	Blam	15.02	2277
59	KingBach	15.02	1
60	Joel Faron	15.03	40
61	Lisa Kim	15.03	5
62	kt4124	15.03	27
63	burrito	15.03	4
64	T. Capote	15.03	16
65	Ytterbium	15.04	45
66	jabreezy	15.04	45
67	Brendan Wright	15.04	43
68	haoyu	15.05	2
69	K.L.	15.05	224880
70	Anon_K_P	15.05	29980
71	Anon5	15.06	1
72	EC	15.06	2
73	Sabar Dasgupta	15.07	1
74	Janie Gu	15.07	3
75	Walter Little	15.08	2
76	Mercury	15.08	3
77	Mike Hawk	15.09	1
78	John Whelchel	15.09	4
79	Bar Shabtai	15.09	1
80	LilThug	15.10	1
81	NA	15.10	7
82	RedOrangeBlue	15.10	45
83	vhsiao	15.10	2
84	Yacob Y.	15.10	2
85	Absurdity	15.11	2
86	Tiny Wings	15.12	46826
87	Andrew Werner	15.12	1
88	Andys	15.12	1
89	Glenn Fisher	15.13	2
90	Khoa	15.14	45
91	Sprt	15.15	1
92	Tree Prophet	15.18	23
93	Charlie Shucheng Zhu	15.18	3
94	The Kraken	15.22	36
95	David Lackey	15.32	58414
96	Gewang	15.35	57630
97	Alex Fish	15.62	57190
98	Bob Dondero	16.16	55364
99	SuperFan	16.70	53228
100	Sunny	17.20	3
101	Keji Xu	18.54	23
102	cmF5a3ly	19.37	56850
103	Jessie Chen	20.15	55204
104	Bebe Shi	21.46	61074
105	cjt	22.50	57840
106	TSATTER	22.71	57502
107	Qinlan Shen	49.85	61682
108	Tom T	66.07	45
109	David Paulk	-	-
110	Yan Wu	-	-
111	Dr Roberto	-	-
112	Miranda	-	-
113	Jordan Ash	-	-
114	The Whitman Whale	-	-
115	Igor	-	-
116	Sally Smith	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist