c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 100; Distribution: paths; Runs: 30; Seed: 1151601917 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 82193 p wcnf 102 926 82193 382 1 0 350 2 0 957 3 0 957 4 0 957 5 0 957 6 0 957 7 0 1266 8 0 1266 9 0 1266 10 0 1266 11 0 1266 12 0 834 13 0 834 14 0 834 15 0 834 16 0 834 17 0 781 18 0 781 19 0 781 20 0 622 21 0 622 22 0 1067 23 0 1067 24 0 1067 25 0 1067 26 0 1067 27 0 1134 28 0 1134 29 0 1134 30 0 1134 31 0 1134 32 0 309 33 0 867 34 0 867 35 0 867 36 0 867 37 0 867 38 0 804 39 0 721 40 0 721 41 0 641 42 0 641 43 0 641 44 0 280 45 0 690 46 0 690 47 0 690 48 0 690 49 0 690 50 0 333 51 0 977 52 0 977 53 0 916 54 0 916 55 0 916 56 0 916 57 0 916 58 0 1077 59 0 1077 60 0 1077 61 0 1077 62 0 1077 63 0 899 64 0 124 65 0 681 66 0 681 67 0 761 68 0 761 69 0 735 70 0 735 71 0 735 72 0 132 73 0 688 74 0 688 75 0 688 76 0 71 77 0 552 78 0 552 79 0 865 80 0 865 81 0 865 82 0 865 83 0 865 84 0 746 85 0 746 86 0 698 87 0 344 88 0 669 89 0 669 90 0 669 91 0 740 92 0 740 93 0 740 94 0 740 95 0 525 96 0 274 97 0 936 98 0 936 99 0 936 100 0 936 101 0 936 102 0 82193 -1 -41 0 82193 -1 -53 0 82193 -1 -64 0 82193 -1 -87 0 82193 -1 -96 0 82193 -1 -98 0 82193 -1 -99 0 82193 -1 -100 0 82193 -1 -101 0 82193 -1 -102 0 82193 -2 -7 0 82193 -2 -14 0 82193 -2 -16 0 82193 -2 -50 0 82193 -2 -57 0 82193 -2 -58 0 82193 -2 -90 0 82193 -2 -54 0 82193 -2 -55 0 82193 -2 -56 0 82193 -3 -4 0 82193 -3 -5 0 82193 -3 -6 0 82193 -3 -7 0 82193 -4 -6 0 82193 -4 -7 0 82193 -4 -50 0 82193 -4 -54 0 82193 -4 -91 0 82193 -4 -5 0 82193 -5 -64 0 82193 -5 -6 0 82193 -5 -7 0 82193 -5 -21 0 82193 -5 -48 0 82193 -5 -61 0 82193 -5 -82 0 82193 -5 -95 0 82193 -5 -35 0 82193 -5 -36 0 82193 -5 -46 0 82193 -5 -47 0 82193 -5 -49 0 82193 -5 -57 0 82193 -5 -58 0 82193 -5 -90 0 82193 -6 -7 0 82193 -6 -21 0 82193 -6 -48 0 82193 -6 -61 0 82193 -6 -82 0 82193 -6 -95 0 82193 -6 -55 0 82193 -6 -56 0 82193 -6 -89 0 82193 -7 -14 0 82193 -7 -16 0 82193 -7 -50 0 82193 -7 -57 0 82193 -7 -58 0 82193 -7 -90 0 82193 -7 -21 0 82193 -7 -48 0 82193 -7 -61 0 82193 -7 -82 0 82193 -7 -95 0 82193 -7 -35 0 82193 -7 -36 0 82193 -7 -46 0 82193 -7 -47 0 82193 -7 -49 0 82193 -8 -10 0 82193 -8 -20 0 82193 -8 -53 0 82193 -8 -69 0 82193 -8 -74 0 82193 -8 -75 0 82193 -8 -76 0 82193 -8 -86 0 82193 -8 -88 0 82193 -8 -11 0 82193 -8 -19 0 82193 -8 -30 0 82193 -8 -38 0 82193 -8 -51 0 82193 -8 -9 0 82193 -8 -12 0 82193 -9 -12 0 82193 -9 -42 0 82193 -9 -44 0 82193 -9 -100 0 82193 -9 -102 0 82193 -9 -10 0 82193 -9 -28 0 82193 -9 -29 0 82193 -9 -33 0 82193 -9 -36 0 82193 -9 -76 0 82193 -9 -32 0 82193 -9 -11 0 82193 -10 -20 0 82193 -10 -53 0 82193 -10 -69 0 82193 -10 -74 0 82193 -10 -75 0 82193 -10 -76 0 82193 -10 -86 0 82193 -10 -88 0 82193 -10 -60 0 82193 -10 -61 0 82193 -10 -62 0 82193 -10 -81 0 82193 -10 -82 0 82193 -10 -83 0 82193 -10 -84 0 82193 -10 -97 0 82193 -10 -12 0 82193 -10 -28 0 82193 -10 -29 0 82193 -10 -33 0 82193 -10 -36 0 82193 -10 -11 0 82193 -11 -27 0 82193 -11 -41 0 82193 -11 -96 0 82193 -11 -100 0 82193 -11 -101 0 82193 -11 -102 0 82193 -11 -19 0 82193 -11 -20 0 82193 -11 -30 0 82193 -11 -38 0 82193 -11 -51 0 82193 -11 -74 0 82193 -11 -52 0 82193 -11 -12 0 82193 -12 -42 0 82193 -12 -44 0 82193 -12 -100 0 82193 -12 -102 0 82193 -12 -23 0 82193 -12 -24 0 82193 -12 -25 0 82193 -12 -26 0 82193 -12 -29 0 82193 -12 -31 0 82193 -12 -45 0 82193 -12 -78 0 82193 -12 -79 0 82193 -12 -98 0 82193 -12 -99 0 82193 -12 -28 0 82193 -12 -33 0 82193 -12 -36 0 82193 -12 -76 0 82193 -13 -17 0 82193 -13 -14 0 82193 -13 -15 0 82193 -13 -16 0 82193 -14 -16 0 82193 -14 -50 0 82193 -14 -57 0 82193 -14 -58 0 82193 -14 -90 0 82193 -14 -37 0 82193 -14 -73 0 82193 -14 -15 0 82193 -14 -17 0 82193 -15 -17 0 82193 -15 -66 0 82193 -15 -67 0 82193 -15 -68 0 82193 -15 -69 0 82193 -15 -16 0 82193 -15 -25 0 82193 -15 -26 0 82193 -15 -43 0 82193 -15 -44 0 82193 -15 -79 0 82193 -15 -99 0 82193 -15 -101 0 82193 -15 -102 0 82193 -16 -50 0 82193 -16 -57 0 82193 -16 -58 0 82193 -16 -90 0 82193 -16 -17 0 82193 -16 -25 0 82193 -16 -26 0 82193 -16 -43 0 82193 -16 -44 0 82193 -16 -67 0 82193 -16 -68 0 82193 -16 -69 0 82193 -16 -79 0 82193 -16 -99 0 82193 -16 -101 0 82193 -16 -102 0 82193 -17 -20 0 82193 -17 -69 0 82193 -17 -86 0 82193 -17 -66 0 82193 -17 -67 0 82193 -17 -68 0 82193 -17 -25 0 82193 -17 -26 0 82193 -17 -43 0 82193 -17 -44 0 82193 -17 -79 0 82193 -17 -99 0 82193 -17 -101 0 82193 -17 -102 0 82193 -18 -19 0 82193 -18 -20 0 82193 -19 -20 0 82193 -19 -30 0 82193 -19 -38 0 82193 -19 -51 0 82193 -19 -74 0 82193 -19 -68 0 82193 -19 -85 0 82193 -20 -69 0 82193 -20 -86 0 82193 -20 -53 0 82193 -20 -74 0 82193 -20 -75 0 82193 -20 -76 0 82193 -20 -88 0 82193 -20 -30 0 82193 -20 -38 0 82193 -20 -51 0 82193 -21 -48 0 82193 -21 -61 0 82193 -21 -82 0 82193 -21 -95 0 82193 -21 -22 0 82193 -21 -37 0 82193 -21 -39 0 82193 -22 -49 0 82193 -22 -62 0 82193 -22 -71 0 82193 -22 -83 0 82193 -22 -91 0 82193 -22 -93 0 82193 -22 -33 0 82193 -22 -47 0 82193 -22 -56 0 82193 -22 -58 0 82193 -22 -60 0 82193 -22 -81 0 82193 -22 -89 0 82193 -22 -90 0 82193 -22 -95 0 82193 -22 -97 0 82193 -22 -37 0 82193 -22 -39 0 82193 -23 -26 0 82193 -23 -63 0 82193 -23 -67 0 82193 -23 -25 0 82193 -23 -31 0 82193 -23 -42 0 82193 -23 -65 0 82193 -23 -79 0 82193 -23 -98 0 82193 -23 -100 0 82193 -23 -24 0 82193 -23 -29 0 82193 -23 -44 0 82193 -23 -45 0 82193 -23 -78 0 82193 -23 -99 0 82193 -23 -102 0 82193 -23 -27 0 82193 -24 -25 0 82193 -24 -27 0 82193 -24 -66 0 82193 -24 -26 0 82193 -24 -44 0 82193 -24 -78 0 82193 -24 -99 0 82193 -24 -102 0 82193 -24 -29 0 82193 -24 -31 0 82193 -24 -42 0 82193 -24 -45 0 82193 -24 -79 0 82193 -24 -98 0 82193 -24 -100 0 82193 -25 -27 0 82193 -25 -66 0 82193 -25 -31 0 82193 -25 -42 0 82193 -25 -65 0 82193 -25 -79 0 82193 -25 -98 0 82193 -25 -100 0 82193 -25 -26 0 82193 -25 -29 0 82193 -25 -44 0 82193 -25 -45 0 82193 -25 -78 0 82193 -25 -99 0 82193 -25 -102 0 82193 -25 -43 0 82193 -25 -67 0 82193 -25 -68 0 82193 -25 -69 0 82193 -25 -101 0 82193 -26 -63 0 82193 -26 -67 0 82193 -26 -44 0 82193 -26 -78 0 82193 -26 -99 0 82193 -26 -102 0 82193 -26 -29 0 82193 -26 -31 0 82193 -26 -42 0 82193 -26 -45 0 82193 -26 -79 0 82193 -26 -98 0 82193 -26 -100 0 82193 -26 -43 0 82193 -26 -68 0 82193 -26 -69 0 82193 -26 -101 0 82193 -26 -27 0 82193 -27 -66 0 82193 -27 -41 0 82193 -27 -96 0 82193 -27 -100 0 82193 -27 -101 0 82193 -27 -102 0 82193 -27 -43 0 82193 -28 -29 0 82193 -28 -33 0 82193 -28 -36 0 82193 -28 -76 0 82193 -28 -32 0 82193 -28 -30 0 82193 -28 -31 0 82193 -29 -31 0 82193 -29 -42 0 82193 -29 -44 0 82193 -29 -45 0 82193 -29 -78 0 82193 -29 -79 0 82193 -29 -98 0 82193 -29 -99 0 82193 -29 -100 0 82193 -29 -102 0 82193 -29 -33 0 82193 -29 -36 0 82193 -29 -76 0 82193 -29 -30 0 82193 -29 -32 0 82193 -30 -38 0 82193 -30 -51 0 82193 -30 -74 0 82193 -30 -31 0 82193 -30 -32 0 82193 -31 -42 0 82193 -31 -65 0 82193 -31 -79 0 82193 -31 -98 0 82193 -31 -100 0 82193 -31 -44 0 82193 -31 -45 0 82193 -31 -78 0 82193 -31 -99 0 82193 -31 -102 0 82193 -31 -32 0 82193 -32 -34 0 82193 -32 -36 0 82193 -32 -38 0 82193 -32 -74 0 82193 -32 -76 0 82193 -32 -35 0 82193 -32 -37 0 82193 -32 -39 0 82193 -32 -75 0 82193 -33 -47 0 82193 -33 -49 0 82193 -33 -56 0 82193 -33 -58 0 82193 -33 -60 0 82193 -33 -62 0 82193 -33 -81 0 82193 -33 -83 0 82193 -33 -89 0 82193 -33 -90 0 82193 -33 -95 0 82193 -33 -97 0 82193 -33 -36 0 82193 -33 -76 0 82193 -34 -36 0 82193 -34 -38 0 82193 -34 -74 0 82193 -34 -76 0 82193 -34 -35 0 82193 -34 -37 0 82193 -35 -37 0 82193 -35 -39 0 82193 -35 -75 0 82193 -35 -36 0 82193 -35 -46 0 82193 -35 -47 0 82193 -35 -48 0 82193 -35 -49 0 82193 -35 -57 0 82193 -35 -58 0 82193 -35 -90 0 82193 -35 -38 0 82193 -36 -38 0 82193 -36 -74 0 82193 -36 -76 0 82193 -36 -46 0 82193 -36 -47 0 82193 -36 -48 0 82193 -36 -49 0 82193 -36 -57 0 82193 -36 -58 0 82193 -36 -90 0 82193 -36 -37 0 82193 -37 -73 0 82193 -37 -39 0 82193 -37 -75 0 82193 -37 -38 0 82193 -38 -74 0 82193 -38 -76 0 82193 -38 -51 0 82193 -38 -59 0 82193 -38 -60 0 82193 -38 -61 0 82193 -38 -62 0 82193 -38 -85 0 82193 -38 -86 0 82193 -39 -75 0 82193 -40 -41 0 82193 -41 -53 0 82193 -41 -64 0 82193 -41 -87 0 82193 -41 -96 0 82193 -41 -98 0 82193 -41 -99 0 82193 -41 -100 0 82193 -41 -101 0 82193 -41 -102 0 82193 -42 -65 0 82193 -42 -79 0 82193 -42 -98 0 82193 -42 -100 0 82193 -42 -44 0 82193 -42 -102 0 82193 -42 -45 0 82193 -42 -78 0 82193 -42 -99 0 82193 -42 -43 0 82193 -43 -44 0 82193 -43 -67 0 82193 -43 -68 0 82193 -43 -69 0 82193 -43 -79 0 82193 -43 -99 0 82193 -43 -101 0 82193 -43 -102 0 82193 -44 -78 0 82193 -44 -99 0 82193 -44 -102 0 82193 -44 -100 0 82193 -44 -45 0 82193 -44 -79 0 82193 -44 -98 0 82193 -44 -67 0 82193 -44 -68 0 82193 -44 -69 0 82193 -44 -101 0 82193 -45 -78 0 82193 -45 -79 0 82193 -45 -98 0 82193 -45 -99 0 82193 -45 -100 0 82193 -45 -102 0 82193 -46 -55 0 82193 -46 -57 0 82193 -46 -84 0 82193 -46 -47 0 82193 -46 -48 0 82193 -46 -49 0 82193 -46 -58 0 82193 -46 -90 0 82193 -46 -50 0 82193 -47 -49 0 82193 -47 -56 0 82193 -47 -58 0 82193 -47 -60 0 82193 -47 -62 0 82193 -47 -81 0 82193 -47 -83 0 82193 -47 -89 0 82193 -47 -90 0 82193 -47 -95 0 82193 -47 -97 0 82193 -47 -72 0 82193 -47 -94 0 82193 -47 -48 0 82193 -47 -57 0 82193 -47 -50 0 82193 -48 -49 0 82193 -48 -50 0 82193 -48 -54 0 82193 -48 -72 0 82193 -48 -77 0 82193 -48 -84 0 82193 -48 -94 0 82193 -48 -61 0 82193 -48 -82 0 82193 -48 -95 0 82193 -48 -57 0 82193 -48 -58 0 82193 -48 -90 0 82193 -49 -62 0 82193 -49 -71 0 82193 -49 -83 0 82193 -49 -91 0 82193 -49 -93 0 82193 -49 -56 0 82193 -49 -58 0 82193 -49 -60 0 82193 -49 -81 0 82193 -49 -89 0 82193 -49 -90 0 82193 -49 -95 0 82193 -49 -97 0 82193 -49 -50 0 82193 -49 -54 0 82193 -49 -72 0 82193 -49 -77 0 82193 -49 -84 0 82193 -49 -94 0 82193 -49 -57 0 82193 -50 -57 0 82193 -50 -58 0 82193 -50 -90 0 82193 -50 -54 0 82193 -50 -72 0 82193 -50 -77 0 82193 -50 -84 0 82193 -50 -94 0 82193 -50 -91 0 82193 -51 -74 0 82193 -52 -53 0 82193 -53 -69 0 82193 -53 -74 0 82193 -53 -75 0 82193 -53 -76 0 82193 -53 -86 0 82193 -53 -88 0 82193 -53 -64 0 82193 -53 -87 0 82193 -53 -96 0 82193 -53 -98 0 82193 -53 -99 0 82193 -53 -100 0 82193 -53 -101 0 82193 -53 -102 0 82193 -54 -72 0 82193 -54 -77 0 82193 -54 -84 0 82193 -54 -94 0 82193 -54 -55 0 82193 -54 -56 0 82193 -54 -57 0 82193 -54 -58 0 82193 -54 -91 0 82193 -55 -56 0 82193 -55 -57 0 82193 -55 -58 0 82193 -55 -89 0 82193 -55 -84 0 82193 -56 -58 0 82193 -56 -60 0 82193 -56 -62 0 82193 -56 -81 0 82193 -56 -83 0 82193 -56 -89 0 82193 -56 -90 0 82193 -56 -95 0 82193 -56 -97 0 82193 -56 -57 0 82193 -56 -72 0 82193 -56 -94 0 82193 -57 -58 0 82193 -57 -90 0 82193 -57 -84 0 82193 -58 -90 0 82193 -58 -60 0 82193 -58 -62 0 82193 -58 -81 0 82193 -58 -83 0 82193 -58 -89 0 82193 -58 -95 0 82193 -58 -97 0 82193 -58 -72 0 82193 -58 -94 0 82193 -59 -80 0 82193 -59 -60 0 82193 -59 -61 0 82193 -59 -62 0 82193 -59 -85 0 82193 -59 -86 0 82193 -59 -63 0 82193 -60 -62 0 82193 -60 -81 0 82193 -60 -83 0 82193 -60 -89 0 82193 -60 -90 0 82193 -60 -95 0 82193 -60 -97 0 82193 -60 -61 0 82193 -60 -75 0 82193 -60 -76 0 82193 -60 -82 0 82193 -60 -84 0 82193 -60 -88 0 82193 -60 -71 0 82193 -60 -72 0 82193 -60 -92 0 82193 -60 -85 0 82193 -60 -86 0 82193 -60 -63 0 82193 -61 -62 0 82193 -61 -75 0 82193 -61 -76 0 82193 -61 -81 0 82193 -61 -82 0 82193 -61 -83 0 82193 -61 -84 0 82193 -61 -88 0 82193 -61 -97 0 82193 -61 -95 0 82193 -61 -70 0 82193 -61 -93 0 82193 -61 -94 0 82193 -61 -85 0 82193 -61 -86 0 82193 -61 -63 0 82193 -62 -71 0 82193 -62 -83 0 82193 -62 -91 0 82193 -62 -93 0 82193 -62 -81 0 82193 -62 -89 0 82193 -62 -90 0 82193 -62 -95 0 82193 -62 -97 0 82193 -62 -75 0 82193 -62 -76 0 82193 -62 -82 0 82193 -62 -84 0 82193 -62 -88 0 82193 -62 -70 0 82193 -62 -94 0 82193 -62 -85 0 82193 -62 -86 0 82193 -62 -63 0 82193 -63 -67 0 82193 -64 -87 0 82193 -64 -96 0 82193 -64 -98 0 82193 -64 -99 0 82193 -64 -100 0 82193 -64 -101 0 82193 -64 -102 0 82193 -65 -79 0 82193 -65 -98 0 82193 -65 -100 0 82193 -66 -67 0 82193 -66 -68 0 82193 -66 -69 0 82193 -67 -68 0 82193 -67 -69 0 82193 -67 -79 0 82193 -67 -99 0 82193 -67 -101 0 82193 -67 -102 0 82193 -68 -69 0 82193 -68 -79 0 82193 -68 -99 0 82193 -68 -101 0 82193 -68 -102 0 82193 -68 -85 0 82193 -69 -79 0 82193 -69 -99 0 82193 -69 -101 0 82193 -69 -102 0 82193 -69 -86 0 82193 -69 -74 0 82193 -69 -75 0 82193 -69 -76 0 82193 -69 -88 0 82193 -70 -82 0 82193 -70 -83 0 82193 -70 -84 0 82193 -70 -93 0 82193 -70 -94 0 82193 -70 -95 0 82193 -70 -71 0 82193 -70 -72 0 82193 -71 -72 0 82193 -71 -81 0 82193 -71 -92 0 82193 -71 -83 0 82193 -71 -91 0 82193 -71 -93 0 82193 -72 -81 0 82193 -72 -92 0 82193 -72 -94 0 82193 -72 -77 0 82193 -72 -84 0 82193 -74 -76 0 82193 -74 -75 0 82193 -74 -86 0 82193 -74 -88 0 82193 -75 -76 0 82193 -75 -81 0 82193 -75 -82 0 82193 -75 -83 0 82193 -75 -84 0 82193 -75 -88 0 82193 -75 -97 0 82193 -75 -86 0 82193 -76 -81 0 82193 -76 -82 0 82193 -76 -83 0 82193 -76 -84 0 82193 -76 -88 0 82193 -76 -97 0 82193 -76 -86 0 82193 -77 -84 0 82193 -77 -94 0 82193 -78 -79 0 82193 -78 -98 0 82193 -78 -99 0 82193 -78 -100 0 82193 -78 -102 0 82193 -79 -98 0 82193 -79 -99 0 82193 -79 -100 0 82193 -79 -102 0 82193 -79 -101 0 82193 -80 -81 0 82193 -80 -82 0 82193 -80 -83 0 82193 -80 -84 0 82193 -81 -82 0 82193 -81 -83 0 82193 -81 -84 0 82193 -81 -88 0 82193 -81 -97 0 82193 -81 -89 0 82193 -81 -90 0 82193 -81 -95 0 82193 -81 -92 0 82193 -82 -83 0 82193 -82 -84 0 82193 -82 -88 0 82193 -82 -97 0 82193 -82 -95 0 82193 -82 -93 0 82193 -82 -94 0 82193 -83 -84 0 82193 -83 -88 0 82193 -83 -97 0 82193 -83 -89 0 82193 -83 -90 0 82193 -83 -95 0 82193 -83 -91 0 82193 -83 -93 0 82193 -83 -94 0 82193 -84 -88 0 82193 -84 -97 0 82193 -84 -94 0 82193 -84 -93 0 82193 -84 -95 0 82193 -85 -86 0 82193 -86 -88 0 82193 -87 -96 0 82193 -87 -98 0 82193 -87 -99 0 82193 -87 -100 0 82193 -87 -101 0 82193 -87 -102 0 82193 -88 -97 0 82193 -89 -90 0 82193 -89 -95 0 82193 -89 -97 0 82193 -89 -91 0 82193 -90 -95 0 82193 -90 -97 0 82193 -90 -91 0 82193 -91 -93 0 82193 -92 -93 0 82193 -92 -94 0 82193 -92 -95 0 82193 -93 -94 0 82193 -93 -95 0 82193 -94 -95 0 82193 -95 -97 0 82193 -96 -100 0 82193 -96 -101 0 82193 -96 -102 0 82193 -96 -98 0 82193 -96 -99 0 82193 -98 -100 0 82193 -98 -99 0 82193 -98 -102 0 82193 -98 -101 0 82193 -99 -101 0 82193 -99 -102 0 82193 -99 -100 0 82193 -100 -102 0 82193 -100 -101 0 82193 -101 -102 0