-
Notifications
You must be signed in to change notification settings - Fork 1
/
job_i1_tcp_16_short.star.20709.0.out
120 lines (118 loc) · 9.09 KB
/
job_i1_tcp_16_short.star.20709.0.out
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
* reseni:
incidencni tabulka (uzlu: 70, hran: 696):
0 --> 0 1 2 3 7 23 101 144 152 206 265 288 372 388 437 450 486 524 545
1 --> 0 8 11 16 24 29 47 76 84 102 118 165 250 266 277 322 343 389 401 420 504 580 679
2 --> 4 28 34 48 54 77 103 119 127 145 153 207 251 289 323 333 373 390 421 451 487 546 600 656 680
3 --> 1 5 12 49 62 191 218 252 267 278 290 304 324 488 525 547 601 634
4 --> 2 6 9 25 35 44 63 71 78 98 104 120 137 146 192 231 253 279 305 325 344 505 548 560
5 --> 17 30 36 41 90 105 113 128 138 154 176 268 362 374 489 526 613 657
6 --> 3 4 5 6 10 13 14 18 31 37 64 72 139 166 193 254 306 345 402 438 465 506 527 561 581 614
7 --> 7 8 9 10 15 19 20 26 32 38 45 50 55 79 85 91 121 140 155 177 194 291 375 403 452 466 549 562 582 635
8 --> 11 12 13 21 42 46 80 167 178 232 269 292 404 563
9 --> 14 15 22 51 56 92 114 122 156 179 195 219 233 270 363 391 439 467 564 583 636 681
10 --> 16 17 18 19 39 57 86 115 196 208 220 346 376 405 507 528
11 --> 20 21 22 33 40 52 58 67 73 81 129 197 221 255 307 377 406 453 468 529 658
12 --> 23 24 25 26 27 43 59 65 82 87 141 157 168 209 222 271 326 422 440 530 615 659
13 --> 27 53 68 83 123 160 180 210 223 238 256 327 347 616 637 682
14 --> 28 106 130 234 239 293 454 469 508 550 565
15 --> 29 30 31 32 33 69 124 131 142 147 181 211 348 566 660
16 --> 34 35 36 37 38 39 40 66 88 132 158 169 182 198 257 334 349 509 661
17 --> 41 42 43 170 240 308 335 392 423 441 531 567 584 638
18 --> 44 45 46 60 74 107 133 280 309 328 378 551 568 602 662
19 --> 47 48 49 50 51 52 53 61 93 108 134 171 183 199 212 294 336 442 470 510 569
20 --> 54 55 56 57 58 59 60 61 70 75 89 94 109 135 172 235 241 272 350 379 393 532 570 585 603 663
21 --> 62 63 64 65 66 95 99 136 159 184 200 224 242 281 310 337 351 380 443 490 511 664
22 --> 67 68 69 70 148 213 225 243 258 424 471 512 617
23 --> 71 72 73 74 75 96 110 116 226 311 407 425 444 513 533 639
24 --> 76 77 78 79 80 81 82 83 97 100 111 149 173 185 201 227 244 352 408 472 491 534 571 618
25 --> 84 85 86 87 88 89 112 117 150 161 214 228 312 353 409 426 492 640 683
26 --> 90 91 92 93 94 95 96 97 125 143 329 354 381 427 455 473 535 552 619 665
27 --> 98 99 100 186 236 245 273 364 382 394 456 474 493 514 620 666 684
28 --> 101 102 103 104 105 106 107 108 109 110 111 112 162 202 215 229 295 313 410 457 586
29 --> 113 114 115 116 117 126 163 246 259 296 338 365 445 515 536 587 641 667
30 --> 118 119 120 121 122 123 124 125 126 187 216 247 282 395 411 428 537 572 642 685
31 --> 127 128 129 130 131 132 133 134 135 136 151 164 188 203 237 248 297 314 330 383 446 458 475 516 588 604 621
32 --> 137 138 139 140 141 142 143 174 189 283 298 355 384 412 605 622 643
33 --> 144 145 146 147 148 149 150 151 299 331 356 396 459 517
34 --> 152 153 154 155 156 157 158 159 175 190 260 284 300 315 332 385 397 518 538 553 573 623
35 --> 160 161 162 163 164 204 217 261 274 285 574 644
36 --> 165 166 167 168 169 170 171 172 173 174 175 249 275 316 339 413 429 519 539 575 589 645 686
37 --> 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 205 301 317 340 357 366 414 430 460 494 590 624
38 --> 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 262 668 687
39 --> 206 207 208 209 210 211 212 213 214 215 216 217 230 318 358 367 398 415 476 495 520 591 646 688
40 --> 218 219 220 221 222 223 224 225 226 227 228 229 230 263 286 431 477 496 576 689
41 --> 231 232 233 234 235 236 237 287 359 399 416 478 497 625
42 --> 238 239 240 241 242 243 244 245 246 247 248 249 264 276 319 341 386 432 540 554 606 626 647 669
43 --> 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 302 360 368 433 592 648
44 --> 265 266 267 268 269 270 271 272 273 274 275 276 303 320 369 479 541 593 607 627 670
45 --> 277 278 279 280 281 282 283 284 285 286 287 321 342 417 480 521 608 690
46 --> 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 370 387 400 461 481 522 555 594 649
47 --> 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 361 447 482 498 595 628 650 691
48 --> 322 323 324 325 326 327 328 329 330 331 332 434 671
49 --> 333 334 335 336 337 338 339 340 341 342 371 462 629
50 --> 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 499 556
51 --> 362 363 364 365 366 367 368 369 370 371 418 435 448 500 542 557
52 --> 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 419 577 630 651 672
53 --> 388 389 390 391 392 393 394 395 396 397 398 399 400 436 483 501 631
54 --> 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 449 463 484 502 543 632 673 692
55 --> 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 485 503 596 633 652 674 693
56 --> 437 438 439 440 441 442 443 444 445 446 447 448 449 464 609
57 --> 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 523 610 653
58 --> 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 558 578 597 675
59 --> 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 544 598
60 --> 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 579 676 694
61 --> 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 559 654
62 --> 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 611 655
63 --> 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 599 612 677
64 --> 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 695
65 --> 600 601 602 603 604 605 606 607 608 609 610 611 612 678
66 --> 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633
67 --> 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655
68 --> 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678
69 --> 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695
minimum uzlu: 56, pocet reseni: 44
1: 1110111111011111101111000111110101001111101111111110111110111111111101
2: 1110111111011111101111000111111101001111101111111110111110111111111100
3: 1110111111011111111111000111110101001111101111111110111110111111011101
4: 1110111111001101110111111110110100001111111111111011111101111111011111
5: 1111111111111111101010100011110101111111101001110111111110111101111111
6: 1111111111111111101010000011110101111111101101110111111110111101111111
7: 1111111111011111111010000111110101101111101111110110111110111111011111
8: 1111111111011111111010000111110101101111101111110111111110111101011111
9: 1111111111011111111011000111110101001111101111111110111110111111011101
10: 0111111111011111111010000111110101101111101111110110111111111111011111
11: 0111111111011111111010000111110111101111101111110110111111111111001111
12: 1111111111011111101010100111110101111111101001110111111110111101111111
13: 1111111111011111101010100111111101111111101001110111111110111101111110
14: 1111111111011111101010000111110101101111101111110110111110111111111111
15: 1111111111011111101010000111110101101111101111110111111110111101111111
16: 1111111111011111101010000111110101111111101101110111111110111101111111
17: 1111111111011111101010000111111101101111101111110110111110111111111110
18: 1111111111011111101010000111111101101111101111110111111110111101111110
19: 1111111111011111101010000111111101111111101101110111111110111101111110
20: 1111111111011111101011000111110101001111101111111110111110111111111101
21: 1111111111011111101011000111111101001111101111111110111110111111111100
22: 0111111111011101101010000111110101101111111111110110111111111111111111
23: 0111111111011101101010000111110111101111111111110110111111111111101111
24: 0111111111011101101010000111111101101111111111110110111111111111111110
25: 0111111111011101101010000111111111101111111111110110111111111111101110
26: 0111111111011101111010000111110101101111111111110110111111111111011111
27: 0111111111011101111010000111110111101111111111110110111111111111001111
28: 0111111111011100101010101111111111101111111111110110111111111111100110
29: 0111111111011100101010100111111111101111111111110110111111111111101110
30: 0111111111011110101010100111111111101111101111110110111111111111101110
31: 0111111111011111101010000111110101101111101111110110111111111111111111
32: 0111111111011111101010000111110111101111101111110110111111111111101111
33: 0111111111011111101010000111111101101111101111110110111111111111111110
34: 0111111111011111101010000111111111101111101111110110111111111111101110
35: 1111111111011110101010100111111111111111101001110111111110111101111110
36: 0111111101011101111010101111110111101111111111110110111111111111000111
37: 0111111101011101111010001111110101101111111111110110111111111111011111
38: 0111111101011101111010001111110111101111111111110110111111111111001111
39: 0111111101011100111010101111111111101111111111110110111111111111000111
40: 0111111101011100111010101111111111101111111111110110111111111111100110
41: 0111101101111101111011001110110111101111111111110101111111111111001111
42: 0111101101111101111111001010110111111101111111110011111111111111001111
43: 0111101101111101111111001110110111101111111111110001111111111111001111
44: 0111101101111101111111001110110111111101111111110001111111111111001111
Spotrebovany cas je 25.135284.