SatSolvers Ranklist Generators Ranklist

Stats for formula: SuperFan-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 SuperFan-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf SuperFan-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: SuperFan-1
Rank of generator: * / 114
Average score: 15.00
Median score: 15.00
Best solver: jgs
Description: This generator generates an instance of a problem of the 'Flow' game. The game has a grid, and various different colored pairs of start points, and the object is to make paths connecting each pair of points. The puzzles generated are not always solvable.
Solver Time taken Unsat
1jgs 14.98 4
2NA 14.99 4
3Joel Faron 15.00 4
4Andrew Werner 15.00 4
5Andrew Grasso 15.00 4
613a 15.00 4
7Aristotle 15.00 4
8Tao 15.00 4
9spl 15.00 4
10CAPS LOCK 13.00 5
11Samuel Jerome 15.00 6
12bfang 15.00 6
13CookieMonster 15.00 7
14John Whelchel 15.00 7
15snowflakes 15.00 10
16vhsiao 14.98 11
17Matt Goldsmith 15.00 11
18HashTagAlreadyFallBreak 15.00 11
19haoyu 14.99 12
20ModifiedWalkSatBreakZero 15.00 12
21Janie Gu 15.00 13
22R. A. B. 9.00 13
23Boomshanka 15.00 16
24Nikhilesh Sigatapu 0.79 19
25Glenn Fisher 15.00 21
26T. Capote 15.00 22
27bigwig 15.00 25
28bchouSolver 15.00 27
29AFC 0.21 31
30Dr Roberto 0.31 34
31DeeEmEm 0.14 38
32Brendan Wright 0.59 40
33Tree Prophet 0.09 40
34The Whitman Whale 0.91 41
35Elphaba 0.01 54
36RedOrangeBlue 14.99 61
37Green "The Bean" Choi 0.10 62
38The Kraken 15.00 72
39George Okeowo 0.05 75
40Cam Porter 15.00 83
41Anon_K_P 15.00 143
42BMJ 15.00 181
43Supahaka 0.10 185
44cat 14.99 276
45K.L. 15.00 397
46Matt Haake 15.00 4
47KingBach 15.00 4
48Aaron H 15.00 4
49dfshasdsf12 15.00 4
50Mike Honcho 15.00 4
51Ytterbium 15.00 4
52Andys 15.00 4
53Valya Barboy 15.00 4
54Mr. Blobby 15.00 4
55Sabar Dasgupta 15.00 4
56Mercury 15.00 4
57BH 15.00 4
58dusty 15.00 4
59Jonathan Kwok 15.00 4
60Mike Hawk 15.00 4
61Joshua Zimmer 15.00 4
62Deric Cheng 15.00 4
63Sprt 15.00 4
64Ben Chen 15.00 4
65Anon5 15.00 4
66Aaron Doll 15.00 5
67Mark Fillmore 15.00 5
68An Extremely Ordinary Sloth15.00 6
69Fanny 15.00 6
70Jameh 15.00 6
71Solving For Clauses 15.00 6
72Happy 15.00 6
73Alex Fish 15.00 7
74Walter Little 15.00 7
75Shaheed Chagani 15.00 8
76Nihar the Great 15.00 10
77cmF5a3ly 15.00 11
78Bebe Shi 15.00 12
79Lisa Kim 15.00 12
80burrito 15.00 13
81SuperFan 15.00 13
82David Lackey 15.00 15
83Keji Xu 15.00 15
84Absurdity 15.00 17
85weezy 15.00 17
86Yacob Y. 15.00 18
87Tiny Wings 15.00 18
88EC 15.00 19
89Quite Satisfied 15.00 19
900108 15.00 20
91Miranda 15.00 21
92Ravi Tandon 15.00 21
93Jessie Chen 15.00 22
94LilThug 15.00 22
95Sally Smith 15.00 27
96Blam 15.00 32
97kt4124 15.00 33
98Bob Dondero 15.00 36
99Linda 15.00 37
100Khoa 15.00 75
101Sat Solver 2013 15.00 87
102Mickey Mouse 15.00 189
103TSATTER 15.00 203
104David H. 15.00 204
105Qinlan Shen 15.00 4
106Gewang 15.00 5
107Yan Wu 15.28 14
108Jordan Ash 15.38 75
109cjt 16.43 24
110Tom T 16.71 4
111Charlie Shucheng Zhu 22.50 4
112David Paulk - -
113jabreezy - -
114Sunny - -
115soccer - -
116Bar Shabtai - -
117ebp - -
118Igor - -


SatSolvers Ranklist Generators Ranklist