SatSolvers Ranklist Generators Ranklist

Stats for formula: Blam-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 Blam-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Blam-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: Blam-1
Rank of generator: 79 / 114
Average score: 2.10
Median score: 0.02
Best solver: Elphaba
Description: This creates a cnf that asks if there is a path between a graph'sfirst and last nodes. (Note: This is really any two nodes with reindexing). The cnf includes all of the nodes and edges and determines if there is a pathbetween node 0 and node n if and only if (there is an edge between 0 and n) or if((nodes 0 and n are connected) and (there is an edge between x and n))
Solver Time taken Unsat
1Elphaba 0.00 0
2haoyu 0.00 0
3KingBach 0.00 0
4jabreezy 0.00 0
5Glenn Fisher 0.00 0
6Mercury 0.01 0
7Ben Chen 0.01 0
8EC 0.01 0
9Yan Wu 0.01 0
10snowflakes 0.01 0
11burrito 0.01 0
12Keji Xu 0.01 0
13dusty 0.01 0
14Jonathan Kwok 0.01 0
15Matt Haake 0.01 0
16Absurdity 0.01 0
17jgs 0.01 0
18Green "The Bean" Choi 0.01 0
19spl 0.01 0
20Aaron H 0.01 0
21Sabar Dasgupta 0.01 0
22Lisa Kim 0.01 0
23ModifiedWalkSatBreakZero 0.01 0
24Andrew Werner 0.01 0
25Sunny 0.01 0
26David H. 0.01 0
27Shaheed Chagani 0.01 0
28NA 0.01 0
29R. A. B. 0.01 0
30Charlie Shucheng Zhu 0.01 0
31Yacob Y. 0.01 0
32CAPS LOCK 0.01 0
33Deric Cheng 0.01 0
34Anon5 0.01 0
35Janie Gu 0.01 0
36Andys 0.01 0
37Aaron Doll 0.01 0
38Linda 0.01 0
39T. Capote 0.01 0
40An Extremely Ordinary Sloth0.01 0
41DeeEmEm 0.01 0
42Solving For Clauses 0.01 0
43Sprt 0.01 0
44Jameh 0.02 0
45Walter Little 0.02 0
46Mike Hawk 0.02 0
47Tao 0.02 0
48Joshua Zimmer 0.02 0
49bigwig 0.02 0
50Alex Fish 0.02 0
51Mr. Blobby 0.02 0
52HashTagAlreadyFallBreak 0.02 0
53Tree Prophet 0.02 0
54Mike Honcho 0.02 0
55CookieMonster 0.02 0
56bfang 0.02 0
57vhsiao 0.02 0
58AFC 0.02 0
59Andrew Grasso 0.02 0
60dfshasdsf12 0.03 0
61George Okeowo 0.03 0
62Mark Fillmore 0.03 0
63Nikhilesh Sigatapu 0.03 0
64bchouSolver 0.03 0
65Fanny 0.03 0
66kt4124 0.03 0
67BH 0.04 0
68John Whelchel 0.04 0
69Ravi Tandon 0.04 0
70David Lackey 0.04 0
71Dr Roberto 0.04 0
72Jessie Chen 0.05 0
73Jordan Ash 0.05 0
74David Paulk 0.06 0
75weezy 0.06 0
76Sally Smith 0.06 0
77cmF5a3ly 0.06 0
78Tiny Wings 0.06 0
79cjt 0.07 0
80Matt Goldsmith 0.07 0
81Quite Satisfied 0.07 0
82Valya Barboy 0.07 0
83Qinlan Shen 0.08 0
84Ytterbium 0.08 0
85Tom T 0.09 0
86Joel Faron 0.09 0
87The Whitman Whale 0.09 0
88Brendan Wright 0.12 0
890108 0.12 0
90Gewang 0.17 0
91Blam 0.19 0
92Aristotle 0.20 0
93Khoa 0.81 0
9413a 1.01 0
95Mickey Mouse 2.41 0
96SuperFan 2.45 0
97Bob Dondero 2.51 0
98Anon_K_P 3.19 0
99Samuel Jerome 12.00 0
100Boomshanka 15.00 5
101RedOrangeBlue 14.99 20
102cat 14.99 27
103The Kraken 15.00 46
104BMJ 15.00 47
105Cam Porter 15.00 62
106K.L. 15.00 123
107Bebe Shi 15.00 3
108LilThug 15.00 3
109Nihar the Great 15.00 4
110Happy 15.00 5
111Miranda 15.00 11
112Sat Solver 2013 15.00 50
113TSATTER 15.00 63
114Supahaka - -
115soccer - -
116Bar Shabtai - -
117ebp - -
118Igor - -


SatSolvers Ranklist Generators Ranklist