dsh-eval-guard 0.2.3 → 0.3.1

package/eval/arena/warehouse/workspace/workloads/public/pub_wide.in

@@ -0,0 +1,528 @@
+90 61 1500
+##########################################################################################
+#.....C............C............C............C............C............C.................#
+#........................................................................................#
+#........................................................................................#
+#.....#########..#########..######..########..######..########..######..#######..#####...#
+#........................................................................................#
+#........................................................................................#
+#.....#######..#########..#########..########..#########..########..######..#######..#...#
+#........................................................................................#
+#........................................................................................#
+#.....#########..########..########..#######..#########..#########..#########..######....#
+#........................................................................................#
+#........................................................................................#
+#.....######..#######..#######..######..######..#########..########..########..######....#
+#........................................................................................#
+#........................................................................................#
+#.....########..#########..#######..#########..#########..########..########..########...#
+#........................................................................................#
+#........................................................................................#
+#.....#########..######..#########..########..######..######..#######..########..#####...#
+#........................................................................................#
+#........................................................................................#
+#.....######..########..########..#######..#######..######..#########..######..#######...#
+#........................................................................................#
+#........................................................................................#
+#.....######..########..########..######..########..#######..######..######..#######.....#
+#........................................................................................#
+#........................................................................................#
+#.....######..#########..######..#########..#########..######..######..#########..####...#
+#........................................................................................#
+#........................................................................................#
+#.....######..######..#########..#######..######..#######..######..#########..#######....#
+#........................................................................................#
+#........................................................................................#
+#.....########..#######..#######..######..#########..########..#########..#######..###...#
+#........................................................................................#
+#........................................................................................#
+#.....#########..#########..#######..########..########..#########..#########..#######...#
+#........................................................................................#
+#........................................................................................#
+#.....######..######..#########..#######..#########..######..########..#########..####...#
+#........................................................................................#
+#........................................................................................#
+#.....######..########..########..########..########..########..#########..######..###...#
+#........................................................................................#
+#........................................................................................#
+#.....######..#######..#######..#######..#######..#########..#######..#########..#####...#
+#........................................................................................#
+#........................................................................................#
+#.....########..########..########..########..########..#######..#########..#########....#
+#........................................................................................#
+#........................................................................................#
+#.....########..########..######..########..#########..######..#########..#########..#...#
+#........................................................................................#
+#........................................................................................#
+#.....#######..#########..########..#######..#########..#######..#######..#########..#...#
+#........................................................................................#
+#........................................................................................#
+#........................................................................................#
+#........................................................................................#
+##########################################################################################
+PARAMS 1208 60 302 30 50 3
+ROBOTS 40
+82 42
+72 15
+51 36
+41 22
+28 41
+34 47
+85 6
+66 35
+25 58
+15 54
+13 36
+49 51
+10 14
+40 32
+32 22
+30 5
+62 36
+57 20
+4 58
+46 38
+15 51
+12 23
+6 5
+27 30
+9 2
+42 29
+15 23
+4 24
+38 15
+86 1
+78 58
+85 1
+30 21
+31 30
+76 48
+41 26
+25 1
+3 45
+84 51
+21 59
+EVENTS 423
+4 ORDER 1 26 30 69 58 0
+9 ORDER 2 36 45 3 13 1
+10 BLOCK 34 57
+12 ORDER 3 84 23 2 22 3
+13 ORDER 4 15 6 1 38 1
+15 BLOCK 27 59
+19 ORDER 5 35 33 1 15 0
+22 ORDER 6 51 45 21 59 3
+23 ORDER 7 45 29 8 58 2
+32 ORDER 8 38 41 1 22 0
+38 ORDER 9 39 23 2 33 0
+47 CANCEL 100009
+48 ORDER 10 34 45 84 59 1
+49 ORDER 11 48 17 52 58 1
+55 ORDER 12 66 24 1 44 0
+59 ORDER 13 64 45 2 48 0
+60 ORDER 14 21 36 1 25 0
+63 ORDER 15 12 33 80 58 0
+67 ORDER 16 76 35 3 57 1
+75 ORDER 17 82 17 15 59 0
+78 ORDER 18 59 3 77 58 2
+80 ORDER 19 33 17 3 22 0
+81 ORDER 20 48 39 51 58 3
+83 ORDER 21 16 41 3 31 0
+86 ORDER 22 17 53 81 58 0
+93 ORDER 23 79 39 3 9 0
+97 ORDER 24 8 17 44 59 0
+98 UNBLOCK 27 59
+115 ORDER 25 62 20 1 39 0
+130 ORDER 26 78 29 22 58 0
+137 ORDER 27 58 17 71 59 0
+138 ORDER 28 50 15 3 34 0
+140 ORDER 29 56 51 1 45 0
+144 ORDER 30 38 18 2 1 0
+148 ORDER 31 44 47 2 48 1
+150 ORDER 32 58 6 3 25 1
+154 ORDER 33 42 15 58 59 0
+163 UNBLOCK 34 57
+164 ORDER 34 59 54 3 42 0
+165 ORDER 35 19 20 1 10 2
+166 ORDER 36 58 3 23 58 1
+169 ORDER 37 41 11 2 10 0
+173 ORDER 38 43 38 58 58 0
+175 ORDER 39 24 17 2 23 3
+179 ORDER 40 61 8 54 59 0
+180 ORDER 41 9 32 70 59 0
+182 ORDER 42 63 28 2 22 1
+184 ORDER 43 58 26 35 58 0
+190 ORDER 44 31 8 77 59 0
+192 ORDER 45 38 54 1 2 0
+195 ORDER 46 6 50 12 59 1
+196 ORDER 47 49 36 1 47 0
+198 ORDER 48 76 8 10 59 1
+201 ORDER 49 15 41 2 23 3
+209 ORDER 50 65 14 81 59 0
+210 ORDER 51 46 27 49 59 0
+213 ORDER 52 36 54 2 24 0
+214 ORDER 53 6 54 1 43 0
+218 ORDER 54 25 36 2 47 0
+222 CANCEL 26
+227 ORDER 55 67 20 3 24 0
+228 ORDER 56 20 33 3 13 0
+231 ORDER 57 43 12 18 58 0
+235 CANCEL 53
+238 ORDER 58 33 15 2 16 0
+240 ORDER 59 75 21 3 31 0
+244 ORDER 60 40 54 1 20 0
+245 ORDER 61 53 33 71 59 0
+249 ORDER 62 48 29 50 59 0
+254 ORDER 63 57 45 4 59 0
+275 ORDER 64 80 6 57 58 0
+276 ORDER 65 61 5 1 47 0
+284 ORDER 66 20 29 29 58 1
+289 ORDER 67 17 14 3 27 0
+290 ORDER 68 30 9 16 58 0
+291 BLOCK 10 29
+294 ORDER 69 44 41 3 7 0
+304 ORDER 70 47 50 1 51 0
+307 ORDER 71 11 48 46 58 0
+309 ORDER 72 71 36 47 58 2
+311 ORDER 73 29 35 22 58 0
+317 ORDER 74 26 48 3 12 1
+319 ORDER 75 45 33 33 58 0
+323 ORDER 76 29 27 41 59 3
+326 ORDER 77 9 50 2 39 1
+327 ORDER 78 44 15 60 59 1
+329 CANCEL 39
+330 ORDER 79 28 42 2 28 3
+338 ORDER 80 31 50 67 58 1
+341 ORDER 81 8 42 2 7 2
+343 UNBLOCK 10 29
+343 ORDER 82 81 36 74 59 0
+346 ORDER 83 71 8 3 25 0
+351 ORDER 84 29 15 2 41 0
+358 ORDER 85 11 54 3 6 1
+365 ORDER 86 67 5 3 13 1
+367 ORDER 87 14 23 2 57 0
+370 ORDER 88 60 32 59 58 0
+372 ORDER 89 16 42 1 17 0
+381 ORDER 90 26 33 59 59 2
+383 ORDER 91 38 51 5 59 0
+385 ORDER 92 66 5 3 3 0
+387 BLOCK 83 59
+388 ORDER 93 9 36 1 3 1
+401 BLOCK 42 18
+402 ORDER 94 47 45 2 47 3
+405 ORDER 95 19 50 1 42 0
+407 ORDER 96 17 44 44 59 0
+409 ORDER 97 30 36 3 55 0
+411 ORDER 98 7 14 35 59 0
+412 ORDER 99 58 50 55 59 1
+414 ORDER 100 45 54 40 58 0
+415 ORDER 101 50 30 2 3 0
+416 ORDER 102 35 42 80 58 2
+417 ORDER 103 75 3 33 59 2
+418 ORDER 104 12 5 3 24 0
+419 ORDER 105 47 20 3 29 1
+422 ORDER 106 82 11 7 59 1
+425 ORDER 107 20 54 3 50 0
+430 ORDER 108 69 5 1 52 0
+434 ORDER 109 7 53 2 17 0
+444 ORDER 110 72 47 2 47 2
+445 ORDER 111 68 9 3 31 0
+448 ORDER 112 25 33 1 15 0
+450 CANCEL 96
+451 CANCEL 89
+451 ORDER 113 23 5 44 59 0
+453 ORDER 114 81 50 3 11 0
+454 ORDER 115 82 38 50 59 1
+461 ORDER 116 72 39 24 58 3
+462 ORDER 117 36 48 65 58 2
+464 ORDER 118 35 29 1 29 0
+468 ORDER 119 32 12 1 47 3
+469 ORDER 120 84 35 1 48 1
+470 CANCEL 119
+474 ORDER 121 43 14 14 59 0
+479 ORDER 122 26 14 21 59 0
+485 ORDER 123 15 26 1 4 2
+486 ORDER 124 82 17 39 58 0
+489 ORDER 125 58 11 2 5 0
+492 ORDER 126 6 54 1 7 0
+497 ORDER 127 84 42 3 16 1
+499 ORDER 128 45 21 2 14 1
+501 ORDER 129 61 15 74 58 1
+502 ORDER 130 62 45 26 59 0
+503 ORDER 131 10 56 86 59 0
+504 ORDER 132 84 42 2 7 0
+506 UNBLOCK 83 59
+515 ORDER 133 79 32 20 59 0
+516 ORDER 134 19 14 57 59 0
+517 ORDER 135 61 17 3 54 1
+520 ORDER 136 60 9 42 58 2
+523 ORDER 137 55 26 3 59 0
+525 ORDER 138 41 45 54 58 1
+535 ORDER 139 17 27 1 23 0
+541 ORDER 140 49 35 77 58 0
+548 ORDER 141 32 48 2 9 0
+552 ORDER 142 9 3 41 59 1
+553 ORDER 143 9 32 31 58 0
+556 ORDER 144 66 45 1 41 0
+565 ORDER 145 7 24 45 59 0
+569 ORDER 146 71 11 62 58 0
+578 ORDER 147 50 8 3 3 0
+578 CANCEL 100147
+582 ORDER 148 52 53 45 59 1
+585 UNBLOCK 42 18
+586 ORDER 149 72 23 3 51 2
+589 ORDER 150 81 24 45 58 0
+592 ORDER 151 64 26 69 58 3
+595 ORDER 152 26 39 2 36 3
+600 BLOCK 38 29
+603 ORDER 153 14 32 1 8 0
+605 ORDER 154 6 23 1 25 0
+614 ORDER 155 81 54 1 41 1
+616 ORDER 156 58 44 2 36 0
+618 ORDER 157 76 41 88 58 0
+621 ORDER 158 76 42 2 50 1
+624 ORDER 159 70 14 2 56 0
+626 CANCEL 120
+627 ORDER 160 39 27 15 58 0
+631 ORDER 161 83 21 1 5 2
+638 CANCEL 136
+638 ORDER 162 38 24 2 46 1
+639 BLOCK 38 26
+644 ORDER 163 23 51 1 54 1
+646 ORDER 164 20 51 30 58 1
+648 ORDER 165 20 5 83 58 0
+654 ORDER 166 68 41 26 58 0
+667 ORDER 167 67 3 2 25 0
+675 ORDER 168 15 32 5 59 0
+684 ORDER 169 64 6 31 59 0
+687 ORDER 170 62 39 10 59 0
+691 ORDER 171 8 5 1 42 0
+695 ORDER 172 73 39 83 58 0
+702 ORDER 173 47 44 1 12 0
+703 ORDER 174 83 24 1 27 0
+704 BLOCK 35 38
+708 ORDER 175 53 21 2 39 0
+709 BLOCK 69 59
+710 ORDER 176 6 38 6 58 1
+712 ORDER 177 30 38 6 59 0
+713 ORDER 178 53 38 80 58 0
+715 ORDER 179 17 11 7 58 0
+719 ORDER 180 82 56 85 59 0
+721 ORDER 181 9 12 2 31 0
+723 ORDER 182 18 35 86 58 0
+727 ORDER 183 72 32 22 58 0
+728 ORDER 184 84 32 52 58 0
+729 ORDER 185 21 26 1 28 0
+730 ORDER 186 42 50 73 58 1
+733 ORDER 187 48 6 2 59 2
+734 ORDER 188 62 48 3 27 1
+736 CANCEL 100188
+741 ORDER 189 8 11 3 7 0
+743 ORDER 190 6 33 43 59 1
+746 ORDER 191 21 20 88 58 0
+754 ORDER 192 9 5 10 58 0
+755 ORDER 193 56 35 1 53 0
+756 ORDER 194 27 32 78 58 0
+756 BLOCK 84 36
+759 ORDER 195 21 53 2 25 0
+763 ORDER 196 7 12 53 58 1
+765 UNBLOCK 69 59
+766 ORDER 197 68 33 2 11 1
+767 ORDER 198 55 42 1 14 0
+769 ORDER 199 48 14 37 59 0
+771 BLOCK 23 21
+776 ORDER 200 76 23 46 58 0
+777 ORDER 201 71 26 3 57 0
+779 ORDER 202 14 47 3 35 1
+779 BLOCK 58 39
+782 UNBLOCK 38 29
+782 ORDER 203 48 42 65 58 1
+792 ORDER 204 39 54 62 59 1
+794 ORDER 205 61 32 16 59 0
+797 ORDER 206 69 33 1 20 0
+801 ORDER 207 23 53 8 58 0
+804 BLOCK 69 19
+807 UNBLOCK 38 26
+809 UNBLOCK 35 38
+810 ORDER 208 81 47 21 59 0
+810 BLOCK 51 59
+814 ORDER 209 32 14 1 53 0
+817 ORDER 210 49 14 88 58 0
+824 ORDER 211 43 38 87 58 3
+830 ORDER 212 40 48 2 27 0
+833 ORDER 213 15 27 36 59 0
+836 ORDER 214 37 8 32 59 1
+843 ORDER 215 21 38 57 58 0
+850 ORDER 216 64 36 3 30 1
+854 UNBLOCK 58 39
+855 ORDER 217 12 53 48 58 1
+877 ORDER 218 59 20 1 55 0
+881 ORDER 219 9 12 78 58 3
+885 UNBLOCK 23 21
+885 BLOCK 32 21
+886 ORDER 220 57 48 7 58 0
+894 ORDER 221 57 44 1 51 0
+902 ORDER 222 29 51 42 59 0
+903 ORDER 223 38 30 59 58 2
+911 ORDER 224 48 23 1 57 0
+913 ORDER 225 69 15 1 14 3
+913 BLOCK 34 33
+914 ORDER 226 51 42 82 58 0
+917 ORDER 227 60 56 1 27 0
+928 ORDER 228 16 35 11 59 0
+936 ORDER 229 64 11 1 21 0
+942 ORDER 230 28 5 2 45 0
+943 UNBLOCK 69 19
+943 ORDER 231 64 44 4 58 0
+945 UNBLOCK 84 36
+945 ORDER 232 20 33 68 58 0
+952 ORDER 233 21 35 3 17 0
+953 ORDER 234 39 41 3 30 0
+958 ORDER 235 80 51 77 59 0
+962 UNBLOCK 51 59
+973 ORDER 236 84 18 1 18 1
+979 ORDER 237 16 45 3 31 0
+981 ORDER 238 46 35 1 50 1
+983 ORDER 239 64 33 3 21 1
+989 ORDER 240 64 30 36 59 0
+997 ORDER 241 55 15 33 59 0
+999 ORDER 242 74 45 3 13 0
+1008 ORDER 243 48 48 15 58 0
+1009 ORDER 244 20 35 3 26 0
+1015 ORDER 245 35 33 3 45 0
+1017 ORDER 246 8 39 70 59 1
+1024 ORDER 247 62 23 1 41 1
+1027 ORDER 248 74 30 35 58 1
+1035 ORDER 249 15 27 1 24 0
+1038 ORDER 250 75 53 75 59 0
+1042 ORDER 251 34 44 19 58 1
+1044 UNBLOCK 34 33
+1044 ORDER 252 6 12 77 59 3
+1046 ORDER 253 60 36 1 14 0
+1055 UNBLOCK 32 21
+1062 ORDER 254 53 23 73 59 0
+1065 ORDER 255 14 11 6 58 0
+1068 ORDER 256 37 51 5 58 1
+1069 ORDER 257 74 47 6 58 0
+1070 ORDER 258 40 11 3 9 3
+1075 ORDER 259 56 56 3 38 0
+1076 CANCEL 220
+1079 ORDER 260 46 18 61 58 2
+1081 ORDER 261 46 9 12 58 3
+1085 ORDER 262 56 33 3 28 0
+1086 ORDER 263 69 54 1 15 0
+1088 ORDER 264 38 17 3 56 1
+1090 ORDER 265 14 32 3 1 1
+1096 ORDER 266 84 21 2 32 0
+1104 ORDER 267 41 45 77 58 1
+1105 ORDER 268 64 18 12 58 0
+1107 ORDER 269 12 20 18 58 2
+1113 ORDER 270 16 42 30 59 0
+1114 ORDER 271 72 32 45 58 0
+1122 ORDER 272 22 53 57 59 0
+1129 ORDER 273 68 18 2 58 3
+1132 ORDER 274 79 15 3 44 1
+1133 ORDER 275 41 9 1 25 0
+1140 ORDER 276 39 21 40 58 1
+1149 ORDER 277 34 38 2 59 1
+1151 ORDER 278 58 54 3 23 0
+1153 ORDER 279 34 8 45 59 1
+1155 ORDER 280 30 21 61 58 0
+1163 ORDER 281 46 29 64 59 0
+1166 ORDER 282 75 51 31 59 1
+1173 ORDER 283 78 30 1 40 0
+1175 ORDER 284 6 44 2 5 0
+1182 ORDER 285 33 18 8 59 1
+1187 ORDER 286 43 26 31 59 0
+1191 ORDER 287 49 6 16 58 0
+1192 ORDER 288 32 14 5 58 0
+1193 ORDER 289 49 5 1 1 1
+1194 ORDER 290 9 30 51 59 1
+1197 ORDER 291 46 54 2 17 0
+1207 ORDER 292 7 8 36 59 0
+1208 ORDER 293 78 39 14 59 0
+1209 ORDER 294 81 47 1 50 1
+1210 ORDER 295 82 32 3 24 0
+1212 ORDER 296 10 3 14 58 0
+1213 ORDER 297 35 23 61 58 0
+1215 ORDER 298 13 53 69 59 3
+1220 ORDER 299 16 41 69 58 1
+1221 ORDER 300 44 17 3 43 0
+1222 ORDER 301 21 15 27 58 0
+1225 ORDER 302 72 24 29 58 1
+1228 ORDER 303 51 15 3 34 0
+1230 ORDER 304 50 14 85 58 2
+1232 CANCEL 300
+1234 ORDER 305 29 56 2 24 0
+1235 ORDER 306 11 51 76 58 3
+1238 ORDER 307 59 9 37 58 0
+1239 ORDER 308 29 24 19 59 0
+1240 ORDER 309 43 26 2 49 2
+1245 ORDER 310 74 26 85 58 0
+1255 ORDER 311 22 9 1 34 0
+1256 BLOCK 47 24
+1257 ORDER 312 49 17 17 59 2
+1267 ORDER 313 19 26 43 58 1
+1273 ORDER 314 68 20 75 59 0
+1279 ORDER 315 17 9 2 43 0
+1283 BLOCK 39 36
+1286 ORDER 316 16 42 2 1 0
+1289 ORDER 317 39 48 3 18 2
+1292 ORDER 318 18 21 69 59 0
+1296 ORDER 319 15 39 2 31 0
+1300 ORDER 320 64 38 44 59 1
+1322 ORDER 321 63 33 2 49 0
+1325 ORDER 322 28 21 1 44 0
+1327 ORDER 323 21 20 2 2 2
+1331 ORDER 324 78 8 1 43 0
+1333 ORDER 325 16 6 53 58 1
+1335 ORDER 326 72 26 3 22 1
+1344 ORDER 327 15 45 58 59 1
+1344 BLOCK 73 36
+1346 ORDER 328 61 21 3 8 0
+1349 ORDER 329 75 20 22 59 0
+1356 ORDER 330 82 32 46 59 1
+1358 ORDER 331 34 51 78 58 0
+1367 ORDER 332 15 39 25 58 3
+1368 BLOCK 49 5
+1370 ORDER 333 11 6 2 17 0
+1371 ORDER 334 81 56 2 10 1
+1373 ORDER 335 27 18 1 26 0
+1389 ORDER 336 9 53 14 58 0
+1391 BLOCK 66 21
+1394 ORDER 337 46 32 3 24 1
+1397 ORDER 338 56 39 2 19 0
+1400 ORDER 339 36 39 50 58 0
+1405 UNBLOCK 73 36
+1406 UNBLOCK 39 36
+1407 ORDER 340 11 39 8 59 2
+1408 ORDER 341 15 6 81 58 0
+1413 ORDER 342 60 35 2 15 0
+1415 ORDER 343 60 27 1 51 0
+1418 ORDER 344 74 38 2 25 0
+1419 ORDER 345 29 17 2 29 1
+1421 ORDER 346 80 38 2 52 0
+1423 UNBLOCK 49 5
+1431 ORDER 347 79 9 53 58 3
+1435 ORDER 348 12 48 62 59 1
+1437 BLOCK 78 53
+1438 ORDER 349 40 36 70 59 1
+1443 ORDER 350 29 30 37 58 0
+1445 ORDER 351 61 26 72 58 0
+1446 UNBLOCK 47 24
+1448 BLOCK 30 18
+1452 ORDER 352 60 12 2 35 0
+1453 ORDER 353 68 20 2 25 0
+1455 ORDER 354 84 30 2 53 0
+1457 ORDER 355 84 17 2 8 1
+1463 ORDER 356 43 41 41 58 2
+1465 ORDER 357 9 53 37 59 0
+1468 ORDER 358 62 17 2 59 1
+1473 CANCEL 100358
+1474 ORDER 359 82 14 2 39 1
+1475 ORDER 360 64 26 3 23 0
+1478 ORDER 361 82 6 15 59 1
+1481 ORDER 362 41 50 77 58 0
+1483 ORDER 363 67 53 31 59 1
+1486 ORDER 364 57 53 61 59 0
+1487 ORDER 365 83 39 2 46 0
+1498 UNBLOCK 66 21