SatSolvers Ranklist Generators Ranklist

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


SatSolvers Ranklist Generators Ranklist