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 82202 p wcnf 93 759 82202 1297 1 0 1297 2 0 1297 3 0 1297 4 0 1297 5 0 184 6 0 574 7 0 539 8 0 539 9 0 752 10 0 752 11 0 1026 12 0 1026 13 0 1026 14 0 553 15 0 865 16 0 865 17 0 387 18 0 387 19 0 387 20 0 970 21 0 970 22 0 970 23 0 970 24 0 970 25 0 1228 26 0 1228 27 0 1228 28 0 1228 29 0 1228 30 0 81 31 0 1128 32 0 1128 33 0 1128 34 0 1128 35 0 964 36 0 964 37 0 964 38 0 964 39 0 964 40 0 710 41 0 710 42 0 710 43 0 1286 44 0 1286 45 0 1286 46 0 1286 47 0 1286 48 0 566 49 0 870 50 0 870 51 0 870 52 0 870 53 0 870 54 0 965 55 0 965 56 0 965 57 0 965 58 0 965 59 0 603 60 0 423 61 0 516 62 0 516 63 0 224 64 0 67 65 0 433 66 0 433 67 0 433 68 0 664 69 0 664 70 0 664 71 0 664 72 0 888 73 0 888 74 0 1338 75 0 1338 76 0 1338 77 0 1338 78 0 1338 79 0 843 80 0 843 81 0 1114 82 0 1114 83 0 1114 84 0 1114 85 0 756 86 0 756 87 0 756 88 0 794 89 0 794 90 0 794 91 0 794 92 0 794 93 0 82202 -1 -78 0 82202 -1 -2 0 82202 -1 -3 0 82202 -1 -4 0 82202 -1 -5 0 82202 -2 -4 0 82202 -2 -24 0 82202 -2 -42 0 82202 -2 -43 0 82202 -2 -55 0 82202 -2 -56 0 82202 -2 -59 0 82202 -2 -75 0 82202 -2 -77 0 82202 -2 -79 0 82202 -2 -86 0 82202 -2 -87 0 82202 -2 -88 0 82202 -2 -3 0 82202 -2 -5 0 82202 -3 -4 0 82202 -3 -8 0 82202 -3 -28 0 82202 -3 -40 0 82202 -3 -47 0 82202 -3 -89 0 82202 -3 -91 0 82202 -3 -92 0 82202 -3 -5 0 82202 -3 -24 0 82202 -3 -76 0 82202 -3 -26 0 82202 -3 -30 0 82202 -4 -19 0 82202 -4 -22 0 82202 -4 -35 0 82202 -4 -43 0 82202 -4 -63 0 82202 -4 -67 0 82202 -4 -75 0 82202 -4 -77 0 82202 -4 -84 0 82202 -4 -24 0 82202 -4 -42 0 82202 -4 -55 0 82202 -4 -56 0 82202 -4 -59 0 82202 -4 -79 0 82202 -4 -86 0 82202 -4 -87 0 82202 -4 -88 0 82202 -4 -23 0 82202 -4 -62 0 82202 -4 -85 0 82202 -4 -8 0 82202 -4 -28 0 82202 -4 -40 0 82202 -4 -47 0 82202 -4 -89 0 82202 -4 -91 0 82202 -4 -92 0 82202 -4 -29 0 82202 -4 -5 0 82202 -5 -24 0 82202 -5 -26 0 82202 -5 -28 0 82202 -5 -30 0 82202 -5 -82 0 82202 -5 -83 0 82202 -5 -84 0 82202 -5 -85 0 82202 -5 -76 0 82202 -5 -44 0 82202 -5 -47 0 82202 -6 -10 0 82202 -6 -11 0 82202 -6 -49 0 82202 -6 -60 0 82202 -7 -22 0 82202 -7 -23 0 82202 -7 -35 0 82202 -7 -56 0 82202 -7 -84 0 82202 -7 -85 0 82202 -7 -87 0 82202 -7 -88 0 82202 -7 -53 0 82202 -7 -34 0 82202 -7 -52 0 82202 -7 -54 0 82202 -7 -55 0 82202 -7 -83 0 82202 -8 -39 0 82202 -8 -40 0 82202 -8 -28 0 82202 -8 -47 0 82202 -8 -89 0 82202 -8 -91 0 82202 -8 -92 0 82202 -8 -9 0 82202 -9 -16 0 82202 -9 -38 0 82202 -10 -11 0 82202 -10 -49 0 82202 -10 -60 0 82202 -10 -32 0 82202 -10 -34 0 82202 -10 -35 0 82202 -10 -65 0 82202 -10 -72 0 82202 -10 -93 0 82202 -10 -57 0 82202 -11 -49 0 82202 -11 -60 0 82202 -11 -37 0 82202 -11 -58 0 82202 -11 -59 0 82202 -11 -71 0 82202 -11 -81 0 82202 -11 -92 0 82202 -11 -32 0 82202 -11 -34 0 82202 -11 -35 0 82202 -11 -65 0 82202 -11 -72 0 82202 -11 -93 0 82202 -12 -13 0 82202 -12 -14 0 82202 -13 -14 0 82202 -13 -50 0 82202 -13 -59 0 82202 -13 -64 0 82202 -13 -86 0 82202 -13 -88 0 82202 -13 -73 0 82202 -14 -15 0 82202 -14 -50 0 82202 -14 -51 0 82202 -14 -53 0 82202 -14 -59 0 82202 -14 -60 0 82202 -14 -74 0 82202 -14 -80 0 82202 -14 -81 0 82202 -14 -64 0 82202 -14 -86 0 82202 -14 -88 0 82202 -14 -37 0 82202 -15 -50 0 82202 -15 -51 0 82202 -15 -53 0 82202 -15 -59 0 82202 -15 -60 0 82202 -15 -74 0 82202 -15 -80 0 82202 -15 -81 0 82202 -15 -61 0 82202 -15 -71 0 82202 -15 -92 0 82202 -16 -38 0 82202 -16 -17 0 82202 -17 -19 0 82202 -17 -25 0 82202 -17 -43 0 82202 -17 -63 0 82202 -17 -67 0 82202 -18 -42 0 82202 -18 -62 0 82202 -18 -66 0 82202 -18 -19 0 82202 -18 -20 0 82202 -19 -22 0 82202 -19 -35 0 82202 -19 -43 0 82202 -19 -63 0 82202 -19 -67 0 82202 -19 -75 0 82202 -19 -77 0 82202 -19 -84 0 82202 -19 -25 0 82202 -19 -20 0 82202 -20 -41 0 82202 -20 -68 0 82202 -21 -22 0 82202 -21 -23 0 82202 -21 -24 0 82202 -21 -51 0 82202 -21 -34 0 82202 -21 -83 0 82202 -21 -85 0 82202 -21 -55 0 82202 -21 -59 0 82202 -21 -86 0 82202 -21 -25 0 82202 -22 -35 0 82202 -22 -43 0 82202 -22 -63 0 82202 -22 -67 0 82202 -22 -75 0 82202 -22 -77 0 82202 -22 -84 0 82202 -22 -23 0 82202 -22 -56 0 82202 -22 -85 0 82202 -22 -87 0 82202 -22 -88 0 82202 -22 -24 0 82202 -22 -51 0 82202 -22 -53 0 82202 -22 -25 0 82202 -22 -27 0 82202 -22 -29 0 82202 -23 -35 0 82202 -23 -56 0 82202 -23 -84 0 82202 -23 -85 0 82202 -23 -87 0 82202 -23 -88 0 82202 -23 -24 0 82202 -23 -51 0 82202 -23 -42 0 82202 -23 -43 0 82202 -23 -62 0 82202 -23 -63 0 82202 -23 -75 0 82202 -23 -77 0 82202 -23 -53 0 82202 -23 -34 0 82202 -23 -83 0 82202 -23 -25 0 82202 -24 -51 0 82202 -24 -42 0 82202 -24 -43 0 82202 -24 -55 0 82202 -24 -56 0 82202 -24 -59 0 82202 -24 -75 0 82202 -24 -77 0 82202 -24 -79 0 82202 -24 -86 0 82202 -24 -87 0 82202 -24 -88 0 82202 -24 -26 0 82202 -24 -28 0 82202 -24 -30 0 82202 -24 -82 0 82202 -24 -83 0 82202 -24 -84 0 82202 -24 -85 0 82202 -24 -76 0 82202 -24 -34 0 82202 -24 -25 0 82202 -25 -43 0 82202 -25 -63 0 82202 -25 -67 0 82202 -25 -27 0 82202 -25 -29 0 82202 -25 -35 0 82202 -25 -84 0 82202 -26 -29 0 82202 -26 -47 0 82202 -26 -48 0 82202 -26 -76 0 82202 -26 -77 0 82202 -26 -80 0 82202 -26 -28 0 82202 -26 -30 0 82202 -26 -82 0 82202 -26 -83 0 82202 -26 -84 0 82202 -26 -85 0 82202 -26 -27 0 82202 -27 -75 0 82202 -27 -29 0 82202 -27 -35 0 82202 -27 -84 0 82202 -27 -28 0 82202 -27 -30 0 82202 -28 -40 0 82202 -28 -47 0 82202 -28 -89 0 82202 -28 -91 0 82202 -28 -92 0 82202 -28 -44 0 82202 -28 -78 0 82202 -28 -79 0 82202 -28 -30 0 82202 -28 -82 0 82202 -28 -83 0 82202 -28 -84 0 82202 -28 -85 0 82202 -28 -76 0 82202 -28 -29 0 82202 -29 -47 0 82202 -29 -48 0 82202 -29 -76 0 82202 -29 -77 0 82202 -29 -80 0 82202 -29 -35 0 82202 -29 -84 0 82202 -29 -30 0 82202 -30 -46 0 82202 -30 -48 0 82202 -30 -82 0 82202 -30 -83 0 82202 -30 -84 0 82202 -30 -85 0 82202 -30 -76 0 82202 -31 -33 0 82202 -31 -72 0 82202 -31 -93 0 82202 -32 -34 0 82202 -32 -35 0 82202 -32 -65 0 82202 -32 -72 0 82202 -32 -93 0 82202 -32 -33 0 82202 -32 -82 0 82202 -33 -37 0 82202 -33 -38 0 82202 -33 -54 0 82202 -33 -70 0 82202 -33 -71 0 82202 -33 -81 0 82202 -33 -90 0 82202 -33 -91 0 82202 -33 -72 0 82202 -33 -93 0 82202 -33 -82 0 82202 -33 -34 0 82202 -33 -35 0 82202 -34 -35 0 82202 -34 -65 0 82202 -34 -72 0 82202 -34 -93 0 82202 -34 -83 0 82202 -34 -85 0 82202 -34 -55 0 82202 -34 -59 0 82202 -34 -86 0 82202 -34 -52 0 82202 -34 -54 0 82202 -34 -56 0 82202 -34 -84 0 82202 -35 -43 0 82202 -35 -63 0 82202 -35 -67 0 82202 -35 -75 0 82202 -35 -77 0 82202 -35 -84 0 82202 -35 -56 0 82202 -35 -85 0 82202 -35 -87 0 82202 -35 -88 0 82202 -35 -53 0 82202 -35 -65 0 82202 -35 -72 0 82202 -35 -93 0 82202 -35 -52 0 82202 -35 -54 0 82202 -35 -55 0 82202 -35 -83 0 82202 -36 -37 0 82202 -36 -38 0 82202 -36 -39 0 82202 -36 -40 0 82202 -37 -58 0 82202 -37 -59 0 82202 -37 -71 0 82202 -37 -81 0 82202 -37 -92 0 82202 -37 -38 0 82202 -37 -54 0 82202 -37 -70 0 82202 -37 -90 0 82202 -37 -91 0 82202 -37 -74 0 82202 -37 -39 0 82202 -37 -40 0 82202 -38 -54 0 82202 -38 -70 0 82202 -38 -71 0 82202 -38 -81 0 82202 -38 -90 0 82202 -38 -91 0 82202 -38 -39 0 82202 -38 -40 0 82202 -39 -40 0 82202 -39 -90 0 82202 -39 -93 0 82202 -40 -47 0 82202 -40 -89 0 82202 -40 -91 0 82202 -40 -92 0 82202 -40 -54 0 82202 -40 -69 0 82202 -41 -68 0 82202 -41 -57 0 82202 -41 -58 0 82202 -41 -42 0 82202 -41 -43 0 82202 -42 -43 0 82202 -42 -55 0 82202 -42 -56 0 82202 -42 -59 0 82202 -42 -75 0 82202 -42 -77 0 82202 -42 -79 0 82202 -42 -86 0 82202 -42 -87 0 82202 -42 -88 0 82202 -42 -62 0 82202 -42 -63 0 82202 -42 -85 0 82202 -42 -66 0 82202 -43 -63 0 82202 -43 -67 0 82202 -43 -75 0 82202 -43 -77 0 82202 -43 -84 0 82202 -43 -55 0 82202 -43 -56 0 82202 -43 -59 0 82202 -43 -79 0 82202 -43 -86 0 82202 -43 -87 0 82202 -43 -88 0 82202 -43 -62 0 82202 -43 -85 0 82202 -44 -78 0 82202 -44 -79 0 82202 -44 -47 0 82202 -44 -45 0 82202 -44 -46 0 82202 -44 -48 0 82202 -45 -46 0 82202 -45 -47 0 82202 -45 -48 0 82202 -46 -48 0 82202 -46 -47 0 82202 -47 -48 0 82202 -47 -76 0 82202 -47 -77 0 82202 -47 -80 0 82202 -47 -89 0 82202 -47 -91 0 82202 -47 -92 0 82202 -48 -76 0 82202 -48 -77 0 82202 -48 -80 0 82202 -49 -60 0 82202 -49 -58 0 82202 -50 -51 0 82202 -50 -53 0 82202 -50 -59 0 82202 -50 -60 0 82202 -50 -74 0 82202 -50 -80 0 82202 -50 -81 0 82202 -50 -64 0 82202 -50 -86 0 82202 -50 -88 0 82202 -50 -61 0 82202 -50 -71 0 82202 -50 -92 0 82202 -50 -52 0 82202 -50 -54 0 82202 -51 -53 0 82202 -51 -59 0 82202 -51 -60 0 82202 -51 -74 0 82202 -51 -80 0 82202 -51 -81 0 82202 -51 -61 0 82202 -51 -71 0 82202 -51 -92 0 82202 -51 -52 0 82202 -51 -54 0 82202 -52 -70 0 82202 -52 -72 0 82202 -52 -89 0 82202 -52 -54 0 82202 -52 -55 0 82202 -52 -56 0 82202 -52 -83 0 82202 -52 -84 0 82202 -52 -85 0 82202 -52 -53 0 82202 -53 -59 0 82202 -53 -60 0 82202 -53 -74 0 82202 -53 -80 0 82202 -53 -81 0 82202 -53 -56 0 82202 -53 -84 0 82202 -53 -85 0 82202 -53 -88 0 82202 -53 -61 0 82202 -53 -71 0 82202 -53 -92 0 82202 -53 -87 0 82202 -53 -54 0 82202 -54 -70 0 82202 -54 -71 0 82202 -54 -81 0 82202 -54 -90 0 82202 -54 -91 0 82202 -54 -69 0 82202 -54 -55 0 82202 -54 -56 0 82202 -54 -83 0 82202 -54 -84 0 82202 -54 -85 0 82202 -55 -56 0 82202 -55 -59 0 82202 -55 -75 0 82202 -55 -77 0 82202 -55 -79 0 82202 -55 -86 0 82202 -55 -87 0 82202 -55 -88 0 82202 -55 -83 0 82202 -55 -84 0 82202 -55 -85 0 82202 -55 -57 0 82202 -55 -58 0 82202 -56 -84 0 82202 -56 -85 0 82202 -56 -87 0 82202 -56 -88 0 82202 -56 -59 0 82202 -56 -75 0 82202 -56 -77 0 82202 -56 -79 0 82202 -56 -86 0 82202 -56 -62 0 82202 -56 -63 0 82202 -56 -83 0 82202 -56 -57 0 82202 -56 -58 0 82202 -57 -58 0 82202 -57 -59 0 82202 -58 -59 0 82202 -58 -71 0 82202 -58 -81 0 82202 -58 -92 0 82202 -58 -60 0 82202 -59 -60 0 82202 -59 -74 0 82202 -59 -80 0 82202 -59 -81 0 82202 -59 -71 0 82202 -59 -92 0 82202 -59 -75 0 82202 -59 -77 0 82202 -59 -79 0 82202 -59 -86 0 82202 -59 -87 0 82202 -59 -88 0 82202 -59 -64 0 82202 -59 -83 0 82202 -60 -74 0 82202 -60 -80 0 82202 -60 -81 0 82202 -61 -71 0 82202 -61 -80 0 82202 -61 -92 0 82202 -62 -63 0 82202 -62 -75 0 82202 -62 -77 0 82202 -62 -85 0 82202 -62 -87 0 82202 -62 -88 0 82202 -62 -66 0 82202 -63 -67 0 82202 -63 -75 0 82202 -63 -77 0 82202 -63 -84 0 82202 -63 -85 0 82202 -63 -87 0 82202 -63 -88 0 82202 -64 -86 0 82202 -64 -88 0 82202 -65 -72 0 82202 -65 -93 0 82202 -66 -67 0 82202 -66 -68 0 82202 -67 -75 0 82202 -67 -77 0 82202 -67 -84 0 82202 -67 -68 0 82202 -69 -91 0 82202 -69 -70 0 82202 -69 -71 0 82202 -69 -72 0 82202 -70 -71 0 82202 -70 -81 0 82202 -70 -90 0 82202 -70 -91 0 82202 -70 -72 0 82202 -70 -89 0 82202 -71 -81 0 82202 -71 -92 0 82202 -71 -90 0 82202 -71 -91 0 82202 -71 -80 0 82202 -71 -72 0 82202 -72 -93 0 82202 -72 -89 0 82202 -73 -74 0 82202 -74 -80 0 82202 -74 -81 0 82202 -75 -77 0 82202 -75 -84 0 82202 -75 -79 0 82202 -75 -86 0 82202 -75 -87 0 82202 -75 -88 0 82202 -75 -85 0 82202 -75 -76 0 82202 -75 -78 0 82202 -76 -77 0 82202 -76 -80 0 82202 -76 -78 0 82202 -76 -79 0 82202 -77 -80 0 82202 -77 -84 0 82202 -77 -79 0 82202 -77 -86 0 82202 -77 -87 0 82202 -77 -88 0 82202 -77 -85 0 82202 -77 -78 0 82202 -78 -79 0 82202 -79 -86 0 82202 -79 -87 0 82202 -79 -88 0 82202 -80 -81 0 82202 -80 -92 0 82202 -81 -92 0 82202 -81 -90 0 82202 -81 -91 0 82202 -82 -83 0 82202 -82 -84 0 82202 -82 -85 0 82202 -83 -84 0 82202 -83 -85 0 82202 -83 -86 0 82202 -84 -85 0 82202 -84 -88 0 82202 -84 -87 0 82202 -85 -88 0 82202 -85 -87 0 82202 -86 -87 0 82202 -86 -88 0 82202 -87 -88 0 82202 -89 -91 0 82202 -89 -92 0 82202 -89 -90 0 82202 -89 -93 0 82202 -90 -91 0 82202 -90 -93 0 82202 -90 -92 0 82202 -91 -92 0 82202 -91 -93 0 82202 -92 -93 0