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