c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 90; Distribution: paths; Runs: 30; Seed: 1151601916 c % Paths Distribution Parameters: c % Initial connections: = 2 c % Edge density: = 3.000000 c % Shipping cost factor: = 1.500000 c % Max bid set size: = 5 c % Building penalty: = 1.700000 c c c c PSEUDOBOOLEAN 60655 p wcnf 90 829 60655 825 1 0 825 2 0 825 3 0 825 4 0 825 5 0 450 6 0 592 7 0 882 8 0 882 9 0 360 10 0 1028 11 0 1028 12 0 1028 13 0 1028 14 0 1028 15 0 159 16 0 916 17 0 389 18 0 468 19 0 468 20 0 340 21 0 463 22 0 463 23 0 463 24 0 463 25 0 463 26 0 827 27 0 827 28 0 827 29 0 827 30 0 827 31 0 919 32 0 919 33 0 919 34 0 919 35 0 919 36 0 457 37 0 979 38 0 979 39 0 979 40 0 979 41 0 979 42 0 822 43 0 822 44 0 822 45 0 822 46 0 822 47 0 421 48 0 988 49 0 988 50 0 988 51 0 749 52 0 749 53 0 749 54 0 749 55 0 146 56 0 506 57 0 506 58 0 506 59 0 506 60 0 506 61 0 688 62 0 688 63 0 688 64 0 236 65 0 447 66 0 513 67 0 513 68 0 456 69 0 446 70 0 320 71 0 394 72 0 394 73 0 394 74 0 394 75 0 394 76 0 657 77 0 657 78 0 351 79 0 234 80 0 657 81 0 657 82 0 657 83 0 657 84 0 657 85 0 754 86 0 754 87 0 754 88 0 754 89 0 754 90 0 60655 -1 -2 0 60655 -1 -10 0 60655 -1 -28 0 60655 -1 -29 0 60655 -1 -30 0 60655 -1 -31 0 60655 -1 -55 0 60655 -1 -66 0 60655 -1 -3 0 60655 -1 -4 0 60655 -1 -5 0 60655 -2 -10 0 60655 -2 -28 0 60655 -2 -29 0 60655 -2 -30 0 60655 -2 -31 0 60655 -2 -55 0 60655 -2 -66 0 60655 -2 -4 0 60655 -2 -26 0 60655 -2 -33 0 60655 -2 -34 0 60655 -2 -68 0 60655 -2 -76 0 60655 -2 -3 0 60655 -2 -5 0 60655 -3 -23 0 60655 -3 -25 0 60655 -3 -26 0 60655 -3 -47 0 60655 -3 -67 0 60655 -3 -71 0 60655 -3 -75 0 60655 -3 -76 0 60655 -3 -88 0 60655 -3 -90 0 60655 -3 -4 0 60655 -3 -18 0 60655 -3 -19 0 60655 -3 -20 0 60655 -3 -49 0 60655 -3 -50 0 60655 -3 -51 0 60655 -3 -77 0 60655 -3 -78 0 60655 -3 -81 0 60655 -3 -82 0 60655 -3 -83 0 60655 -3 -84 0 60655 -3 -85 0 60655 -3 -5 0 60655 -4 -18 0 60655 -4 -19 0 60655 -4 -20 0 60655 -4 -49 0 60655 -4 -50 0 60655 -4 -51 0 60655 -4 -77 0 60655 -4 -78 0 60655 -4 -81 0 60655 -4 -82 0 60655 -4 -83 0 60655 -4 -84 0 60655 -4 -85 0 60655 -4 -26 0 60655 -4 -33 0 60655 -4 -34 0 60655 -4 -68 0 60655 -4 -76 0 60655 -4 -24 0 60655 -4 -60 0 60655 -4 -61 0 60655 -4 -74 0 60655 -4 -89 0 60655 -4 -5 0 60655 -5 -25 0 60655 -5 -75 0 60655 -5 -90 0 60655 -5 -27 0 60655 -6 -23 0 60655 -6 -24 0 60655 -6 -25 0 60655 -6 -26 0 60655 -6 -40 0 60655 -6 -47 0 60655 -6 -60 0 60655 -6 -61 0 60655 -6 -65 0 60655 -6 -71 0 60655 -6 -74 0 60655 -6 -75 0 60655 -6 -76 0 60655 -6 -88 0 60655 -6 -89 0 60655 -6 -90 0 60655 -7 -22 0 60655 -7 -24 0 60655 -7 -25 0 60655 -7 -26 0 60655 -7 -30 0 60655 -7 -31 0 60655 -7 -35 0 60655 -7 -36 0 60655 -7 -46 0 60655 -7 -48 0 60655 -7 -70 0 60655 -7 -86 0 60655 -7 -87 0 60655 -7 -89 0 60655 -7 -90 0 60655 -8 -9 0 60655 -8 -16 0 60655 -8 -20 0 60655 -8 -83 0 60655 -8 -85 0 60655 -8 -13 0 60655 -8 -15 0 60655 -8 -45 0 60655 -8 -56 0 60655 -8 -69 0 60655 -8 -21 0 60655 -8 -84 0 60655 -8 -12 0 60655 -8 -59 0 60655 -8 -61 0 60655 -9 -13 0 60655 -9 -45 0 60655 -9 -73 0 60655 -9 -74 0 60655 -9 -75 0 60655 -9 -76 0 60655 -9 -87 0 60655 -9 -88 0 60655 -9 -89 0 60655 -9 -90 0 60655 -9 -16 0 60655 -9 -20 0 60655 -9 -83 0 60655 -9 -85 0 60655 -9 -21 0 60655 -9 -69 0 60655 -9 -84 0 60655 -9 -12 0 60655 -9 -15 0 60655 -9 -59 0 60655 -9 -61 0 60655 -9 -44 0 60655 -9 -46 0 60655 -9 -47 0 60655 -9 -58 0 60655 -9 -60 0 60655 -9 -65 0 60655 -9 -71 0 60655 -10 -28 0 60655 -10 -29 0 60655 -10 -30 0 60655 -10 -31 0 60655 -10 -55 0 60655 -10 -66 0 60655 -11 -12 0 60655 -11 -13 0 60655 -11 -14 0 60655 -11 -15 0 60655 -12 -13 0 60655 -12 -15 0 60655 -12 -59 0 60655 -12 -61 0 60655 -12 -44 0 60655 -12 -46 0 60655 -12 -47 0 60655 -12 -58 0 60655 -12 -60 0 60655 -12 -65 0 60655 -12 -71 0 60655 -12 -39 0 60655 -12 -41 0 60655 -12 -14 0 60655 -13 -45 0 60655 -13 -73 0 60655 -13 -74 0 60655 -13 -75 0 60655 -13 -76 0 60655 -13 -87 0 60655 -13 -88 0 60655 -13 -89 0 60655 -13 -90 0 60655 -13 -15 0 60655 -13 -56 0 60655 -13 -69 0 60655 -13 -59 0 60655 -13 -61 0 60655 -13 -39 0 60655 -13 -41 0 60655 -13 -14 0 60655 -14 -49 0 60655 -14 -52 0 60655 -14 -15 0 60655 -15 -34 0 60655 -15 -36 0 60655 -15 -41 0 60655 -15 -45 0 60655 -15 -56 0 60655 -15 -69 0 60655 -15 -59 0 60655 -15 -61 0 60655 -16 -20 0 60655 -16 -83 0 60655 -16 -85 0 60655 -17 -48 0 60655 -17 -70 0 60655 -17 -86 0 60655 -17 -87 0 60655 -17 -88 0 60655 -17 -89 0 60655 -17 -90 0 60655 -17 -57 0 60655 -17 -59 0 60655 -17 -61 0 60655 -17 -84 0 60655 -17 -85 0 60655 -18 -19 0 60655 -18 -20 0 60655 -18 -49 0 60655 -18 -50 0 60655 -18 -51 0 60655 -18 -77 0 60655 -18 -78 0 60655 -18 -81 0 60655 -18 -82 0 60655 -18 -83 0 60655 -18 -84 0 60655 -18 -85 0 60655 -19 -20 0 60655 -19 -49 0 60655 -19 -50 0 60655 -19 -51 0 60655 -19 -77 0 60655 -19 -78 0 60655 -19 -81 0 60655 -19 -82 0 60655 -19 -83 0 60655 -19 -84 0 60655 -19 -85 0 60655 -20 -49 0 60655 -20 -50 0 60655 -20 -51 0 60655 -20 -77 0 60655 -20 -78 0 60655 -20 -81 0 60655 -20 -82 0 60655 -20 -83 0 60655 -20 -84 0 60655 -20 -85 0 60655 -21 -69 0 60655 -22 -24 0 60655 -22 -26 0 60655 -22 -29 0 60655 -22 -35 0 60655 -22 -36 0 60655 -22 -46 0 60655 -22 -73 0 60655 -22 -74 0 60655 -22 -76 0 60655 -22 -87 0 60655 -22 -89 0 60655 -22 -25 0 60655 -22 -30 0 60655 -22 -31 0 60655 -22 -48 0 60655 -22 -70 0 60655 -22 -86 0 60655 -22 -90 0 60655 -22 -42 0 60655 -22 -58 0 60655 -22 -59 0 60655 -22 -23 0 60655 -23 -25 0 60655 -23 -26 0 60655 -23 -47 0 60655 -23 -67 0 60655 -23 -71 0 60655 -23 -75 0 60655 -23 -76 0 60655 -23 -88 0 60655 -23 -90 0 60655 -23 -24 0 60655 -23 -40 0 60655 -23 -60 0 60655 -23 -61 0 60655 -23 -65 0 60655 -23 -74 0 60655 -23 -89 0 60655 -24 -25 0 60655 -24 -26 0 60655 -24 -40 0 60655 -24 -47 0 60655 -24 -60 0 60655 -24 -61 0 60655 -24 -65 0 60655 -24 -71 0 60655 -24 -74 0 60655 -24 -75 0 60655 -24 -76 0 60655 -24 -88 0 60655 -24 -89 0 60655 -24 -90 0 60655 -24 -68 0 60655 -24 -29 0 60655 -24 -35 0 60655 -24 -36 0 60655 -24 -46 0 60655 -24 -73 0 60655 -24 -87 0 60655 -24 -30 0 60655 -24 -31 0 60655 -24 -48 0 60655 -24 -70 0 60655 -24 -86 0 60655 -25 -26 0 60655 -25 -47 0 60655 -25 -67 0 60655 -25 -71 0 60655 -25 -75 0 60655 -25 -76 0 60655 -25 -88 0 60655 -25 -90 0 60655 -25 -40 0 60655 -25 -60 0 60655 -25 -61 0 60655 -25 -65 0 60655 -25 -74 0 60655 -25 -89 0 60655 -25 -30 0 60655 -25 -31 0 60655 -25 -35 0 60655 -25 -36 0 60655 -25 -46 0 60655 -25 -48 0 60655 -25 -70 0 60655 -25 -86 0 60655 -25 -87 0 60655 -26 -47 0 60655 -26 -67 0 60655 -26 -71 0 60655 -26 -75 0 60655 -26 -76 0 60655 -26 -88 0 60655 -26 -90 0 60655 -26 -40 0 60655 -26 -60 0 60655 -26 -61 0 60655 -26 -65 0 60655 -26 -74 0 60655 -26 -89 0 60655 -26 -33 0 60655 -26 -34 0 60655 -26 -68 0 60655 -26 -29 0 60655 -26 -35 0 60655 -26 -36 0 60655 -26 -46 0 60655 -26 -73 0 60655 -26 -87 0 60655 -26 -30 0 60655 -26 -31 0 60655 -26 -48 0 60655 -26 -70 0 60655 -26 -86 0 60655 -27 -28 0 60655 -27 -29 0 60655 -27 -30 0 60655 -27 -31 0 60655 -28 -29 0 60655 -28 -30 0 60655 -28 -31 0 60655 -28 -55 0 60655 -28 -66 0 60655 -29 -30 0 60655 -29 -31 0 60655 -29 -55 0 60655 -29 -66 0 60655 -29 -35 0 60655 -29 -36 0 60655 -29 -46 0 60655 -29 -73 0 60655 -29 -74 0 60655 -29 -76 0 60655 -29 -87 0 60655 -29 -89 0 60655 -30 -64 0 60655 -30 -31 0 60655 -30 -55 0 60655 -30 -66 0 60655 -30 -79 0 60655 -30 -35 0 60655 -30 -36 0 60655 -30 -46 0 60655 -30 -48 0 60655 -30 -70 0 60655 -30 -86 0 60655 -30 -87 0 60655 -30 -89 0 60655 -30 -90 0 60655 -31 -64 0 60655 -31 -66 0 60655 -31 -55 0 60655 -31 -62 0 60655 -31 -79 0 60655 -31 -35 0 60655 -31 -36 0 60655 -31 -46 0 60655 -31 -48 0 60655 -31 -70 0 60655 -31 -86 0 60655 -31 -87 0 60655 -31 -89 0 60655 -31 -90 0 60655 -32 -42 0 60655 -32 -40 0 60655 -32 -63 0 60655 -32 -33 0 60655 -32 -34 0 60655 -32 -35 0 60655 -32 -36 0 60655 -33 -35 0 60655 -33 -41 0 60655 -33 -34 0 60655 -33 -68 0 60655 -33 -76 0 60655 -33 -36 0 60655 -34 -36 0 60655 -34 -41 0 60655 -34 -39 0 60655 -34 -50 0 60655 -34 -51 0 60655 -34 -53 0 60655 -34 -54 0 60655 -34 -68 0 60655 -34 -76 0 60655 -34 -35 0 60655 -35 -41 0 60655 -35 -36 0 60655 -35 -46 0 60655 -35 -73 0 60655 -35 -74 0 60655 -35 -76 0 60655 -35 -87 0 60655 -35 -89 0 60655 -35 -48 0 60655 -35 -70 0 60655 -35 -86 0 60655 -35 -90 0 60655 -36 -41 0 60655 -36 -39 0 60655 -36 -50 0 60655 -36 -51 0 60655 -36 -53 0 60655 -36 -54 0 60655 -36 -46 0 60655 -36 -73 0 60655 -36 -74 0 60655 -36 -76 0 60655 -36 -87 0 60655 -36 -89 0 60655 -36 -48 0 60655 -36 -70 0 60655 -36 -86 0 60655 -36 -90 0 60655 -37 -49 0 60655 -37 -51 0 60655 -37 -52 0 60655 -37 -54 0 60655 -38 -39 0 60655 -38 -40 0 60655 -38 -41 0 60655 -38 -42 0 60655 -39 -50 0 60655 -39 -51 0 60655 -39 -53 0 60655 -39 -54 0 60655 -39 -41 0 60655 -39 -40 0 60655 -39 -42 0 60655 -40 -47 0 60655 -40 -60 0 60655 -40 -61 0 60655 -40 -65 0 60655 -40 -71 0 60655 -40 -74 0 60655 -40 -75 0 60655 -40 -76 0 60655 -40 -88 0 60655 -40 -89 0 60655 -40 -90 0 60655 -40 -42 0 60655 -40 -63 0 60655 -40 -41 0 60655 -41 -42 0 60655 -42 -46 0 60655 -42 -58 0 60655 -42 -59 0 60655 -42 -73 0 60655 -42 -87 0 60655 -42 -63 0 60655 -43 -44 0 60655 -43 -45 0 60655 -43 -46 0 60655 -43 -47 0 60655 -44 -45 0 60655 -44 -46 0 60655 -44 -47 0 60655 -44 -58 0 60655 -44 -59 0 60655 -44 -60 0 60655 -44 -61 0 60655 -44 -65 0 60655 -44 -71 0 60655 -45 -73 0 60655 -45 -74 0 60655 -45 -75 0 60655 -45 -76 0 60655 -45 -87 0 60655 -45 -88 0 60655 -45 -89 0 60655 -45 -90 0 60655 -45 -56 0 60655 -45 -69 0 60655 -45 -46 0 60655 -45 -47 0 60655 -46 -73 0 60655 -46 -74 0 60655 -46 -76 0 60655 -46 -87 0 60655 -46 -89 0 60655 -46 -47 0 60655 -46 -80 0 60655 -46 -48 0 60655 -46 -70 0 60655 -46 -86 0 60655 -46 -90 0 60655 -46 -58 0 60655 -46 -59 0 60655 -46 -60 0 60655 -46 -61 0 60655 -46 -65 0 60655 -46 -71 0 60655 -47 -67 0 60655 -47 -71 0 60655 -47 -75 0 60655 -47 -76 0 60655 -47 -88 0 60655 -47 -90 0 60655 -47 -60 0 60655 -47 -61 0 60655 -47 -65 0 60655 -47 -74 0 60655 -47 -89 0 60655 -47 -80 0 60655 -47 -58 0 60655 -47 -59 0 60655 -48 -70 0 60655 -48 -86 0 60655 -48 -87 0 60655 -48 -88 0 60655 -48 -89 0 60655 -48 -90 0 60655 -49 -52 0 60655 -49 -50 0 60655 -49 -51 0 60655 -49 -77 0 60655 -49 -78 0 60655 -49 -81 0 60655 -49 -82 0 60655 -49 -83 0 60655 -49 -84 0 60655 -49 -85 0 60655 -49 -54 0 60655 -50 -51 0 60655 -50 -53 0 60655 -50 -54 0 60655 -50 -77 0 60655 -50 -78 0 60655 -50 -81 0 60655 -50 -82 0 60655 -50 -83 0 60655 -50 -84 0 60655 -50 -85 0 60655 -51 -53 0 60655 -51 -54 0 60655 -51 -63 0 60655 -51 -77 0 60655 -51 -78 0 60655 -51 -81 0 60655 -51 -82 0 60655 -51 -83 0 60655 -51 -84 0 60655 -51 -85 0 60655 -51 -52 0 60655 -52 -54 0 60655 -52 -53 0 60655 -52 -55 0 60655 -53 -54 0 60655 -53 -55 0 60655 -54 -63 0 60655 -54 -55 0 60655 -55 -66 0 60655 -56 -69 0 60655 -57 -59 0 60655 -57 -61 0 60655 -57 -84 0 60655 -57 -85 0 60655 -57 -58 0 60655 -57 -60 0 60655 -58 -59 0 60655 -58 -73 0 60655 -58 -87 0 60655 -58 -60 0 60655 -58 -61 0 60655 -58 -65 0 60655 -58 -71 0 60655 -59 -61 0 60655 -59 -84 0 60655 -59 -85 0 60655 -59 -73 0 60655 -59 -87 0 60655 -59 -60 0 60655 -59 -65 0 60655 -59 -71 0 60655 -60 -61 0 60655 -60 -65 0 60655 -60 -71 0 60655 -60 -74 0 60655 -60 -75 0 60655 -60 -76 0 60655 -60 -88 0 60655 -60 -89 0 60655 -60 -90 0 60655 -60 -68 0 60655 -61 -65 0 60655 -61 -71 0 60655 -61 -74 0 60655 -61 -75 0 60655 -61 -76 0 60655 -61 -88 0 60655 -61 -89 0 60655 -61 -90 0 60655 -61 -68 0 60655 -61 -84 0 60655 -61 -85 0 60655 -62 -79 0 60655 -62 -64 0 60655 -62 -63 0 60655 -63 -64 0 60655 -64 -66 0 60655 -65 -71 0 60655 -65 -74 0 60655 -65 -75 0 60655 -65 -76 0 60655 -65 -88 0 60655 -65 -89 0 60655 -65 -90 0 60655 -67 -71 0 60655 -67 -75 0 60655 -67 -76 0 60655 -67 -88 0 60655 -67 -90 0 60655 -67 -68 0 60655 -68 -76 0 60655 -68 -74 0 60655 -68 -89 0 60655 -70 -86 0 60655 -70 -87 0 60655 -70 -88 0 60655 -70 -89 0 60655 -70 -90 0 60655 -71 -75 0 60655 -71 -76 0 60655 -71 -88 0 60655 -71 -90 0 60655 -71 -74 0 60655 -71 -89 0 60655 -72 -86 0 60655 -72 -73 0 60655 -72 -74 0 60655 -72 -75 0 60655 -72 -76 0 60655 -73 -74 0 60655 -73 -75 0 60655 -73 -76 0 60655 -73 -87 0 60655 -73 -88 0 60655 -73 -89 0 60655 -73 -90 0 60655 -74 -75 0 60655 -74 -76 0 60655 -74 -88 0 60655 -74 -89 0 60655 -74 -90 0 60655 -74 -87 0 60655 -75 -76 0 60655 -75 -88 0 60655 -75 -90 0 60655 -75 -89 0 60655 -75 -87 0 60655 -76 -88 0 60655 -76 -90 0 60655 -76 -89 0 60655 -76 -87 0 60655 -77 -78 0 60655 -77 -81 0 60655 -77 -82 0 60655 -77 -83 0 60655 -77 -84 0 60655 -77 -85 0 60655 -78 -81 0 60655 -78 -82 0 60655 -78 -83 0 60655 -78 -84 0 60655 -78 -85 0 60655 -81 -82 0 60655 -81 -83 0 60655 -81 -84 0 60655 -81 -85 0 60655 -82 -83 0 60655 -82 -84 0 60655 -82 -85 0 60655 -83 -84 0 60655 -83 -85 0 60655 -84 -85 0 60655 -86 -87 0 60655 -86 -88 0 60655 -86 -89 0 60655 -86 -90 0 60655 -87 -88 0 60655 -87 -89 0 60655 -87 -90 0 60655 -88 -89 0 60655 -88 -90 0 60655 -89 -90 0