SatSolvers Ranklist Generators Ranklist

Stats for formula: Mr. Blobby-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 Mr. Blobby-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Mr. Blobby-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: Mr. Blobby-1
Rank of generator: 28 / 114
Average score: 10.27
Median score: 15.00
Best solver: dusty
Description: Mr. Blobby's CNF generator constructs an instance of a 9 x 9 sudoku puzzle that is guaranteed to be satisfiable.
Solver Time taken Unsat
1dusty 0.12 0
2ModifiedWalkSatBreakZero 0.13 0
3Green "The Bean" Choi 0.15 0
4David H. 0.17 0
5CookieMonster 0.17 0
6Shaheed Chagani 0.22 0
7spl 0.22 0
8Dr Roberto 0.31 0
9Anon5 0.37 0
10Matt Haake 0.41 0
11Tree Prophet 0.64 0
12vhsiao 0.71 0
13Ben Chen 0.71 0
14jgs 0.77 0
15Mike Honcho 0.77 0
16DeeEmEm 0.79 0
17Yacob Y. 0.81 0
18Jonathan Kwok 0.97 0
19Deric Cheng 1.04 0
20Mr. Blobby 1.18 0
21Matt Goldsmith 1.19 0
22Sabar Dasgupta 1.45 0
23The Whitman Whale 1.69 0
24snowflakes 1.92 0
25Walter Little 2.02 0
26Joshua Zimmer 2.12 0
27Glenn Fisher 2.22 0
28BH 2.67 0
29Sprt 2.92 0
30John Whelchel 3.19 0
31Andrew Grasso 3.25 0
32Nikhilesh Sigatapu 3.50 0
33Valya Barboy 3.97 0
34Andrew Werner 4.45 0
35Mike Hawk 4.47 0
36Janie Gu 4.54 0
37Andys 4.75 0
38Aaron Doll 6.72 0
39EC 8.27 0
40Lisa Kim 10.85 0
41Aristotle 11.27 0
42bfang 12.43 0
43Absurdity 14.27 0
44Tao 14.69 0
45NA 14.99 1
46Fanny 1.02 2
4713a 15.00 2
48haoyu 15.00 6
49Samuel Jerome 15.00 9
50Joel Faron 15.00 19
51Brendan Wright 15.00 20
52CAPS LOCK 13.00 26
53HashTagAlreadyFallBreak 15.00 36
54Boomshanka 0.26 41
55R. A. B. 9.00 44
56bchouSolver 15.00 47
57cat 14.99 52
58T. Capote 15.00 59
59Elphaba 0.06 67
60bigwig 15.00 68
61RedOrangeBlue 14.99 73
62George Okeowo 0.18 91
63Sunny 14.92 91
64BMJ 15.00 1391
65Cam Porter 15.00 1611
66Supahaka 6.70 2105
67Anon_K_P 15.00 2175
68K.L. 15.00 10105
69dfshasdsf12 15.00 4
70Nihar the Great 15.00 6
71Aaron H 15.00 9
72Ytterbium 15.00 14
730108 15.00 23
74Mark Fillmore 15.00 27
75AFC 15.00 28
76LilThug 15.00 28
77Jameh 15.00 29
78Solving For Clauses 15.00 29
79Quite Satisfied 15.00 30
80An Extremely Ordinary Sloth15.00 33
81burrito 15.00 39
82weezy 15.00 47
83Linda 15.00 48
84kt4124 15.00 56
85Blam 15.00 60
86Ravi Tandon 15.00 61
87Sally Smith 15.00 71
88Khoa 15.00 91
89Sat Solver 2013 15.00 554
90Mickey Mouse 15.00 2268
91The Kraken 15.00 713
92Mercury 15.00 23
93Tiny Wings 15.00 14
94Bob Dondero 15.01 2559
95SuperFan 15.01 2443
96Keji Xu 15.01 38
97David Lackey 15.02 52
98Alex Fish 15.02 311
99Bebe Shi 15.04 425
100Jessie Chen 15.04 1006
101Happy 15.04 65
102Qinlan Shen 15.05 1194
103Gewang 15.11 1933
104cmF5a3ly 15.12 3203
105TSATTER 15.20 2992
106Tom T 15.69 7
107cjt 22.50 59
108Charlie Shucheng Zhu 22.50 3
109Jordan Ash 40.22 91
110Yan Wu 49.54 0
111David Paulk - -
112KingBach - -
113jabreezy - -
114soccer - -
115Miranda - -
116Bar Shabtai - -
117ebp - -
118Igor - -


SatSolvers Ranklist Generators Ranklist