SatSolvers Ranklist Generators Ranklist

Stats for formula: Aaron Doll-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 Aaron Doll-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Aaron Doll-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: Aaron Doll-1
Rank of generator: 2 / 114
Average score: 14.71
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 1.27 0
2Aaron Doll 4.62 0
3dusty 11.65 0
4vhsiao 14.99 12
5Matt Goldsmith 15.00 16
6Elphaba 7.25 154
7ebp 14.99 156
8CAPS LOCK 13.02 216849
9Tao 15.00 287891
10jgs 14.99 291128
11Andrew Werner 15.00 319293
12R. A. B. 9.04 321402
13Quite Satisfied 15.00 59
14Matt Haake 15.00 52179
15Joshua Zimmer 15.00 286120
16spl 15.00 3
17KingBach 15.00 303119
18cat 15.00 142
19CookieMonster 15.00 123301
20kt4124 15.00 297422
21T. Capote 15.00 296275
2213a 15.01 158
23Solving For Clauses 15.01 253840
24weezy 15.01 353329
25bigwig 15.01 102
26HashTagAlreadyFallBreak 15.01 215351
27Valya Barboy 15.01 268026
28Nihar the Great 15.01 41
29Janie Gu 15.01 284931
30Anon5 15.01 298826
31bfang 15.01 330679
32Andrew Grasso 15.02 154
33Ravi Tandon 15.02 309392
34BMJ 15.02 346083
35Keji Xu 15.02 264853
36Happy 15.02 160
370108 15.02 262796
38Deric Cheng 15.02 294674
39Jameh 15.02 267632
40Mike Hawk 15.02 307108
41Mr. Blobby 15.02 320036
42Lisa Kim 15.03 276208
43NA 15.03 284911
44Linda 15.03 299095
45bchouSolver 15.03 151
46Samuel Jerome 15.03 325519
47Brendan Wright 15.03 158
48Cam Porter 15.03 333252
49Mickey Mouse 15.03 336656
50EC 15.03 284883
51Khoa 15.03 160
52burrito 15.03 267936
53AFC 15.04 158
54Ben Chen 15.04 318584
55Sprt 15.04 293264
56Andys 15.04 319855
57George Okeowo 15.04 160
58Walter Little 15.05 334280
59Green "The Bean" Choi 15.05 160
60Glenn Fisher 15.05 239335
61BH 15.05 310650
62Sabar Dasgupta 15.06 279602
63Absurdity 15.06 300531
64Supahaka 15.06 322016
65soccer 15.06 294022
66K.L. 15.07 379552
67Yacob Y. 15.07 306291
68Ytterbium 15.08 304740
69Charlie Shucheng Zhu 15.08 322238
70An Extremely Ordinary Sloth15.09 336816
71Tree Prophet 15.09 158
72David H. 15.09 340432
73LilThug 15.09 319563
74snowflakes 15.11 316831
75Anon_K_P 15.11 334880
76ModifiedWalkSatBreakZero 15.12 353283
77Blam 15.12 335628
78Aaron H 15.12 333977
79Joel Faron 15.17 158
80Bar Shabtai 15.49 116
81DeeEmEm 15.50 118
82Jonathan Kwok 15.73 123
83haoyu 15.74 1
84Tiny Wings 16.21 348220
85RedOrangeBlue 16.31 160
86jabreezy 16.51 160
87Boomshanka 17.47 350972
88John Whelchel 17.50 140
89Sunny 18.51 154
90The Kraken 24.12 123
91dfshasdsf12 101.36 160
92Alex Fish 136.32 339809
93Bebe Shi 138.01 330979
94David Lackey 138.91 339394
95SuperFan 140.77 330194
96David Paulk - -
97Qinlan Shen - -
98Yan Wu - -
99TSATTER - -
100Shaheed Chagani - -
101Dr Roberto - -
102Fanny - -
103Tom T - -
104Mike Honcho - -
105Jessie Chen - -
106Mercury - -
107Miranda - -
108Jordan Ash - -
109Gewang - -
110The Whitman Whale - -
111Igor - -
112Sally Smith - -
113Mark Fillmore - -
114cjt - -
115Bob Dondero - -
116cmF5a3ly - -
117Nikhilesh Sigatapu - -
118Sat Solver 2013 - -


SatSolvers Ranklist Generators Ranklist