SatSolvers Ranklist | Generators Ranklist |
Cnf: | EC-0 |
Rank of generator: | 30 / 114 |
Average score: | 10.34 |
Median score: | 15.00 |
Best solver: | haoyu |
Description: | Dinner Party Problem w/ a round table and no hosts. Each person (A) has one other person (B) that person(A) must be placed with, and two other people (C, D) that person (A) cannot be placed with. |
Solver | Time taken | Unsat | |
---|---|---|---|
1 | haoyu | 0.03 | 0 |
2 | Aristotle | 0.13 | 0 |
3 | Charlie Shucheng Zhu | 0.21 | 0 |
4 | AFC | 0.23 | 0 |
5 | DeeEmEm | 0.28 | 0 |
6 | Dr Roberto | 0.28 | 0 |
7 | Matt Goldsmith | 0.28 | 0 |
8 | Shaheed Chagani | 0.29 | 0 |
9 | Tree Prophet | 0.36 | 0 |
10 | Green "The Bean" Choi | 0.54 | 0 |
11 | dusty | 0.66 | 0 |
12 | David H. | 0.72 | 0 |
13 | Joel Faron | 0.88 | 0 |
14 | Quite Satisfied | 0.94 | 0 |
15 | The Whitman Whale | 0.98 | 0 |
16 | EC | 0.99 | 0 |
17 | Glenn Fisher | 1.32 | 0 |
18 | spl | 1.47 | 0 |
19 | CookieMonster | 1.57 | 0 |
20 | ebp | 1.59 | 0 |
21 | ModifiedWalkSatBreakZero | 1.70 | 0 |
22 | Jonathan Kwok | 1.89 | 0 |
23 | Brendan Wright | 1.91 | 0 |
24 | Mike Hawk | 2.04 | 0 |
25 | Nikhilesh Sigatapu | 2.32 | 0 |
26 | Fanny | 2.42 | 0 |
27 | Aaron Doll | 2.65 | 0 |
28 | Matt Haake | 2.67 | 0 |
29 | dfshasdsf12 | 3.09 | 0 |
30 | Andrew Werner | 3.26 | 0 |
31 | Anon_K_P | 3.27 | 0 |
32 | BH | 3.49 | 0 |
33 | Walter Little | 3.55 | 0 |
34 | Tao | 3.75 | 0 |
35 | Yan Wu | 4.34 | 0 |
36 | Ben Chen | 4.50 | 0 |
37 | Deric Cheng | 5.04 | 0 |
38 | bfang | 5.92 | 0 |
39 | jgs | 6.38 | 0 |
40 | Sunny | 7.10 | 0 |
41 | Mike Honcho | 8.42 | 0 |
42 | vhsiao | 9.96 | 0 |
43 | snowflakes | 10.46 | 0 |
44 | Sabar Dasgupta | 14.49 | 0 |
45 | NA | 14.99 | 2 |
46 | Andrew Grasso | 15.00 | 2 |
47 | 13a | 15.00 | 2 |
48 | Bar Shabtai | 15.00 | 2 |
49 | Samuel Jerome | 15.00 | 4 |
50 | CAPS LOCK | 13.00 | 4 |
51 | Janie Gu | 15.00 | 7 |
52 | R. A. B. | 9.00 | 7 |
53 | John Whelchel | 15.00 | 8 |
54 | HashTagAlreadyFallBreak | 15.00 | 10 |
55 | bchouSolver | 15.00 | 14 |
56 | Elphaba | 0.04 | 19 |
57 | George Okeowo | 0.29 | 20 |
58 | soccer | 15.00 | 26 |
59 | T. Capote | 15.00 | 30 |
60 | bigwig | 15.00 | 32 |
61 | RedOrangeBlue | 14.99 | 412 |
62 | Boomshanka | 15.00 | 561 |
63 | BMJ | 15.00 | 786 |
64 | Cam Porter | 15.00 | 3462 |
65 | cat | 14.99 | 4274 |
66 | K.L. | 15.00 | 15024 |
67 | Mr. Blobby | 15.00 | 1 |
68 | Joshua Zimmer | 15.00 | 1 |
69 | Sprt | 15.00 | 1 |
70 | Anon5 | 15.00 | 1 |
71 | Aaron H | 15.00 | 2 |
72 | An Extremely Ordinary Sloth | 15.00 | 2 |
73 | KingBach | 15.00 | 3 |
74 | Mercury | 15.00 | 3 |
75 | Mark Fillmore | 15.00 | 4 |
76 | Jameh | 15.00 | 5 |
77 | Solving For Clauses | 15.00 | 5 |
78 | Nihar the Great | 15.00 | 7 |
79 | Yacob Y. | 15.00 | 8 |
80 | 0108 | 15.00 | 10 |
81 | Ravi Tandon | 15.00 | 13 |
82 | weezy | 15.00 | 16 |
83 | kt4124 | 15.00 | 17 |
84 | Happy | 15.00 | 19 |
85 | Khoa | 15.00 | 20 |
86 | Linda | 15.00 | 23 |
87 | Sat Solver 2013 | 15.00 | 1083 |
88 | Supahaka | 15.00 | 2787 |
89 | Mickey Mouse | 15.00 | 3188 |
90 | Andys | 15.00 | 1 |
91 | Valya Barboy | 15.00 | 1 |
92 | burrito | 15.00 | 19 |
93 | Blam | 15.00 | 24 |
94 | Ytterbium | 15.00 | 4 |
95 | Absurdity | 15.00 | 5 |
96 | David Lackey | 15.00 | 7 |
97 | Lisa Kim | 15.00 | 7 |
98 | LilThug | 15.01 | 8 |
99 | The Kraken | 15.01 | 25 |
100 | Tiny Wings | 15.01 | 71 |
101 | Sally Smith | 15.01 | 19 |
102 | Alex Fish | 15.01 | 4 |
103 | cmF5a3ly | 15.01 | 7 |
104 | SuperFan | 15.01 | 3146 |
105 | Bob Dondero | 15.01 | 2686 |
106 | TSATTER | 15.02 | 4195 |
107 | Jessie Chen | 15.02 | 28 |
108 | Bebe Shi | 15.03 | 9 |
109 | Gewang | 15.03 | 502 |
110 | Keji Xu | 15.14 | 10 |
111 | Qinlan Shen | 15.22 | 3624 |
112 | Jordan Ash | 19.28 | 20 |
113 | cjt | 22.50 | 29 |
114 | Tom T | 27.16 | 2 |
115 | David Paulk | - | - |
116 | jabreezy | - | - |
117 | Miranda | - | - |
118 | Igor | - | - |
SatSolvers Ranklist | Generators Ranklist |