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 74440 p wcnf 91 662 74440 392 1 0 392 2 0 1183 3 0 1183 4 0 1183 5 0 115 6 0 706 7 0 706 8 0 706 9 0 706 10 0 706 11 0 745 12 0 745 13 0 510 14 0 198 15 0 565 16 0 450 17 0 650 18 0 754 19 0 754 20 0 968 21 0 968 22 0 968 23 0 393 24 0 712 25 0 292 26 0 838 27 0 967 28 0 967 29 0 967 30 0 967 31 0 967 32 0 1203 33 0 1203 34 0 1203 35 0 1203 36 0 1203 37 0 1106 38 0 1106 39 0 1106 40 0 435 41 0 1007 42 0 1007 43 0 1007 44 0 1007 45 0 1007 46 0 243 47 0 1130 48 0 1130 49 0 752 50 0 780 51 0 780 52 0 780 53 0 780 54 0 780 55 0 1152 56 0 1152 57 0 1152 58 0 1048 59 0 1048 60 0 1048 61 0 1048 62 0 1048 63 0 734 64 0 734 65 0 309 66 0 769 67 0 802 68 0 802 69 0 802 70 0 831 71 0 852 72 0 350 73 0 350 74 0 501 75 0 501 76 0 238 77 0 871 78 0 871 79 0 871 80 0 871 81 0 871 82 0 792 83 0 792 84 0 118 85 0 120 86 0 1142 87 0 1142 88 0 1142 89 0 1142 90 0 1142 91 0 74440 -1 -2 0 74440 -2 -3 0 74440 -2 -19 0 74440 -2 -20 0 74440 -2 -26 0 74440 -2 -37 0 74440 -2 -56 0 74440 -2 -57 0 74440 -2 -70 0 74440 -2 -89 0 74440 -2 -90 0 74440 -2 -84 0 74440 -3 -21 0 74440 -3 -23 0 74440 -3 -30 0 74440 -3 -31 0 74440 -3 -39 0 74440 -3 -44 0 74440 -3 -45 0 74440 -3 -46 0 74440 -3 -65 0 74440 -3 -71 0 74440 -3 -90 0 74440 -3 -19 0 74440 -3 -20 0 74440 -3 -26 0 74440 -3 -37 0 74440 -3 -56 0 74440 -3 -57 0 74440 -3 -70 0 74440 -3 -89 0 74440 -3 -4 0 74440 -3 -5 0 74440 -4 -5 0 74440 -4 -23 0 74440 -4 -31 0 74440 -4 -38 0 74440 -4 -40 0 74440 -4 -43 0 74440 -4 -50 0 74440 -4 -65 0 74440 -4 -90 0 74440 -4 -26 0 74440 -4 -37 0 74440 -4 -70 0 74440 -4 -87 0 74440 -4 -88 0 74440 -4 -91 0 74440 -4 -39 0 74440 -4 -64 0 74440 -5 -36 0 74440 -5 -69 0 74440 -5 -80 0 74440 -5 -88 0 74440 -5 -23 0 74440 -5 -31 0 74440 -5 -38 0 74440 -5 -40 0 74440 -5 -43 0 74440 -5 -50 0 74440 -5 -65 0 74440 -5 -90 0 74440 -5 -26 0 74440 -5 -37 0 74440 -5 -70 0 74440 -5 -87 0 74440 -5 -91 0 74440 -5 -39 0 74440 -5 -64 0 74440 -6 -34 0 74440 -6 -35 0 74440 -6 -40 0 74440 -6 -68 0 74440 -6 -91 0 74440 -7 -36 0 74440 -7 -8 0 74440 -7 -9 0 74440 -7 -10 0 74440 -7 -11 0 74440 -8 -9 0 74440 -8 -10 0 74440 -8 -11 0 74440 -9 -53 0 74440 -9 -55 0 74440 -9 -61 0 74440 -9 -10 0 74440 -9 -13 0 74440 -9 -16 0 74440 -9 -25 0 74440 -9 -69 0 74440 -9 -78 0 74440 -9 -79 0 74440 -9 -81 0 74440 -9 -11 0 74440 -10 -13 0 74440 -10 -19 0 74440 -10 -20 0 74440 -10 -25 0 74440 -10 -52 0 74440 -10 -54 0 74440 -10 -63 0 74440 -10 -69 0 74440 -10 -70 0 74440 -10 -78 0 74440 -10 -79 0 74440 -10 -81 0 74440 -10 -16 0 74440 -10 -11 0 74440 -11 -13 0 74440 -11 -16 0 74440 -11 -38 0 74440 -11 -39 0 74440 -11 -82 0 74440 -11 -91 0 74440 -11 -35 0 74440 -12 -34 0 74440 -12 -68 0 74440 -12 -13 0 74440 -13 -16 0 74440 -13 -38 0 74440 -13 -39 0 74440 -13 -82 0 74440 -13 -91 0 74440 -13 -19 0 74440 -13 -20 0 74440 -13 -25 0 74440 -13 -52 0 74440 -13 -54 0 74440 -13 -63 0 74440 -13 -69 0 74440 -13 -70 0 74440 -13 -78 0 74440 -13 -79 0 74440 -13 -81 0 74440 -14 -18 0 74440 -14 -24 0 74440 -14 -77 0 74440 -14 -28 0 74440 -14 -32 0 74440 -14 -44 0 74440 -14 -46 0 74440 -14 -58 0 74440 -14 -37 0 74440 -14 -51 0 74440 -15 -41 0 74440 -15 -75 0 74440 -15 -76 0 74440 -16 -38 0 74440 -16 -39 0 74440 -16 -82 0 74440 -16 -91 0 74440 -16 -25 0 74440 -16 -69 0 74440 -16 -78 0 74440 -16 -79 0 74440 -16 -81 0 74440 -17 -19 0 74440 -17 -20 0 74440 -17 -57 0 74440 -17 -61 0 74440 -17 -62 0 74440 -17 -63 0 74440 -17 -70 0 74440 -17 -84 0 74440 -18 -24 0 74440 -18 -77 0 74440 -18 -48 0 74440 -18 -49 0 74440 -18 -28 0 74440 -18 -32 0 74440 -18 -44 0 74440 -18 -46 0 74440 -18 -58 0 74440 -19 -20 0 74440 -19 -25 0 74440 -19 -52 0 74440 -19 -54 0 74440 -19 -63 0 74440 -19 -69 0 74440 -19 -70 0 74440 -19 -78 0 74440 -19 -79 0 74440 -19 -81 0 74440 -19 -26 0 74440 -19 -37 0 74440 -19 -56 0 74440 -19 -57 0 74440 -19 -89 0 74440 -19 -90 0 74440 -19 -68 0 74440 -19 -61 0 74440 -19 -62 0 74440 -19 -84 0 74440 -20 -81 0 74440 -20 -85 0 74440 -20 -21 0 74440 -20 -25 0 74440 -20 -71 0 74440 -20 -78 0 74440 -20 -52 0 74440 -20 -54 0 74440 -20 -63 0 74440 -20 -69 0 74440 -20 -70 0 74440 -20 -79 0 74440 -20 -26 0 74440 -20 -37 0 74440 -20 -56 0 74440 -20 -57 0 74440 -20 -89 0 74440 -20 -90 0 74440 -20 -61 0 74440 -20 -62 0 74440 -20 -84 0 74440 -21 -27 0 74440 -21 -78 0 74440 -21 -81 0 74440 -21 -23 0 74440 -21 -30 0 74440 -21 -31 0 74440 -21 -39 0 74440 -21 -44 0 74440 -21 -45 0 74440 -21 -46 0 74440 -21 -65 0 74440 -21 -71 0 74440 -21 -90 0 74440 -21 -25 0 74440 -21 -22 0 74440 -22 -29 0 74440 -22 -39 0 74440 -22 -45 0 74440 -22 -64 0 74440 -22 -89 0 74440 -22 -23 0 74440 -23 -30 0 74440 -23 -31 0 74440 -23 -39 0 74440 -23 -44 0 74440 -23 -45 0 74440 -23 -46 0 74440 -23 -65 0 74440 -23 -71 0 74440 -23 -90 0 74440 -23 -38 0 74440 -23 -40 0 74440 -23 -43 0 74440 -23 -50 0 74440 -24 -77 0 74440 -24 -28 0 74440 -24 -32 0 74440 -24 -44 0 74440 -24 -46 0 74440 -24 -58 0 74440 -25 -71 0 74440 -25 -78 0 74440 -25 -52 0 74440 -25 -54 0 74440 -25 -63 0 74440 -25 -69 0 74440 -25 -70 0 74440 -25 -79 0 74440 -25 -81 0 74440 -26 -37 0 74440 -26 -70 0 74440 -26 -87 0 74440 -26 -88 0 74440 -26 -91 0 74440 -26 -56 0 74440 -26 -57 0 74440 -26 -89 0 74440 -26 -90 0 74440 -27 -78 0 74440 -27 -81 0 74440 -28 -44 0 74440 -28 -59 0 74440 -28 -62 0 74440 -28 -32 0 74440 -28 -46 0 74440 -28 -58 0 74440 -28 -29 0 74440 -28 -30 0 74440 -28 -31 0 74440 -29 -39 0 74440 -29 -45 0 74440 -29 -64 0 74440 -29 -89 0 74440 -29 -31 0 74440 -29 -43 0 74440 -29 -72 0 74440 -29 -30 0 74440 -29 -32 0 74440 -30 -31 0 74440 -30 -39 0 74440 -30 -44 0 74440 -30 -45 0 74440 -30 -46 0 74440 -30 -65 0 74440 -30 -71 0 74440 -30 -90 0 74440 -30 -42 0 74440 -30 -32 0 74440 -31 -39 0 74440 -31 -44 0 74440 -31 -45 0 74440 -31 -46 0 74440 -31 -65 0 74440 -31 -71 0 74440 -31 -90 0 74440 -31 -38 0 74440 -31 -40 0 74440 -31 -43 0 74440 -31 -50 0 74440 -31 -72 0 74440 -31 -32 0 74440 -32 -33 0 74440 -32 -46 0 74440 -32 -55 0 74440 -32 -44 0 74440 -32 -58 0 74440 -32 -37 0 74440 -32 -51 0 74440 -33 -46 0 74440 -33 -55 0 74440 -33 -34 0 74440 -33 -35 0 74440 -33 -36 0 74440 -33 -37 0 74440 -34 -35 0 74440 -34 -40 0 74440 -34 -68 0 74440 -34 -91 0 74440 -34 -52 0 74440 -34 -36 0 74440 -34 -37 0 74440 -35 -40 0 74440 -35 -68 0 74440 -35 -91 0 74440 -35 -36 0 74440 -35 -53 0 74440 -35 -54 0 74440 -35 -37 0 74440 -36 -69 0 74440 -36 -80 0 74440 -36 -88 0 74440 -36 -53 0 74440 -36 -54 0 74440 -36 -37 0 74440 -37 -70 0 74440 -37 -87 0 74440 -37 -88 0 74440 -37 -91 0 74440 -37 -56 0 74440 -37 -57 0 74440 -37 -89 0 74440 -37 -90 0 74440 -37 -46 0 74440 -37 -51 0 74440 -37 -59 0 74440 -38 -39 0 74440 -38 -82 0 74440 -38 -91 0 74440 -38 -40 0 74440 -38 -43 0 74440 -38 -50 0 74440 -38 -65 0 74440 -38 -90 0 74440 -38 -88 0 74440 -38 -64 0 74440 -38 -87 0 74440 -39 -82 0 74440 -39 -91 0 74440 -39 -44 0 74440 -39 -45 0 74440 -39 -46 0 74440 -39 -65 0 74440 -39 -71 0 74440 -39 -90 0 74440 -39 -64 0 74440 -39 -89 0 74440 -39 -88 0 74440 -39 -40 0 74440 -39 -50 0 74440 -39 -87 0 74440 -40 -68 0 74440 -40 -91 0 74440 -40 -43 0 74440 -40 -50 0 74440 -40 -65 0 74440 -40 -90 0 74440 -40 -87 0 74440 -40 -64 0 74440 -40 -88 0 74440 -41 -75 0 74440 -41 -76 0 74440 -41 -73 0 74440 -42 -43 0 74440 -42 -44 0 74440 -42 -45 0 74440 -42 -46 0 74440 -43 -50 0 74440 -43 -65 0 74440 -43 -90 0 74440 -43 -45 0 74440 -43 -72 0 74440 -43 -44 0 74440 -43 -46 0 74440 -44 -59 0 74440 -44 -62 0 74440 -44 -45 0 74440 -44 -46 0 74440 -44 -65 0 74440 -44 -71 0 74440 -44 -90 0 74440 -44 -58 0 74440 -45 -46 0 74440 -45 -65 0 74440 -45 -71 0 74440 -45 -90 0 74440 -45 -64 0 74440 -45 -89 0 74440 -45 -72 0 74440 -46 -55 0 74440 -46 -65 0 74440 -46 -71 0 74440 -46 -90 0 74440 -46 -58 0 74440 -46 -51 0 74440 -47 -48 0 74440 -48 -49 0 74440 -48 -83 0 74440 -49 -74 0 74440 -49 -76 0 74440 -49 -86 0 74440 -49 -83 0 74440 -50 -65 0 74440 -50 -90 0 74440 -50 -64 0 74440 -50 -87 0 74440 -50 -88 0 74440 -50 -91 0 74440 -51 -57 0 74440 -51 -62 0 74440 -51 -67 0 74440 -51 -52 0 74440 -51 -53 0 74440 -51 -54 0 74440 -51 -55 0 74440 -52 -54 0 74440 -52 -63 0 74440 -52 -69 0 74440 -52 -70 0 74440 -52 -78 0 74440 -52 -79 0 74440 -52 -81 0 74440 -52 -53 0 74440 -52 -55 0 74440 -53 -55 0 74440 -53 -61 0 74440 -53 -54 0 74440 -54 -63 0 74440 -54 -69 0 74440 -54 -70 0 74440 -54 -78 0 74440 -54 -79 0 74440 -54 -81 0 74440 -54 -55 0 74440 -55 -61 0 74440 -55 -60 0 74440 -55 -63 0 74440 -56 -57 0 74440 -56 -70 0 74440 -56 -89 0 74440 -56 -90 0 74440 -56 -59 0 74440 -56 -58 0 74440 -57 -70 0 74440 -57 -89 0 74440 -57 -90 0 74440 -57 -62 0 74440 -57 -67 0 74440 -57 -61 0 74440 -57 -63 0 74440 -57 -84 0 74440 -57 -58 0 74440 -59 -62 0 74440 -59 -60 0 74440 -59 -61 0 74440 -59 -63 0 74440 -60 -61 0 74440 -60 -63 0 74440 -60 -62 0 74440 -61 -63 0 74440 -61 -62 0 74440 -61 -70 0 74440 -61 -84 0 74440 -62 -67 0 74440 -62 -63 0 74440 -62 -70 0 74440 -62 -84 0 74440 -63 -69 0 74440 -63 -70 0 74440 -63 -78 0 74440 -63 -79 0 74440 -63 -81 0 74440 -63 -84 0 74440 -64 -89 0 74440 -64 -65 0 74440 -64 -87 0 74440 -64 -88 0 74440 -64 -91 0 74440 -65 -71 0 74440 -65 -90 0 74440 -65 -87 0 74440 -65 -88 0 74440 -65 -91 0 74440 -66 -74 0 74440 -66 -76 0 74440 -67 -84 0 74440 -68 -91 0 74440 -68 -69 0 74440 -68 -70 0 74440 -68 -79 0 74440 -68 -81 0 74440 -69 -80 0 74440 -69 -88 0 74440 -69 -70 0 74440 -69 -78 0 74440 -69 -79 0 74440 -69 -81 0 74440 -70 -78 0 74440 -70 -79 0 74440 -70 -81 0 74440 -70 -87 0 74440 -70 -88 0 74440 -70 -91 0 74440 -70 -89 0 74440 -70 -90 0 74440 -70 -84 0 74440 -71 -90 0 74440 -71 -78 0 74440 -73 -75 0 74440 -73 -74 0 74440 -74 -76 0 74440 -74 -86 0 74440 -75 -76 0 74440 -76 -86 0 74440 -78 -81 0 74440 -78 -79 0 74440 -78 -80 0 74440 -78 -82 0 74440 -79 -81 0 74440 -79 -80 0 74440 -79 -82 0 74440 -80 -88 0 74440 -80 -82 0 74440 -80 -81 0 74440 -81 -85 0 74440 -81 -82 0 74440 -82 -91 0 74440 -83 -84 0 74440 -87 -88 0 74440 -87 -91 0 74440 -87 -89 0 74440 -87 -90 0 74440 -88 -91 0 74440 -88 -89 0 74440 -88 -90 0 74440 -89 -90 0 74440 -89 -91 0 74440 -90 -91 0