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 66331 p wcnf 80 615 66331 944 1 0 944 2 0 944 3 0 944 4 0 944 5 0 944 6 0 944 7 0 517 8 0 855 9 0 855 10 0 696 11 0 696 12 0 696 13 0 452 14 0 452 15 0 865 16 0 865 17 0 865 18 0 588 19 0 1124 20 0 1124 21 0 1124 22 0 1124 23 0 1124 24 0 631 25 0 631 26 0 631 27 0 631 28 0 631 29 0 460 30 0 460 31 0 460 32 0 460 33 0 460 34 0 230 35 0 230 36 0 780 37 0 893 38 0 893 39 0 893 40 0 893 41 0 893 42 0 1120 43 0 1120 44 0 1120 45 0 1120 46 0 1120 47 0 1070 48 0 1070 49 0 1070 50 0 1070 51 0 1070 52 0 99 53 0 1249 54 0 1023 55 0 1023 56 0 1023 57 0 1041 58 0 1041 59 0 1041 60 0 1041 61 0 1041 62 0 58 63 0 1191 64 0 1191 65 0 1191 66 0 182 67 0 425 68 0 425 69 0 425 70 0 656 71 0 656 72 0 656 73 0 656 74 0 656 75 0 1120 76 0 1120 77 0 1120 78 0 1120 79 0 1120 80 0 66331 -1 -3 0 66331 -1 -5 0 66331 -1 -12 0 66331 -1 -38 0 66331 -1 -40 0 66331 -1 -42 0 66331 -1 -55 0 66331 -1 -57 0 66331 -1 -2 0 66331 -1 -4 0 66331 -2 -3 0 66331 -2 -4 0 66331 -2 -5 0 66331 -2 -8 0 66331 -2 -17 0 66331 -2 -18 0 66331 -2 -19 0 66331 -2 -53 0 66331 -2 -56 0 66331 -2 -65 0 66331 -2 -22 0 66331 -2 -23 0 66331 -2 -46 0 66331 -2 -79 0 66331 -3 -5 0 66331 -3 -12 0 66331 -3 -38 0 66331 -3 -40 0 66331 -3 -42 0 66331 -3 -4 0 66331 -3 -8 0 66331 -3 -17 0 66331 -3 -18 0 66331 -3 -19 0 66331 -3 -53 0 66331 -3 -56 0 66331 -3 -65 0 66331 -3 -22 0 66331 -3 -23 0 66331 -3 -46 0 66331 -3 -79 0 66331 -3 -57 0 66331 -4 -5 0 66331 -4 -8 0 66331 -4 -17 0 66331 -4 -18 0 66331 -4 -19 0 66331 -4 -53 0 66331 -4 -56 0 66331 -4 -65 0 66331 -4 -22 0 66331 -4 -23 0 66331 -4 -46 0 66331 -4 -79 0 66331 -4 -39 0 66331 -4 -41 0 66331 -5 -7 0 66331 -5 -11 0 66331 -5 -13 0 66331 -5 -15 0 66331 -5 -40 0 66331 -5 -41 0 66331 -5 -71 0 66331 -5 -74 0 66331 -5 -75 0 66331 -5 -12 0 66331 -5 -38 0 66331 -5 -42 0 66331 -5 -8 0 66331 -5 -17 0 66331 -5 -18 0 66331 -5 -19 0 66331 -5 -53 0 66331 -5 -56 0 66331 -5 -65 0 66331 -5 -22 0 66331 -5 -23 0 66331 -5 -46 0 66331 -5 -79 0 66331 -6 -7 0 66331 -6 -14 0 66331 -6 -15 0 66331 -6 -29 0 66331 -6 -50 0 66331 -6 -11 0 66331 -6 -13 0 66331 -7 -11 0 66331 -7 -13 0 66331 -7 -15 0 66331 -7 -40 0 66331 -7 -41 0 66331 -7 -71 0 66331 -7 -74 0 66331 -7 -75 0 66331 -7 -14 0 66331 -7 -42 0 66331 -8 -17 0 66331 -8 -18 0 66331 -8 -19 0 66331 -8 -53 0 66331 -8 -56 0 66331 -8 -65 0 66331 -8 -22 0 66331 -8 -23 0 66331 -8 -46 0 66331 -8 -79 0 66331 -9 -34 0 66331 -9 -44 0 66331 -9 -59 0 66331 -9 -61 0 66331 -9 -62 0 66331 -9 -70 0 66331 -9 -77 0 66331 -9 -10 0 66331 -9 -18 0 66331 -9 -21 0 66331 -9 -23 0 66331 -9 -54 0 66331 -9 -60 0 66331 -9 -58 0 66331 -10 -31 0 66331 -10 -33 0 66331 -10 -34 0 66331 -10 -36 0 66331 -10 -44 0 66331 -10 -45 0 66331 -10 -59 0 66331 -10 -61 0 66331 -10 -73 0 66331 -10 -75 0 66331 -10 -77 0 66331 -10 -78 0 66331 -10 -32 0 66331 -10 -43 0 66331 -10 -58 0 66331 -10 -60 0 66331 -10 -74 0 66331 -10 -76 0 66331 -10 -18 0 66331 -10 -21 0 66331 -10 -23 0 66331 -10 -54 0 66331 -10 -62 0 66331 -11 -13 0 66331 -11 -15 0 66331 -11 -40 0 66331 -11 -41 0 66331 -11 -71 0 66331 -11 -74 0 66331 -11 -75 0 66331 -11 -12 0 66331 -11 -64 0 66331 -12 -38 0 66331 -12 -40 0 66331 -12 -42 0 66331 -12 -64 0 66331 -12 -13 0 66331 -13 -15 0 66331 -13 -40 0 66331 -13 -41 0 66331 -13 -71 0 66331 -13 -74 0 66331 -13 -75 0 66331 -13 -63 0 66331 -13 -66 0 66331 -14 -15 0 66331 -14 -42 0 66331 -15 -40 0 66331 -15 -41 0 66331 -15 -71 0 66331 -15 -74 0 66331 -15 -75 0 66331 -15 -29 0 66331 -15 -50 0 66331 -16 -17 0 66331 -16 -18 0 66331 -17 -18 0 66331 -17 -19 0 66331 -17 -53 0 66331 -17 -56 0 66331 -17 -65 0 66331 -17 -22 0 66331 -18 -19 0 66331 -18 -53 0 66331 -18 -56 0 66331 -18 -65 0 66331 -18 -21 0 66331 -18 -23 0 66331 -18 -54 0 66331 -18 -60 0 66331 -18 -61 0 66331 -18 -51 0 66331 -19 -53 0 66331 -19 -56 0 66331 -19 -65 0 66331 -20 -21 0 66331 -20 -24 0 66331 -20 -45 0 66331 -20 -78 0 66331 -20 -22 0 66331 -20 -23 0 66331 -21 -23 0 66331 -21 -54 0 66331 -21 -60 0 66331 -21 -61 0 66331 -21 -24 0 66331 -21 -45 0 66331 -21 -78 0 66331 -21 -22 0 66331 -22 -23 0 66331 -22 -46 0 66331 -22 -56 0 66331 -22 -65 0 66331 -22 -79 0 66331 -22 -24 0 66331 -23 -54 0 66331 -23 -60 0 66331 -23 -61 0 66331 -23 -46 0 66331 -23 -56 0 66331 -23 -65 0 66331 -23 -79 0 66331 -23 -51 0 66331 -23 -24 0 66331 -24 -60 0 66331 -24 -61 0 66331 -24 -51 0 66331 -24 -52 0 66331 -24 -58 0 66331 -24 -59 0 66331 -24 -62 0 66331 -24 -67 0 66331 -24 -45 0 66331 -24 -78 0 66331 -25 -26 0 66331 -25 -27 0 66331 -25 -28 0 66331 -25 -29 0 66331 -26 -27 0 66331 -26 -52 0 66331 -26 -28 0 66331 -26 -29 0 66331 -27 -29 0 66331 -27 -30 0 66331 -27 -33 0 66331 -27 -37 0 66331 -27 -69 0 66331 -27 -71 0 66331 -27 -72 0 66331 -27 -75 0 66331 -27 -32 0 66331 -27 -34 0 66331 -27 -70 0 66331 -27 -55 0 66331 -27 -56 0 66331 -27 -52 0 66331 -27 -28 0 66331 -28 -29 0 66331 -28 -52 0 66331 -29 -30 0 66331 -29 -33 0 66331 -29 -37 0 66331 -29 -69 0 66331 -29 -71 0 66331 -29 -72 0 66331 -29 -75 0 66331 -29 -50 0 66331 -29 -52 0 66331 -29 -74 0 66331 -30 -33 0 66331 -30 -37 0 66331 -30 -69 0 66331 -30 -71 0 66331 -30 -72 0 66331 -30 -75 0 66331 -30 -36 0 66331 -30 -46 0 66331 -30 -62 0 66331 -30 -79 0 66331 -30 -32 0 66331 -30 -34 0 66331 -30 -70 0 66331 -30 -31 0 66331 -31 -33 0 66331 -31 -34 0 66331 -31 -36 0 66331 -31 -44 0 66331 -31 -45 0 66331 -31 -59 0 66331 -31 -61 0 66331 -31 -73 0 66331 -31 -75 0 66331 -31 -77 0 66331 -31 -78 0 66331 -31 -68 0 66331 -31 -32 0 66331 -32 -34 0 66331 -32 -70 0 66331 -32 -74 0 66331 -32 -43 0 66331 -32 -58 0 66331 -32 -60 0 66331 -32 -76 0 66331 -32 -33 0 66331 -32 -69 0 66331 -32 -72 0 66331 -33 -37 0 66331 -33 -69 0 66331 -33 -71 0 66331 -33 -72 0 66331 -33 -75 0 66331 -33 -34 0 66331 -33 -36 0 66331 -33 -44 0 66331 -33 -45 0 66331 -33 -59 0 66331 -33 -61 0 66331 -33 -73 0 66331 -33 -77 0 66331 -33 -78 0 66331 -33 -70 0 66331 -33 -35 0 66331 -33 -62 0 66331 -34 -70 0 66331 -34 -74 0 66331 -34 -36 0 66331 -34 -44 0 66331 -34 -45 0 66331 -34 -59 0 66331 -34 -61 0 66331 -34 -73 0 66331 -34 -75 0 66331 -34 -77 0 66331 -34 -78 0 66331 -34 -69 0 66331 -34 -72 0 66331 -34 -62 0 66331 -35 -62 0 66331 -35 -69 0 66331 -35 -75 0 66331 -35 -36 0 66331 -36 -37 0 66331 -36 -46 0 66331 -36 -62 0 66331 -36 -71 0 66331 -36 -72 0 66331 -36 -79 0 66331 -36 -44 0 66331 -36 -45 0 66331 -36 -59 0 66331 -36 -61 0 66331 -36 -73 0 66331 -36 -75 0 66331 -36 -77 0 66331 -36 -78 0 66331 -37 -69 0 66331 -37 -71 0 66331 -37 -72 0 66331 -37 -75 0 66331 -37 -46 0 66331 -37 -62 0 66331 -37 -79 0 66331 -38 -40 0 66331 -38 -42 0 66331 -38 -41 0 66331 -38 -57 0 66331 -38 -72 0 66331 -38 -73 0 66331 -38 -39 0 66331 -39 -41 0 66331 -39 -40 0 66331 -39 -50 0 66331 -39 -42 0 66331 -40 -41 0 66331 -40 -71 0 66331 -40 -74 0 66331 -40 -75 0 66331 -40 -42 0 66331 -40 -50 0 66331 -41 -71 0 66331 -41 -74 0 66331 -41 -75 0 66331 -41 -57 0 66331 -41 -72 0 66331 -41 -73 0 66331 -41 -42 0 66331 -42 -49 0 66331 -42 -51 0 66331 -43 -58 0 66331 -43 -60 0 66331 -43 -74 0 66331 -43 -76 0 66331 -43 -44 0 66331 -43 -77 0 66331 -43 -45 0 66331 -43 -46 0 66331 -43 -47 0 66331 -44 -45 0 66331 -44 -59 0 66331 -44 -61 0 66331 -44 -73 0 66331 -44 -75 0 66331 -44 -77 0 66331 -44 -78 0 66331 -44 -62 0 66331 -44 -70 0 66331 -44 -76 0 66331 -44 -46 0 66331 -44 -47 0 66331 -45 -59 0 66331 -45 -61 0 66331 -45 -73 0 66331 -45 -75 0 66331 -45 -77 0 66331 -45 -78 0 66331 -45 -46 0 66331 -45 -47 0 66331 -46 -62 0 66331 -46 -71 0 66331 -46 -72 0 66331 -46 -79 0 66331 -46 -56 0 66331 -46 -65 0 66331 -46 -47 0 66331 -47 -80 0 66331 -47 -64 0 66331 -47 -66 0 66331 -48 -49 0 66331 -48 -50 0 66331 -48 -51 0 66331 -48 -52 0 66331 -49 -50 0 66331 -49 -51 0 66331 -49 -52 0 66331 -50 -51 0 66331 -50 -52 0 66331 -51 -52 0 66331 -51 -58 0 66331 -51 -59 0 66331 -51 -62 0 66331 -51 -67 0 66331 -51 -54 0 66331 -52 -58 0 66331 -52 -59 0 66331 -52 -62 0 66331 -52 -67 0 66331 -53 -56 0 66331 -53 -65 0 66331 -54 -60 0 66331 -54 -61 0 66331 -55 -56 0 66331 -55 -57 0 66331 -56 -65 0 66331 -56 -79 0 66331 -56 -57 0 66331 -57 -72 0 66331 -57 -73 0 66331 -58 -60 0 66331 -58 -74 0 66331 -58 -76 0 66331 -58 -59 0 66331 -58 -61 0 66331 -58 -62 0 66331 -58 -67 0 66331 -59 -61 0 66331 -59 -73 0 66331 -59 -75 0 66331 -59 -77 0 66331 -59 -78 0 66331 -59 -62 0 66331 -59 -70 0 66331 -59 -60 0 66331 -59 -67 0 66331 -60 -74 0 66331 -60 -76 0 66331 -60 -61 0 66331 -60 -62 0 66331 -61 -73 0 66331 -61 -75 0 66331 -61 -77 0 66331 -61 -78 0 66331 -61 -62 0 66331 -61 -70 0 66331 -62 -71 0 66331 -62 -72 0 66331 -62 -79 0 66331 -62 -69 0 66331 -62 -75 0 66331 -62 -70 0 66331 -62 -77 0 66331 -62 -67 0 66331 -63 -66 0 66331 -64 -66 0 66331 -64 -80 0 66331 -64 -65 0 66331 -65 -79 0 66331 -65 -66 0 66331 -66 -80 0 66331 -68 -73 0 66331 -68 -69 0 66331 -68 -70 0 66331 -69 -75 0 66331 -69 -71 0 66331 -69 -72 0 66331 -69 -70 0 66331 -70 -77 0 66331 -70 -74 0 66331 -70 -72 0 66331 -71 -72 0 66331 -71 -79 0 66331 -71 -75 0 66331 -71 -74 0 66331 -71 -73 0 66331 -72 -79 0 66331 -72 -75 0 66331 -72 -73 0 66331 -72 -74 0 66331 -73 -75 0 66331 -73 -77 0 66331 -73 -78 0 66331 -73 -74 0 66331 -74 -76 0 66331 -74 -75 0 66331 -75 -77 0 66331 -75 -78 0 66331 -76 -77 0 66331 -76 -78 0 66331 -76 -79 0 66331 -76 -80 0 66331 -77 -78 0 66331 -77 -79 0 66331 -77 -80 0 66331 -78 -79 0 66331 -78 -80 0 66331 -79 -80 0