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 72561 p wcnf 91 778 72561 268 1 0 1067 2 0 1067 3 0 1067 4 0 1067 5 0 1067 6 0 791 7 0 791 8 0 791 9 0 791 10 0 953 11 0 1199 12 0 1199 13 0 1199 14 0 1199 15 0 1199 16 0 548 17 0 548 18 0 548 19 0 548 20 0 548 21 0 562 22 0 562 23 0 1067 24 0 1067 25 0 1067 26 0 1067 27 0 1067 28 0 795 29 0 949 30 0 949 31 0 949 32 0 949 33 0 949 34 0 987 35 0 987 36 0 987 37 0 987 38 0 987 39 0 790 40 0 790 41 0 1302 42 0 1302 43 0 1302 44 0 1302 45 0 1302 46 0 480 47 0 480 48 0 480 49 0 305 50 0 831 51 0 831 52 0 831 53 0 831 54 0 831 55 0 131 56 0 643 57 0 643 58 0 643 59 0 953 60 0 953 61 0 953 62 0 953 63 0 92 64 0 971 65 0 971 66 0 971 67 0 971 68 0 616 69 0 616 70 0 678 71 0 272 72 0 272 73 0 89 74 0 571 75 0 852 76 0 852 77 0 852 78 0 852 79 0 852 80 0 127 81 0 775 82 0 256 83 0 628 84 0 727 85 0 727 86 0 727 87 0 261 88 0 577 89 0 577 90 0 577 91 0 72561 -1 -11 0 72561 -1 -17 0 72561 -1 -18 0 72561 -1 -21 0 72561 -1 -40 0 72561 -1 -41 0 72561 -1 -48 0 72561 -1 -51 0 72561 -1 -54 0 72561 -1 -55 0 72561 -1 -56 0 72561 -1 -70 0 72561 -1 -73 0 72561 -2 -4 0 72561 -2 -6 0 72561 -2 -7 0 72561 -2 -8 0 72561 -2 -10 0 72561 -2 -20 0 72561 -2 -21 0 72561 -2 -24 0 72561 -2 -26 0 72561 -2 -28 0 72561 -2 -48 0 72561 -2 -49 0 72561 -2 -5 0 72561 -2 -27 0 72561 -2 -59 0 72561 -2 -68 0 72561 -2 -77 0 72561 -2 -80 0 72561 -2 -90 0 72561 -2 -82 0 72561 -2 -3 0 72561 -3 -4 0 72561 -3 -22 0 72561 -3 -25 0 72561 -3 -26 0 72561 -3 -57 0 72561 -3 -65 0 72561 -3 -79 0 72561 -3 -5 0 72561 -3 -6 0 72561 -4 -6 0 72561 -4 -7 0 72561 -4 -8 0 72561 -4 -10 0 72561 -4 -20 0 72561 -4 -21 0 72561 -4 -24 0 72561 -4 -26 0 72561 -4 -28 0 72561 -4 -48 0 72561 -4 -49 0 72561 -4 -22 0 72561 -4 -25 0 72561 -4 -57 0 72561 -4 -65 0 72561 -4 -79 0 72561 -4 -5 0 72561 -4 -27 0 72561 -5 -6 0 72561 -5 -9 0 72561 -5 -10 0 72561 -5 -27 0 72561 -5 -28 0 72561 -5 -91 0 72561 -5 -24 0 72561 -5 -59 0 72561 -5 -68 0 72561 -5 -77 0 72561 -5 -80 0 72561 -5 -90 0 72561 -5 -26 0 72561 -5 -19 0 72561 -5 -21 0 72561 -6 -9 0 72561 -6 -10 0 72561 -6 -27 0 72561 -6 -28 0 72561 -6 -91 0 72561 -6 -7 0 72561 -6 -8 0 72561 -6 -20 0 72561 -6 -21 0 72561 -6 -24 0 72561 -6 -26 0 72561 -6 -48 0 72561 -6 -49 0 72561 -6 -59 0 72561 -6 -68 0 72561 -6 -77 0 72561 -6 -80 0 72561 -6 -90 0 72561 -6 -18 0 72561 -6 -54 0 72561 -7 -8 0 72561 -7 -10 0 72561 -7 -20 0 72561 -7 -21 0 72561 -7 -24 0 72561 -7 -26 0 72561 -7 -28 0 72561 -7 -48 0 72561 -7 -49 0 72561 -7 -9 0 72561 -8 -10 0 72561 -8 -20 0 72561 -8 -21 0 72561 -8 -24 0 72561 -8 -26 0 72561 -8 -28 0 72561 -8 -48 0 72561 -8 -49 0 72561 -8 -9 0 72561 -8 -23 0 72561 -8 -44 0 72561 -8 -46 0 72561 -8 -58 0 72561 -8 -59 0 72561 -8 -66 0 72561 -8 -68 0 72561 -8 -87 0 72561 -8 -82 0 72561 -9 -10 0 72561 -9 -27 0 72561 -9 -28 0 72561 -9 -91 0 72561 -9 -23 0 72561 -9 -44 0 72561 -9 -46 0 72561 -9 -58 0 72561 -9 -59 0 72561 -9 -66 0 72561 -9 -68 0 72561 -9 -87 0 72561 -9 -19 0 72561 -9 -21 0 72561 -10 -27 0 72561 -10 -28 0 72561 -10 -91 0 72561 -10 -20 0 72561 -10 -21 0 72561 -10 -24 0 72561 -10 -26 0 72561 -10 -48 0 72561 -10 -49 0 72561 -10 -23 0 72561 -10 -44 0 72561 -10 -46 0 72561 -10 -58 0 72561 -10 -59 0 72561 -10 -66 0 72561 -10 -68 0 72561 -10 -87 0 72561 -10 -18 0 72561 -10 -54 0 72561 -11 -40 0 72561 -11 -41 0 72561 -11 -45 0 72561 -11 -46 0 72561 -11 -47 0 72561 -11 -48 0 72561 -11 -60 0 72561 -11 -63 0 72561 -11 -17 0 72561 -11 -18 0 72561 -11 -21 0 72561 -11 -51 0 72561 -11 -54 0 72561 -11 -55 0 72561 -11 -44 0 72561 -11 -69 0 72561 -11 -73 0 72561 -11 -70 0 72561 -11 -82 0 72561 -11 -61 0 72561 -11 -62 0 72561 -12 -16 0 72561 -12 -30 0 72561 -12 -34 0 72561 -12 -35 0 72561 -12 -38 0 72561 -12 -53 0 72561 -12 -86 0 72561 -12 -13 0 72561 -12 -14 0 72561 -12 -36 0 72561 -12 -39 0 72561 -12 -55 0 72561 -12 -78 0 72561 -12 -81 0 72561 -12 -15 0 72561 -12 -37 0 72561 -12 -67 0 72561 -13 -14 0 72561 -13 -35 0 72561 -13 -36 0 72561 -13 -39 0 72561 -13 -55 0 72561 -13 -78 0 72561 -13 -81 0 72561 -13 -32 0 72561 -13 -71 0 72561 -13 -76 0 72561 -13 -15 0 72561 -13 -16 0 72561 -14 -35 0 72561 -14 -36 0 72561 -14 -39 0 72561 -14 -55 0 72561 -14 -78 0 72561 -14 -81 0 72561 -14 -31 0 72561 -14 -33 0 72561 -14 -51 0 72561 -14 -54 0 72561 -14 -77 0 72561 -14 -87 0 72561 -14 -15 0 72561 -14 -16 0 72561 -14 -34 0 72561 -14 -80 0 72561 -14 -23 0 72561 -14 -58 0 72561 -14 -66 0 72561 -14 -89 0 72561 -15 -16 0 72561 -15 -37 0 72561 -15 -38 0 72561 -15 -78 0 72561 -15 -79 0 72561 -15 -80 0 72561 -15 -85 0 72561 -15 -30 0 72561 -15 -35 0 72561 -15 -67 0 72561 -16 -38 0 72561 -16 -52 0 72561 -16 -74 0 72561 -16 -76 0 72561 -16 -77 0 72561 -16 -86 0 72561 -16 -87 0 72561 -16 -30 0 72561 -16 -34 0 72561 -16 -35 0 72561 -16 -53 0 72561 -16 -37 0 72561 -16 -78 0 72561 -16 -67 0 72561 -17 -18 0 72561 -17 -21 0 72561 -17 -40 0 72561 -17 -41 0 72561 -17 -48 0 72561 -17 -51 0 72561 -17 -54 0 72561 -17 -55 0 72561 -17 -19 0 72561 -17 -20 0 72561 -18 -21 0 72561 -18 -40 0 72561 -18 -41 0 72561 -18 -48 0 72561 -18 -51 0 72561 -18 -54 0 72561 -18 -55 0 72561 -18 -20 0 72561 -18 -28 0 72561 -18 -69 0 72561 -18 -73 0 72561 -18 -19 0 72561 -19 -20 0 72561 -19 -45 0 72561 -19 -47 0 72561 -19 -21 0 72561 -19 -27 0 72561 -20 -21 0 72561 -20 -24 0 72561 -20 -26 0 72561 -20 -28 0 72561 -20 -48 0 72561 -20 -49 0 72561 -20 -54 0 72561 -20 -45 0 72561 -20 -47 0 72561 -21 -40 0 72561 -21 -41 0 72561 -21 -48 0 72561 -21 -51 0 72561 -21 -54 0 72561 -21 -55 0 72561 -21 -24 0 72561 -21 -26 0 72561 -21 -28 0 72561 -21 -49 0 72561 -21 -69 0 72561 -21 -73 0 72561 -21 -27 0 72561 -22 -25 0 72561 -22 -26 0 72561 -22 -57 0 72561 -22 -65 0 72561 -22 -79 0 72561 -22 -32 0 72561 -22 -39 0 72561 -22 -50 0 72561 -22 -59 0 72561 -22 -68 0 72561 -22 -90 0 72561 -22 -23 0 72561 -23 -44 0 72561 -23 -46 0 72561 -23 -58 0 72561 -23 -59 0 72561 -23 -66 0 72561 -23 -68 0 72561 -23 -87 0 72561 -23 -31 0 72561 -23 -34 0 72561 -23 -36 0 72561 -23 -89 0 72561 -24 -26 0 72561 -24 -28 0 72561 -24 -48 0 72561 -24 -49 0 72561 -24 -27 0 72561 -24 -59 0 72561 -24 -68 0 72561 -24 -77 0 72561 -24 -80 0 72561 -24 -90 0 72561 -24 -82 0 72561 -24 -25 0 72561 -25 -26 0 72561 -25 -57 0 72561 -25 -65 0 72561 -25 -79 0 72561 -25 -27 0 72561 -25 -28 0 72561 -26 -28 0 72561 -26 -48 0 72561 -26 -49 0 72561 -26 -57 0 72561 -26 -65 0 72561 -26 -79 0 72561 -26 -27 0 72561 -27 -28 0 72561 -27 -91 0 72561 -27 -59 0 72561 -27 -68 0 72561 -27 -77 0 72561 -27 -80 0 72561 -27 -90 0 72561 -28 -91 0 72561 -28 -48 0 72561 -28 -49 0 72561 -28 -59 0 72561 -28 -68 0 72561 -28 -77 0 72561 -28 -80 0 72561 -28 -90 0 72561 -28 -54 0 72561 -29 -75 0 72561 -29 -33 0 72561 -29 -91 0 72561 -30 -34 0 72561 -30 -35 0 72561 -30 -38 0 72561 -30 -53 0 72561 -30 -86 0 72561 -30 -37 0 72561 -30 -67 0 72561 -30 -31 0 72561 -30 -32 0 72561 -30 -33 0 72561 -31 -33 0 72561 -31 -36 0 72561 -31 -51 0 72561 -31 -54 0 72561 -31 -77 0 72561 -31 -87 0 72561 -31 -34 0 72561 -31 -80 0 72561 -31 -58 0 72561 -31 -66 0 72561 -31 -89 0 72561 -31 -32 0 72561 -32 -39 0 72561 -32 -50 0 72561 -32 -57 0 72561 -32 -59 0 72561 -32 -65 0 72561 -32 -68 0 72561 -32 -90 0 72561 -32 -71 0 72561 -32 -76 0 72561 -32 -78 0 72561 -32 -33 0 72561 -32 -34 0 72561 -33 -36 0 72561 -33 -51 0 72561 -33 -54 0 72561 -33 -77 0 72561 -33 -87 0 72561 -33 -91 0 72561 -33 -34 0 72561 -34 -35 0 72561 -34 -38 0 72561 -34 -53 0 72561 -34 -86 0 72561 -34 -43 0 72561 -34 -80 0 72561 -34 -36 0 72561 -34 -77 0 72561 -34 -87 0 72561 -34 -58 0 72561 -34 -66 0 72561 -34 -89 0 72561 -35 -38 0 72561 -35 -53 0 72561 -35 -86 0 72561 -35 -36 0 72561 -35 -39 0 72561 -35 -55 0 72561 -35 -78 0 72561 -35 -81 0 72561 -35 -37 0 72561 -35 -67 0 72561 -36 -39 0 72561 -36 -55 0 72561 -36 -78 0 72561 -36 -81 0 72561 -36 -51 0 72561 -36 -54 0 72561 -36 -77 0 72561 -36 -87 0 72561 -36 -80 0 72561 -36 -58 0 72561 -36 -66 0 72561 -36 -89 0 72561 -36 -37 0 72561 -36 -38 0 72561 -37 -38 0 72561 -37 -78 0 72561 -37 -79 0 72561 -37 -80 0 72561 -37 -85 0 72561 -37 -67 0 72561 -37 -39 0 72561 -38 -52 0 72561 -38 -74 0 72561 -38 -76 0 72561 -38 -77 0 72561 -38 -86 0 72561 -38 -87 0 72561 -38 -53 0 72561 -38 -78 0 72561 -38 -67 0 72561 -38 -39 0 72561 -39 -55 0 72561 -39 -78 0 72561 -39 -81 0 72561 -39 -50 0 72561 -39 -57 0 72561 -39 -59 0 72561 -39 -65 0 72561 -39 -68 0 72561 -39 -90 0 72561 -39 -71 0 72561 -39 -76 0 72561 -40 -41 0 72561 -40 -45 0 72561 -40 -46 0 72561 -40 -47 0 72561 -40 -48 0 72561 -40 -60 0 72561 -40 -63 0 72561 -40 -51 0 72561 -40 -54 0 72561 -40 -55 0 72561 -40 -44 0 72561 -41 -45 0 72561 -41 -46 0 72561 -41 -47 0 72561 -41 -48 0 72561 -41 -60 0 72561 -41 -63 0 72561 -41 -51 0 72561 -41 -54 0 72561 -41 -55 0 72561 -41 -42 0 72561 -41 -43 0 72561 -41 -62 0 72561 -42 -43 0 72561 -42 -62 0 72561 -42 -63 0 72561 -42 -84 0 72561 -42 -45 0 72561 -42 -44 0 72561 -42 -46 0 72561 -43 -80 0 72561 -43 -62 0 72561 -43 -63 0 72561 -43 -51 0 72561 -43 -54 0 72561 -43 -65 0 72561 -43 -66 0 72561 -43 -68 0 72561 -43 -79 0 72561 -43 -85 0 72561 -43 -86 0 72561 -43 -67 0 72561 -43 -44 0 72561 -43 -45 0 72561 -43 -46 0 72561 -44 -45 0 72561 -44 -46 0 72561 -44 -60 0 72561 -44 -58 0 72561 -44 -59 0 72561 -44 -66 0 72561 -44 -68 0 72561 -44 -87 0 72561 -44 -65 0 72561 -44 -79 0 72561 -44 -85 0 72561 -44 -86 0 72561 -45 -46 0 72561 -45 -47 0 72561 -45 -48 0 72561 -45 -60 0 72561 -45 -63 0 72561 -46 -47 0 72561 -46 -48 0 72561 -46 -60 0 72561 -46 -63 0 72561 -46 -58 0 72561 -46 -59 0 72561 -46 -66 0 72561 -46 -68 0 72561 -46 -87 0 72561 -46 -65 0 72561 -46 -79 0 72561 -46 -85 0 72561 -46 -86 0 72561 -47 -48 0 72561 -47 -60 0 72561 -47 -63 0 72561 -47 -49 0 72561 -48 -60 0 72561 -48 -63 0 72561 -48 -51 0 72561 -48 -54 0 72561 -48 -55 0 72561 -48 -49 0 72561 -48 -69 0 72561 -48 -73 0 72561 -49 -70 0 72561 -49 -72 0 72561 -49 -88 0 72561 -50 -57 0 72561 -50 -59 0 72561 -50 -65 0 72561 -50 -68 0 72561 -50 -90 0 72561 -51 -54 0 72561 -51 -55 0 72561 -51 -77 0 72561 -51 -87 0 72561 -51 -52 0 72561 -51 -53 0 72561 -52 -74 0 72561 -52 -76 0 72561 -52 -77 0 72561 -52 -86 0 72561 -52 -87 0 72561 -52 -53 0 72561 -52 -54 0 72561 -52 -55 0 72561 -53 -86 0 72561 -53 -54 0 72561 -53 -55 0 72561 -54 -55 0 72561 -54 -77 0 72561 -54 -87 0 72561 -54 -69 0 72561 -54 -73 0 72561 -55 -78 0 72561 -55 -81 0 72561 -56 -70 0 72561 -56 -73 0 72561 -57 -65 0 72561 -57 -79 0 72561 -57 -59 0 72561 -57 -68 0 72561 -57 -90 0 72561 -57 -58 0 72561 -58 -59 0 72561 -58 -66 0 72561 -58 -68 0 72561 -58 -87 0 72561 -58 -89 0 72561 -59 -66 0 72561 -59 -68 0 72561 -59 -87 0 72561 -59 -77 0 72561 -59 -80 0 72561 -59 -90 0 72561 -59 -65 0 72561 -60 -63 0 72561 -60 -61 0 72561 -60 -62 0 72561 -61 -62 0 72561 -61 -64 0 72561 -61 -63 0 72561 -62 -64 0 72561 -62 -63 0 72561 -65 -66 0 72561 -65 -68 0 72561 -65 -79 0 72561 -65 -85 0 72561 -65 -86 0 72561 -65 -90 0 72561 -65 -67 0 72561 -66 -68 0 72561 -66 -87 0 72561 -66 -79 0 72561 -66 -85 0 72561 -66 -86 0 72561 -66 -89 0 72561 -66 -67 0 72561 -67 -79 0 72561 -67 -85 0 72561 -67 -86 0 72561 -67 -68 0 72561 -68 -87 0 72561 -68 -79 0 72561 -68 -85 0 72561 -68 -86 0 72561 -68 -77 0 72561 -68 -80 0 72561 -68 -90 0 72561 -69 -73 0 72561 -69 -70 0 72561 -69 -82 0 72561 -70 -73 0 72561 -70 -82 0 72561 -70 -72 0 72561 -70 -88 0 72561 -71 -76 0 72561 -71 -78 0 72561 -72 -88 0 72561 -72 -73 0 72561 -74 -76 0 72561 -74 -77 0 72561 -74 -86 0 72561 -74 -87 0 72561 -75 -83 0 72561 -76 -77 0 72561 -76 -86 0 72561 -76 -87 0 72561 -76 -78 0 72561 -76 -79 0 72561 -76 -80 0 72561 -77 -86 0 72561 -77 -87 0 72561 -77 -80 0 72561 -77 -90 0 72561 -77 -78 0 72561 -77 -79 0 72561 -78 -81 0 72561 -78 -79 0 72561 -78 -80 0 72561 -79 -80 0 72561 -79 -85 0 72561 -79 -86 0 72561 -80 -85 0 72561 -80 -87 0 72561 -80 -90 0 72561 -85 -86 0 72561 -85 -87 0 72561 -86 -87 0 72561 -89 -90 0 72561 -89 -91 0 72561 -90 -91 0