SatSolvers Ranklist Generators Ranklist

Stats for formula: The Kraken-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 The Kraken-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf The Kraken-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: The Kraken-1
Rank of generator: 75 / 114
Average score: 2.59
Median score: 0.04
Best solver: haoyu
Description: This generator creates a CNF that represents a variant of the dinner table problem. First it creates large clauses to ensure everyone is seated. Then it ensures no seat is occupied twice. Then it takes care of specific pairs.
Solver Time taken Unsat
1haoyu 0.00 0
2Bar Shabtai 0.01 0
3Jonathan Kwok 0.01 0
4Glenn Fisher 0.01 0
5Nihar the Great 0.01 0
6KingBach 0.01 0
7Charlie Shucheng Zhu 0.01 0
8Yan Wu 0.01 0
9Anon5 0.01 0
10Jameh 0.01 0
11Aaron Doll 0.01 0
12Mr. Blobby 0.01 0
13jgs 0.01 0
14Elphaba 0.01 0
15Mercury 0.01 0
16Deric Cheng 0.01 0
17Aaron H 0.01 0
18EC 0.01 0
19Walter Little 0.01 0
20dusty 0.01 0
2113a 0.01 0
22CAPS LOCK 0.01 0
23ModifiedWalkSatBreakZero 0.01 0
24Lisa Kim 0.02 0
25NA 0.02 0
26Green "The Bean" Choi 0.02 0
27R. A. B. 0.02 0
28Sprt 0.02 0
29Ben Chen 0.02 0
30LilThug 0.02 0
31Janie Gu 0.02 0
32John Whelchel 0.02 0
33Matt Goldsmith 0.02 0
34Andrew Werner 0.02 0
35Mike Hawk 0.02 0
36Solving For Clauses 0.02 0
37David H. 0.02 0
38Andrew Grasso 0.02 0
39Joshua Zimmer 0.02 0
40Absurdity 0.02 0
410108 0.02 0
42Aristotle 0.02 0
43Yacob Y. 0.02 0
44Matt Haake 0.03 0
45Sabar Dasgupta 0.03 0
46Linda 0.03 0
47HashTagAlreadyFallBreak 0.03 0
48Andys 0.03 0
49jabreezy 0.03 0
50T. Capote 0.03 0
51bigwig 0.03 0
52soccer 0.03 0
53kt4124 0.03 0
54Tao 0.03 0
55Mark Fillmore 0.03 0
56spl 0.03 0
57dfshasdsf12 0.03 0
58burrito 0.04 0
59Shaheed Chagani 0.04 0
60bfang 0.04 0
61Blam 0.04 0
62snowflakes 0.04 0
63Quite Satisfied 0.04 0
64CookieMonster 0.04 0
65Tree Prophet 0.04 0
66Nikhilesh Sigatapu 0.04 0
67BH 0.05 0
68An Extremely Ordinary Sloth0.05 0
69Khoa 0.05 0
70Dr Roberto 0.05 0
71Boomshanka 0.05 0
72Keji Xu 0.06 0
73vhsiao 0.06 0
74Fanny 0.06 0
75David Paulk 0.07 0
76Alex Fish 0.08 0
77DeeEmEm 0.09 0
78David Lackey 0.09 0
79Tiny Wings 0.10 0
80Joel Faron 0.10 0
81Valya Barboy 0.10 0
82Mike Honcho 0.10 0
83Sally Smith 0.12 0
84The Whitman Whale 0.15 0
85Gewang 0.16 0
86cjt 0.16 0
87cmF5a3ly 0.16 0
88Brendan Wright 0.21 0
89Jessie Chen 0.23 0
90Jordan Ash 0.23 0
91Tom T 0.24 0
92weezy 0.31 0
93Ytterbium 0.35 0
94Qinlan Shen 0.79 0
95AFC 3.78 0
96The Kraken 6.03 0
97Happy 6.37 0
98bchouSolver 9.78 0
99SuperFan 13.85 0
100Samuel Jerome 15.00 1
101ebp 14.99 10
102RedOrangeBlue 14.99 11
103George Okeowo 0.06 12
104Sunny 14.71 13
105cat 14.99 17
106BMJ 15.00 38
107Anon_K_P 15.00 96
108Cam Porter 15.00 114
109Supahaka 14.56 165
110K.L. 15.00 751
111Ravi Tandon 15.00 1
112Bebe Shi 15.00 3
113Bob Dondero 15.00 54
114Sat Solver 2013 15.00 77
115Mickey Mouse 15.00 152
116TSATTER 15.00 250
117Miranda - -
118Igor - -


SatSolvers Ranklist Generators Ranklist