SatSolvers Ranklist Generators Ranklist

Stats for formula: Aaron Doll-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 Aaron Doll-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Aaron Doll-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: Aaron Doll-0
Rank of generator: 2 / 114
Average score: 14.22
Median score: 15.03
Best solver: Aristotle
Description: This generator creates a directed graph with a validHamiltonian path, and then reduces finding a Hamiltonian pathto satisfying a CNF. For a graph with v vertices, there are v^2variables, each representing whether a specific node is in aspecific position in the path.
Solver Time taken Unsat
1Aristotle 0.56 0
2haoyu 1.23 0
3Aaron Doll 1.55 0
4Matt Goldsmith 5.91 0
5dusty 6.77 0
6vhsiao 7.13 0
7Elphaba 7.89 0
8Quite Satisfied 12.77 0
9Matt Haake 14.54 0
10cat 14.99 66
11ebp 14.99 156
12spl 15.00 22290
13CAPS LOCK 13.02 165638
14Glenn Fisher 15.00 187022
15jgs 14.98 206196
16R. A. B. 9.04 271546
17Linda 15.00 238846
18CookieMonster 15.00 49874
19Blam 15.00 258101
20bigwig 15.01 119
21Solving For Clauses 15.01 157137
22George Okeowo 15.01 160
23Sabar Dasgupta 15.01 209721
24Mike Hawk 15.01 249450
2513a 15.01 156
26bchouSolver 15.01 153
27HashTagAlreadyFallBreak 15.01 151167
28Nihar the Great 15.01 16
29Keji Xu 15.01 197251
30Sprt 15.01 222640
31EC 15.01 230492
32Happy 15.01 160
33Khoa 15.01 160
34Ravi Tandon 15.01 245627
35soccer 15.02 232439
36NA 15.02 236853
37burrito 15.02 206622
38T. Capote 15.02 245490
39Supahaka 15.02 279672
40Joshua Zimmer 15.02 229263
41Cam Porter 15.02 287757
42Absurdity 15.02 254324
43kt4124 15.02 243388
44Green "The Bean" Choi 15.03 160
45Tao 15.03 213692
46Deric Cheng 15.03 231307
47weezy 15.03 276339
480108 15.03 198729
49Ytterbium 15.03 244129
50Jameh 15.04 203649
51Yacob Y. 15.04 243623
52Lisa Kim 15.04 211817
53Andrew Grasso 15.04 150
54Anon5 15.04 239794
55AFC 15.04 156
56Mickey Mouse 15.05 305228
57Valya Barboy 15.05 198325
58Aaron H 15.05 265754
59bfang 15.05 273307
60Janie Gu 15.05 240613
61Walter Little 15.05 253430
62BH 15.06 245373
63BMJ 15.06 260748
64Charlie Shucheng Zhu 15.06 264544
65snowflakes 15.06 265250
66K.L. 15.06 324467
67Andrew Werner 15.07 254342
68Mr. Blobby 15.08 267640
69Ben Chen 15.09 244585
70Samuel Jerome 15.09 273350
71Tree Prophet 15.10 156
72An Extremely Ordinary Sloth15.11 273215
73Andys 15.11 252142
74KingBach 15.12 229372
75Anon_K_P 15.13 257459
76LilThug 15.13 265678
77Joel Faron 15.17 158
78ModifiedWalkSatBreakZero 15.17 277023
79David H. 15.18 282898
80Jonathan Kwok 15.24 108
81Sunny 15.24 146
82DeeEmEm 15.37 108
83RedOrangeBlue 15.46 160
84jabreezy 15.70 160
85John Whelchel 15.73 132
86Bar Shabtai 15.77 98
87Brendan Wright 15.77 158
88Tiny Wings 15.78 267673
89Boomshanka 16.28 284339
90The Kraken 18.65 118
91dfshasdsf12 80.16 160
92Gewang 107.64 289625
93David Lackey 110.22 282548
94SuperFan 113.97 264723
95Alex Fish 116.90 278718
96Bob Dondero 120.22 279867
97Bebe Shi 127.01 294139
98Jessie Chen 127.69 272824
99David Paulk - -
100Qinlan Shen - -
101Yan Wu - -
102TSATTER - -
103Shaheed Chagani - -
104Dr Roberto - -
105Fanny - -
106Tom T - -
107Mike Honcho - -
108Mercury - -
109Miranda - -
110Jordan Ash - -
111The Whitman Whale - -
112Igor - -
113Sally Smith - -
114Mark Fillmore - -
115cjt - -
116cmF5a3ly - -
117Nikhilesh Sigatapu - -
118Sat Solver 2013 - -


SatSolvers Ranklist Generators Ranklist