SatSolvers Ranklist | Generators Ranklist |
Cnf: | CookieMonster-0 |
Rank of generator: | 1 / 114 |
Average score: | 14.69 |
Median score: | 15.00 |
Best solver: | CookieMonster |
Description: | PrisonBreak is a random satisfiable cnf generator which is a reduction of a prisoner trying to avoid searchlights as he makes his escape towards a goal. The prison yard (represented linearly, as a straight dashtowards the exit) is given a certain size, and the prisoner has a certain amount of time to reach the exit before the hounds areset loose. Finally, a certain number of searchlights constantlysweep different points in the yard. The prisoner must make hisway to the exit within the alloted number of time steps, withoutever occupying the same space as a searchlight. |
Solver | Time taken | Unsat | |
---|---|---|---|
1 | CookieMonster | 0.82 | 0 |
2 | dusty | 3.21 | 0 |
3 | BH | 7.35 | 0 |
4 | Joel Faron | 15.00 | 1 |
5 | Brendan Wright | 15.00 | 1 |
6 | Andrew Werner | 15.00 | 1 |
7 | Janie Gu | 15.00 | 1 |
8 | Dr Roberto | 14.99 | 1 |
9 | DeeEmEm | 15.00 | 1 |
10 | jgs | 14.98 | 1 |
11 | haoyu | 15.00 | 1 |
12 | The Whitman Whale | 15.00 | 1 |
13 | 13a | 15.00 | 1 |
14 | Aristotle | 15.00 | 1 |
15 | Tao | 15.00 | 1 |
16 | Samuel Jerome | 15.00 | 1 |
17 | spl | 15.00 | 1 |
18 | bfang | 15.00 | 1 |
19 | Matt Goldsmith | 15.00 | 1 |
20 | HashTagAlreadyFallBreak | 15.00 | 1 |
21 | ModifiedWalkSatBreakZero | 15.00 | 1 |
22 | snowflakes | 15.00 | 2 |
23 | vhsiao | 14.99 | 2 |
24 | Glenn Fisher | 15.00 | 2 |
25 | John Whelchel | 15.00 | 2 |
26 | George Okeowo | 0.33 | 3 |
27 | NA | 15.00 | 4 |
28 | bigwig | 15.00 | 4 |
29 | CAPS LOCK | 13.00 | 10 |
30 | Green "The Bean" Choi | 15.00 | 11 |
31 | bchouSolver | 15.00 | 12 |
32 | Nikhilesh Sigatapu | 15.00 | 13 |
33 | Boomshanka | 0.34 | 14 |
34 | R. A. B. | 9.00 | 15 |
35 | cat | 14.99 | 18 |
36 | T. Capote | 15.00 | 23 |
37 | Elphaba | 0.03 | 26 |
38 | RedOrangeBlue | 14.99 | 28 |
39 | Sunny | 14.98 | 32 |
40 | BMJ | 15.00 | 1465 |
41 | Supahaka | 8.33 | 1501 |
42 | Cam Porter | 15.00 | 3018 |
43 | K.L. | 15.00 | 14991 |
44 | Matt Haake | 15.00 | 1 |
45 | KingBach | 15.00 | 1 |
46 | Absurdity | 15.00 | 1 |
47 | Aaron H | 15.00 | 1 |
48 | Shaheed Chagani | 15.00 | 1 |
49 | dfshasdsf12 | 15.00 | 1 |
50 | Mike Honcho | 15.00 | 1 |
51 | Andys | 15.00 | 1 |
52 | Valya Barboy | 15.00 | 1 |
53 | Mr. Blobby | 15.00 | 1 |
54 | Andrew Grasso | 15.00 | 1 |
55 | Mike Hawk | 15.00 | 1 |
56 | Walter Little | 15.00 | 1 |
57 | Jonathan Kwok | 15.00 | 1 |
58 | Charlie Shucheng Zhu | 15.00 | 1 |
59 | Joshua Zimmer | 15.00 | 1 |
60 | Deric Cheng | 15.00 | 1 |
61 | Anon5 | 15.00 | 1 |
62 | Aaron Doll | 15.00 | 2 |
63 | Yacob Y. | 15.00 | 2 |
64 | Quite Satisfied | 15.00 | 2 |
65 | 0108 | 15.00 | 3 |
66 | Fanny | 15.00 | 3 |
67 | Mark Fillmore | 15.00 | 3 |
68 | Lisa Kim | 15.00 | 5 |
69 | Blam | 15.00 | 6 |
70 | LilThug | 15.00 | 7 |
71 | Jameh | 15.00 | 10 |
72 | AFC | 15.00 | 10 |
73 | Solving For Clauses | 15.00 | 11 |
74 | burrito | 15.00 | 13 |
75 | Ravi Tandon | 15.00 | 15 |
76 | Linda | 15.00 | 16 |
77 | Keji Xu | 15.00 | 19 |
78 | weezy | 15.00 | 21 |
79 | Happy | 15.00 | 27 |
80 | Khoa | 15.00 | 32 |
81 | Sat Solver 2013 | 15.00 | 351 |
82 | Mickey Mouse | 15.00 | 3204 |
83 | David H. | 15.00 | 4064 |
84 | An Extremely Ordinary Sloth | 15.00 | 1 |
85 | Tree Prophet | 15.00 | 1 |
86 | Ytterbium | 15.00 | 1 |
87 | Nihar the Great | 15.00 | 1 |
88 | Sprt | 15.00 | 1 |
89 | Ben Chen | 15.00 | 1 |
90 | kt4124 | 15.00 | 3 |
91 | Mercury | 15.00 | 1 |
92 | EC | 15.00 | 2 |
93 | Sally Smith | 15.00 | 21 |
94 | Tiny Wings | 15.00 | 35 |
95 | Sabar Dasgupta | 15.00 | 1 |
96 | The Kraken | 15.00 | 26 |
97 | Anon_K_P | 15.01 | 1 |
98 | Gewang | 15.01 | 1420 |
99 | TSATTER | 15.04 | 4203 |
100 | Jessie Chen | 15.05 | 445 |
101 | David Lackey | 15.06 | 10 |
102 | SuperFan | 15.06 | 3362 |
103 | Bebe Shi | 15.06 | 343 |
104 | Bob Dondero | 15.07 | 1225 |
105 | Alex Fish | 15.08 | 7 |
106 | cmF5a3ly | 15.08 | 1032 |
107 | Qinlan Shen | 15.11 | 3098 |
108 | cjt | 22.50 | 21 |
109 | Jordan Ash | 35.20 | 32 |
110 | Tom T | 35.99 | 1 |
111 | David Paulk | - | - |
112 | Yan Wu | - | - |
113 | jabreezy | - | - |
114 | soccer | - | - |
115 | Miranda | - | - |
116 | Bar Shabtai | - | - |
117 | ebp | - | - |
118 | Igor | - | - |
SatSolvers Ranklist | Generators Ranklist |