SatSolvers Ranklist Generators Ranklist

Stats for formula: Andrew Werner-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 Andrew Werner-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Andrew Werner-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: Andrew Werner-0
Rank of generator: 16 / 114
Average score: 12.16
Median score: 15.00
Best solver: Aaron Doll
Description: The generator makes CNFs that are reductions from the problem of placing people at seats in a dinner party. There are 50 guests and 50 seats and each guest has a 20% chance of having a preference to sit next to another guest. The problem is always satisfiable because these preferences are taken from a true possible arrangement.
Solver Time taken Unsat
1Aaron Doll 0.33 0
2dusty 0.39 0
3Mercury 0.41 0
4spl 0.50 0
5Matt Goldsmith 0.53 0
6Aristotle 0.72 0
7CookieMonster 0.87 0
8Mark Fillmore 1.10 0
9ModifiedWalkSatBreakZero 1.14 0
10Quite Satisfied 1.19 0
11Matt Haake 1.31 0
12Bar Shabtai 1.51 0
13Green "The Bean" Choi 2.41 0
14Jonathan Kwok 4.03 0
15Shaheed Chagani 4.30 0
16soccer 5.16 0
17David H. 5.38 0
18Glenn Fisher 5.53 0
19Joshua Zimmer 6.12 0
20Jameh 6.50 0
21EC 6.85 0
22Tao 8.05 0
23dfshasdsf12 8.51 0
24Linda 8.73 0
25Deric Cheng 8.86 0
26Andys 9.91 0
27jgs 10.22 0
28John Whelchel 10.36 0
29NA 10.96 0
30Ben Chen 11.21 0
31Fanny 11.23 0
32Valya Barboy 11.41 0
33BH 13.51 0
34Mike Hawk 13.66 0
35KingBach 13.81 0
36Janie Gu 14.70 0
37CAPS LOCK 13.01 2
38snowflakes 15.00 4
39T. Capote 15.00 5
40HashTagAlreadyFallBreak 15.00 6
4113a 15.00 8
42bigwig 15.00 20
43ebp 14.99 48
44RedOrangeBlue 14.99 49
45George Okeowo 12.39 50
46Elphaba 0.54 303
47Dr Roberto 15.00 1260
48Boomshanka 15.00 1272
49cat 15.00 3964
50R. A. B. 9.00 6432
51Cam Porter 15.00 22105
52bfang 15.00 27661
53burrito 15.00 4
54bchouSolver 15.00 28
55Ravi Tandon 15.00 33
56AFC 15.00 43
57Happy 15.00 49
58Samuel Jerome 15.00 8361
59Anon5 15.00 1
60Mr. Blobby 15.00 3
61weezy 15.00 6282
62Supahaka 15.00 20966
63Khoa 15.00 50
64BMJ 15.00 26334
65Mickey Mouse 15.00 29084
66K.L. 15.00 118290
67Joel Faron 15.00 42
68An Extremely Ordinary Sloth15.00 811
69Sat Solver 2013 15.01 1674
70Solving For Clauses 15.01 1
71Anon_K_P 15.01 28293
72Gewang 15.01 30345
73Nihar the Great 15.01 1
74Aaron H 15.01 439
75vhsiao 15.01 2
76Mike Honcho 15.01 50
77Ytterbium 15.02 3
78Andrew Grasso 15.03 1
79Tiny Wings 15.03 22390
80jabreezy 15.03 49
81Absurdity 15.04 4
82haoyu 15.04 39
83DeeEmEm 15.04 31
84Andrew Werner 15.05 2
85LilThug 15.05 4
86Blam 15.05 35
87Lisa Kim 15.05 4
88kt4124 15.06 10
89Brendan Wright 15.07 48
900108 15.08 4
91Walter Little 15.08 4
92Tree Prophet 15.09 40
93Sprt 15.10 2
94The Kraken 15.10 29
95Keji Xu 15.10 23
96Yacob Y. 15.12 8
97Sabar Dasgupta 15.12 2
98Charlie Shucheng Zhu 15.20 268
99Bob Dondero 15.21 30729
100Bebe Shi 15.74 31077
101Sunny 15.92 44
102SuperFan 16.73 29435
103David Lackey 16.95 27925
104Alex Fish 17.30 28901
105Jessie Chen 17.76 28006
106David Paulk 18.01 0
107cmF5a3ly 19.68 32753
108TSATTER 21.62 30139
109cjt 22.50 29377
110Qinlan Shen 36.34 31329
111Yan Wu 44.14 0
112Tom T 60.82 1
113Miranda - -
114Jordan Ash - -
115The Whitman Whale - -
116Igor - -
117Sally Smith - -
118Nikhilesh Sigatapu - -


SatSolvers Ranklist Generators Ranklist