c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 80; Distribution: paths; Runs: 30; Seed: 1151601914 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 59277 p wcnf 80 696 59277 459 1 0 459 2 0 734 3 0 734 4 0 734 5 0 734 6 0 734 7 0 100 8 0 796 9 0 796 10 0 796 11 0 796 12 0 796 13 0 959 14 0 959 15 0 959 16 0 959 17 0 959 18 0 210 19 0 964 20 0 964 21 0 964 22 0 964 23 0 315 24 0 315 25 0 315 26 0 315 27 0 163 28 0 1068 29 0 924 30 0 924 31 0 924 32 0 924 33 0 924 34 0 283 35 0 783 36 0 783 37 0 243 38 0 720 39 0 720 40 0 924 41 0 924 42 0 924 43 0 924 44 0 924 45 0 1068 46 0 764 47 0 764 48 0 764 49 0 764 50 0 764 51 0 663 52 0 359 53 0 899 54 0 899 55 0 899 56 0 899 57 0 899 58 0 765 59 0 417 60 0 452 61 0 452 62 0 165 63 0 952 64 0 952 65 0 952 66 0 952 67 0 952 68 0 154 69 0 1068 70 0 1068 71 0 678 72 0 271 73 0 718 74 0 868 75 0 868 76 0 868 77 0 868 78 0 868 79 0 771 80 0 59277 -1 -33 0 59277 -1 -44 0 59277 -1 -67 0 59277 -1 -2 0 59277 -2 -34 0 59277 -2 -45 0 59277 -2 -68 0 59277 -2 -80 0 59277 -2 -66 0 59277 -2 -72 0 59277 -3 -6 0 59277 -3 -7 0 59277 -3 -15 0 59277 -3 -16 0 59277 -3 -19 0 59277 -3 -47 0 59277 -3 -48 0 59277 -3 -49 0 59277 -3 -50 0 59277 -3 -51 0 59277 -3 -60 0 59277 -3 -64 0 59277 -3 -67 0 59277 -3 -68 0 59277 -3 -73 0 59277 -3 -74 0 59277 -3 -5 0 59277 -3 -8 0 59277 -3 -31 0 59277 -3 -32 0 59277 -3 -33 0 59277 -3 -34 0 59277 -3 -35 0 59277 -3 -42 0 59277 -3 -43 0 59277 -3 -44 0 59277 -3 -45 0 59277 -3 -53 0 59277 -3 -79 0 59277 -3 -28 0 59277 -3 -4 0 59277 -4 -5 0 59277 -4 -6 0 59277 -4 -7 0 59277 -5 -6 0 59277 -5 -8 0 59277 -5 -31 0 59277 -5 -32 0 59277 -5 -33 0 59277 -5 -34 0 59277 -5 -35 0 59277 -5 -42 0 59277 -5 -43 0 59277 -5 -44 0 59277 -5 -45 0 59277 -5 -12 0 59277 -5 -21 0 59277 -5 -22 0 59277 -5 -23 0 59277 -5 -37 0 59277 -5 -38 0 59277 -5 -46 0 59277 -5 -53 0 59277 -5 -62 0 59277 -5 -77 0 59277 -5 -78 0 59277 -5 -79 0 59277 -5 -7 0 59277 -6 -7 0 59277 -6 -15 0 59277 -6 -16 0 59277 -6 -19 0 59277 -6 -47 0 59277 -6 -48 0 59277 -6 -49 0 59277 -6 -50 0 59277 -6 -51 0 59277 -6 -60 0 59277 -6 -64 0 59277 -6 -67 0 59277 -6 -68 0 59277 -6 -73 0 59277 -6 -74 0 59277 -6 -8 0 59277 -6 -31 0 59277 -6 -32 0 59277 -6 -33 0 59277 -6 -34 0 59277 -6 -35 0 59277 -6 -42 0 59277 -6 -43 0 59277 -6 -44 0 59277 -6 -45 0 59277 -6 -17 0 59277 -6 -69 0 59277 -6 -53 0 59277 -6 -79 0 59277 -6 -28 0 59277 -7 -67 0 59277 -7 -68 0 59277 -7 -74 0 59277 -7 -15 0 59277 -7 -16 0 59277 -7 -19 0 59277 -7 -47 0 59277 -7 -48 0 59277 -7 -49 0 59277 -7 -50 0 59277 -7 -51 0 59277 -7 -60 0 59277 -7 -64 0 59277 -7 -73 0 59277 -7 -28 0 59277 -8 -31 0 59277 -8 -32 0 59277 -8 -33 0 59277 -8 -34 0 59277 -8 -35 0 59277 -8 -42 0 59277 -8 -43 0 59277 -8 -44 0 59277 -8 -45 0 59277 -9 -11 0 59277 -9 -12 0 59277 -9 -20 0 59277 -9 -21 0 59277 -9 -23 0 59277 -9 -26 0 59277 -9 -27 0 59277 -9 -36 0 59277 -9 -37 0 59277 -9 -76 0 59277 -9 -78 0 59277 -9 -77 0 59277 -9 -10 0 59277 -9 -13 0 59277 -10 -13 0 59277 -10 -22 0 59277 -10 -11 0 59277 -10 -23 0 59277 -10 -33 0 59277 -10 -34 0 59277 -10 -44 0 59277 -10 -45 0 59277 -10 -62 0 59277 -10 -80 0 59277 -10 -12 0 59277 -11 -12 0 59277 -11 -20 0 59277 -11 -21 0 59277 -11 -23 0 59277 -11 -26 0 59277 -11 -27 0 59277 -11 -36 0 59277 -11 -37 0 59277 -11 -76 0 59277 -11 -78 0 59277 -11 -22 0 59277 -11 -33 0 59277 -11 -34 0 59277 -11 -44 0 59277 -11 -45 0 59277 -11 -62 0 59277 -11 -80 0 59277 -11 -13 0 59277 -12 -20 0 59277 -12 -21 0 59277 -12 -23 0 59277 -12 -26 0 59277 -12 -27 0 59277 -12 -36 0 59277 -12 -37 0 59277 -12 -76 0 59277 -12 -78 0 59277 -12 -22 0 59277 -12 -38 0 59277 -12 -46 0 59277 -12 -53 0 59277 -12 -62 0 59277 -12 -77 0 59277 -12 -79 0 59277 -12 -58 0 59277 -12 -75 0 59277 -12 -13 0 59277 -13 -61 0 59277 -13 -67 0 59277 -13 -68 0 59277 -13 -74 0 59277 -13 -22 0 59277 -14 -16 0 59277 -14 -30 0 59277 -14 -32 0 59277 -14 -41 0 59277 -14 -43 0 59277 -14 -18 0 59277 -14 -59 0 59277 -14 -65 0 59277 -14 -15 0 59277 -14 -17 0 59277 -15 -16 0 59277 -15 -19 0 59277 -15 -47 0 59277 -15 -48 0 59277 -15 -49 0 59277 -15 -50 0 59277 -15 -51 0 59277 -15 -60 0 59277 -15 -64 0 59277 -15 -67 0 59277 -15 -68 0 59277 -15 -73 0 59277 -15 -74 0 59277 -15 -31 0 59277 -15 -33 0 59277 -15 -42 0 59277 -15 -44 0 59277 -15 -52 0 59277 -15 -17 0 59277 -15 -18 0 59277 -16 -30 0 59277 -16 -32 0 59277 -16 -41 0 59277 -16 -43 0 59277 -16 -46 0 59277 -16 -52 0 59277 -16 -65 0 59277 -16 -71 0 59277 -16 -19 0 59277 -16 -47 0 59277 -16 -48 0 59277 -16 -49 0 59277 -16 -50 0 59277 -16 -51 0 59277 -16 -60 0 59277 -16 -64 0 59277 -16 -67 0 59277 -16 -68 0 59277 -16 -73 0 59277 -16 -74 0 59277 -16 -17 0 59277 -16 -18 0 59277 -17 -50 0 59277 -17 -51 0 59277 -17 -69 0 59277 -17 -20 0 59277 -17 -21 0 59277 -17 -22 0 59277 -17 -23 0 59277 -17 -39 0 59277 -17 -40 0 59277 -17 -18 0 59277 -18 -29 0 59277 -18 -46 0 59277 -18 -71 0 59277 -18 -59 0 59277 -18 -65 0 59277 -19 -47 0 59277 -19 -48 0 59277 -19 -49 0 59277 -19 -50 0 59277 -19 -51 0 59277 -19 -60 0 59277 -19 -64 0 59277 -19 -67 0 59277 -19 -68 0 59277 -19 -73 0 59277 -19 -74 0 59277 -20 -21 0 59277 -20 -23 0 59277 -20 -26 0 59277 -20 -27 0 59277 -20 -36 0 59277 -20 -37 0 59277 -20 -76 0 59277 -20 -78 0 59277 -20 -22 0 59277 -20 -39 0 59277 -20 -40 0 59277 -20 -58 0 59277 -20 -75 0 59277 -21 -23 0 59277 -21 -26 0 59277 -21 -27 0 59277 -21 -36 0 59277 -21 -37 0 59277 -21 -76 0 59277 -21 -78 0 59277 -21 -22 0 59277 -21 -39 0 59277 -21 -40 0 59277 -21 -38 0 59277 -21 -46 0 59277 -21 -53 0 59277 -21 -62 0 59277 -21 -77 0 59277 -21 -79 0 59277 -22 -23 0 59277 -22 -39 0 59277 -22 -40 0 59277 -22 -37 0 59277 -22 -38 0 59277 -22 -46 0 59277 -22 -53 0 59277 -22 -62 0 59277 -22 -77 0 59277 -22 -78 0 59277 -22 -79 0 59277 -22 -33 0 59277 -22 -34 0 59277 -22 -44 0 59277 -22 -45 0 59277 -22 -80 0 59277 -23 -26 0 59277 -23 -27 0 59277 -23 -36 0 59277 -23 -37 0 59277 -23 -76 0 59277 -23 -78 0 59277 -23 -39 0 59277 -23 -40 0 59277 -23 -38 0 59277 -23 -46 0 59277 -23 -53 0 59277 -23 -62 0 59277 -23 -77 0 59277 -23 -79 0 59277 -23 -33 0 59277 -23 -34 0 59277 -23 -44 0 59277 -23 -45 0 59277 -23 -80 0 59277 -24 -25 0 59277 -24 -39 0 59277 -24 -40 0 59277 -24 -57 0 59277 -24 -63 0 59277 -24 -76 0 59277 -24 -78 0 59277 -24 -26 0 59277 -24 -79 0 59277 -24 -27 0 59277 -25 -39 0 59277 -25 -40 0 59277 -25 -57 0 59277 -25 -63 0 59277 -25 -76 0 59277 -25 -78 0 59277 -25 -27 0 59277 -25 -55 0 59277 -25 -26 0 59277 -26 -27 0 59277 -26 -36 0 59277 -26 -37 0 59277 -26 -76 0 59277 -26 -78 0 59277 -26 -39 0 59277 -26 -79 0 59277 -26 -56 0 59277 -26 -58 0 59277 -26 -75 0 59277 -26 -77 0 59277 -27 -36 0 59277 -27 -37 0 59277 -27 -76 0 59277 -27 -78 0 59277 -27 -40 0 59277 -27 -55 0 59277 -27 -56 0 59277 -27 -58 0 59277 -27 -75 0 59277 -27 -77 0 59277 -28 -47 0 59277 -28 -48 0 59277 -28 -49 0 59277 -28 -50 0 59277 -28 -51 0 59277 -28 -60 0 59277 -28 -67 0 59277 -28 -68 0 59277 -28 -73 0 59277 -28 -74 0 59277 -29 -46 0 59277 -29 -71 0 59277 -29 -70 0 59277 -30 -32 0 59277 -30 -41 0 59277 -30 -43 0 59277 -30 -31 0 59277 -30 -33 0 59277 -30 -34 0 59277 -31 -32 0 59277 -31 -33 0 59277 -31 -34 0 59277 -31 -35 0 59277 -31 -42 0 59277 -31 -43 0 59277 -31 -44 0 59277 -31 -45 0 59277 -31 -46 0 59277 -32 -41 0 59277 -32 -43 0 59277 -32 -46 0 59277 -32 -52 0 59277 -32 -65 0 59277 -32 -71 0 59277 -32 -33 0 59277 -32 -34 0 59277 -32 -35 0 59277 -32 -42 0 59277 -32 -44 0 59277 -32 -45 0 59277 -33 -34 0 59277 -33 -35 0 59277 -33 -42 0 59277 -33 -43 0 59277 -33 -44 0 59277 -33 -45 0 59277 -33 -67 0 59277 -33 -62 0 59277 -33 -80 0 59277 -34 -45 0 59277 -34 -68 0 59277 -34 -80 0 59277 -34 -35 0 59277 -34 -42 0 59277 -34 -43 0 59277 -34 -44 0 59277 -34 -62 0 59277 -35 -42 0 59277 -35 -43 0 59277 -35 -44 0 59277 -35 -45 0 59277 -35 -53 0 59277 -35 -79 0 59277 -36 -37 0 59277 -36 -76 0 59277 -36 -78 0 59277 -36 -58 0 59277 -36 -75 0 59277 -37 -76 0 59277 -37 -78 0 59277 -37 -38 0 59277 -37 -46 0 59277 -37 -53 0 59277 -37 -62 0 59277 -37 -77 0 59277 -37 -79 0 59277 -38 -46 0 59277 -38 -53 0 59277 -38 -58 0 59277 -38 -71 0 59277 -38 -62 0 59277 -38 -77 0 59277 -38 -78 0 59277 -38 -79 0 59277 -39 -40 0 59277 -39 -57 0 59277 -39 -63 0 59277 -39 -76 0 59277 -39 -78 0 59277 -39 -79 0 59277 -40 -57 0 59277 -40 -63 0 59277 -40 -76 0 59277 -40 -78 0 59277 -40 -55 0 59277 -41 -43 0 59277 -41 -42 0 59277 -41 -44 0 59277 -41 -45 0 59277 -42 -43 0 59277 -42 -44 0 59277 -42 -45 0 59277 -42 -46 0 59277 -43 -46 0 59277 -43 -52 0 59277 -43 -65 0 59277 -43 -71 0 59277 -43 -44 0 59277 -43 -45 0 59277 -44 -45 0 59277 -44 -67 0 59277 -44 -62 0 59277 -44 -80 0 59277 -45 -68 0 59277 -45 -80 0 59277 -45 -62 0 59277 -46 -71 0 59277 -46 -52 0 59277 -46 -65 0 59277 -46 -53 0 59277 -46 -58 0 59277 -46 -62 0 59277 -46 -77 0 59277 -46 -78 0 59277 -46 -79 0 59277 -46 -70 0 59277 -47 -48 0 59277 -47 -49 0 59277 -47 -50 0 59277 -47 -51 0 59277 -47 -60 0 59277 -47 -64 0 59277 -47 -67 0 59277 -47 -68 0 59277 -47 -73 0 59277 -47 -74 0 59277 -48 -49 0 59277 -48 -50 0 59277 -48 -51 0 59277 -48 -60 0 59277 -48 -64 0 59277 -48 -67 0 59277 -48 -68 0 59277 -48 -73 0 59277 -48 -74 0 59277 -49 -50 0 59277 -49 -51 0 59277 -49 -60 0 59277 -49 -64 0 59277 -49 -67 0 59277 -49 -68 0 59277 -49 -73 0 59277 -49 -74 0 59277 -50 -51 0 59277 -50 -60 0 59277 -50 -64 0 59277 -50 -67 0 59277 -50 -68 0 59277 -50 -73 0 59277 -50 -74 0 59277 -50 -69 0 59277 -51 -60 0 59277 -51 -64 0 59277 -51 -67 0 59277 -51 -68 0 59277 -51 -73 0 59277 -51 -74 0 59277 -51 -69 0 59277 -52 -65 0 59277 -52 -71 0 59277 -52 -64 0 59277 -53 -58 0 59277 -53 -71 0 59277 -53 -79 0 59277 -53 -62 0 59277 -53 -77 0 59277 -53 -78 0 59277 -54 -55 0 59277 -54 -56 0 59277 -54 -57 0 59277 -54 -58 0 59277 -55 -56 0 59277 -55 -57 0 59277 -55 -58 0 59277 -56 -58 0 59277 -56 -75 0 59277 -56 -77 0 59277 -56 -57 0 59277 -57 -63 0 59277 -57 -76 0 59277 -57 -78 0 59277 -57 -58 0 59277 -58 -71 0 59277 -58 -75 0 59277 -58 -77 0 59277 -58 -76 0 59277 -59 -65 0 59277 -60 -64 0 59277 -60 -67 0 59277 -60 -68 0 59277 -60 -73 0 59277 -60 -74 0 59277 -61 -67 0 59277 -61 -68 0 59277 -61 -74 0 59277 -61 -62 0 59277 -62 -77 0 59277 -62 -78 0 59277 -62 -79 0 59277 -62 -80 0 59277 -63 -76 0 59277 -63 -78 0 59277 -64 -67 0 59277 -64 -68 0 59277 -64 -73 0 59277 -64 -74 0 59277 -64 -65 0 59277 -64 -66 0 59277 -65 -71 0 59277 -65 -66 0 59277 -65 -67 0 59277 -65 -68 0 59277 -66 -68 0 59277 -66 -72 0 59277 -66 -67 0 59277 -67 -68 0 59277 -67 -74 0 59277 -67 -73 0 59277 -68 -80 0 59277 -68 -72 0 59277 -68 -74 0 59277 -68 -73 0 59277 -70 -71 0 59277 -72 -80 0 59277 -73 -74 0 59277 -75 -77 0 59277 -75 -76 0 59277 -75 -78 0 59277 -75 -79 0 59277 -76 -78 0 59277 -76 -77 0 59277 -76 -79 0 59277 -77 -78 0 59277 -77 -79 0 59277 -78 -79 0