Stats for formula: Deric Cheng-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 Deric Cheng-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Deric Cheng-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:	Deric Cheng-0
Rank of generator:	* / 114
Average score:	15.00
Median score:	15.01
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.99	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	6
9	HashTagAlreadyFallBreak	15.00	7
10	T. Capote	15.00	17
11	13a	15.00	27
12	ebp	14.99	32
13	cat	15.00	35
14	Sunny	14.97	45
15	Elphaba	1.29	54
16	R. A. B.	9.01	35254
17	Shaheed Chagani	15.00	1
18	dusty	15.00	1
19	Matt Haake	15.00	1
20	Jameh	15.00	6
21	Quite Satisfied	15.00	19
22	bchouSolver	15.00	35
23	bigwig	15.00	36
24	Happy	15.00	44
25	weezy	15.00	24522
26	Aaron Doll	15.00	2
27	Mark Fillmore	15.00	4
28	Andrew Grasso	15.00	26
29	Mike Honcho	15.00	45
30	Samuel Jerome	15.00	32112
31	Mickey Mouse	15.00	61486
32	K.L.	15.00	226572
33	AFC	15.00	4
34	Linda	15.00	13
35	Supahaka	15.00	39658
36	dfshasdsf12	15.00	1
37	Ravi Tandon	15.00	32
38	Blam	15.00	880
39	BMJ	15.00	41364
40	Cam Porter	15.00	45868
41	Andrew Werner	15.01	1
42	burrito	15.01	4
43	An Extremely Ordinary Sloth	15.01	33084
44	BH	15.01	1
45	Green "The Bean" Choi	15.01	4
46	Anon5	15.01	1
47	Fanny	15.01	4
48	snowflakes	15.01	952
49	soccer	15.01	12
50	Joel Faron	15.01	39
51	Brendan Wright	15.01	44
52	Mr. Blobby	15.01	19448
53	bfang	15.01	35806
54	Aaron H	15.01	15730
55	Nihar the Great	15.01	1
56	Ytterbium	15.02	67
57	George Okeowo	15.02	45
58	Jonathan Kwok	15.02	1
59	EC	15.02	2
60	Boomshanka	15.02	56438
61	Bar Shabtai	15.03	1
62	Solving For Clauses	15.03	5
63	Mike Hawk	15.04	1
64	David H.	15.04	63560
65	Lisa Kim	15.04	2
66	Anon_K_P	15.04	30680
67	Yacob Y.	15.05	2
68	Sabar Dasgupta	15.05	1
69	RedOrangeBlue	15.05	45
70	0108	15.05	1
71	haoyu	15.05	2
72	Mercury	15.06	3
73	Valya Barboy	15.06	1
74	Absurdity	15.06	2
75	Joshua Zimmer	15.07	1
76	Glenn Fisher	15.07	2
77	Walter Little	15.07	2
78	Sprt	15.08	1
79	NA	15.09	7
80	Deric Cheng	15.09	1
81	vhsiao	15.09	4
82	Charlie Shucheng Zhu	15.10	24
83	Andys	15.10	1
84	Janie Gu	15.11	1
85	kt4124	15.12	28
86	Tiny Wings	15.12	41942
87	Tree Prophet	15.13	17
88	David Lackey	15.14	55070
89	KingBach	15.14	1
90	John Whelchel	15.15	2
91	jabreezy	15.16	45
92	LilThug	15.17	2
93	Khoa	15.18	45
94	Ben Chen	15.20	1
95	The Kraken	15.21	41
96	DeeEmEm	15.21	4
97	Miranda	15.55	52550
98	Bob Dondero	15.72	52908
99	cmF5a3ly	16.39	57530
100	SuperFan	16.78	50806
101	Jessie Chen	18.13	56680
102	Gewang	19.71	61414
103	Alex Fish	19.78	56060
104	Bebe Shi	20.16	52984
105	cjt	22.50	55472
106	Keji Xu	23.80	32
107	TSATTER	24.86	57798
108	Qinlan Shen	35.42	55724
109	Tom T	62.46	45
110	David Paulk	-	-
111	Yan Wu	-	-
112	Dr Roberto	-	-
113	Jordan Ash	-	-
114	The Whitman Whale	-	-
115	Igor	-	-
116	Sally Smith	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist