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 65004 p wcnf 90 792 65004 985 1 0 231 2 0 666 3 0 141 4 0 688 5 0 688 6 0 688 7 0 801 8 0 342 9 0 342 10 0 587 11 0 587 12 0 584 13 0 132 14 0 908 15 0 981 16 0 981 17 0 981 18 0 981 19 0 981 20 0 817 21 0 817 22 0 817 23 0 817 24 0 817 25 0 726 26 0 726 27 0 637 28 0 841 29 0 841 30 0 841 31 0 694 32 0 694 33 0 694 34 0 672 35 0 672 36 0 672 37 0 672 38 0 672 39 0 970 40 0 970 41 0 970 42 0 970 43 0 970 44 0 834 45 0 834 46 0 834 47 0 639 48 0 639 49 0 591 50 0 591 51 0 591 52 0 591 53 0 591 54 0 647 55 0 647 56 0 647 57 0 647 58 0 647 59 0 314 60 0 317 61 0 801 62 0 801 63 0 280 64 0 280 65 0 801 66 0 735 67 0 735 68 0 719 69 0 719 70 0 836 71 0 836 72 0 862 73 0 862 74 0 862 75 0 547 76 0 547 77 0 547 78 0 547 79 0 126 80 0 998 81 0 998 82 0 998 83 0 998 84 0 998 85 0 941 86 0 941 87 0 941 88 0 941 89 0 941 90 0 65004 -1 -81 0 65004 -1 -82 0 65004 -1 -83 0 65004 -1 -84 0 65004 -1 -85 0 65004 -1 -5 0 65004 -1 -7 0 65004 -1 -21 0 65004 -1 -34 0 65004 -1 -52 0 65004 -1 -61 0 65004 -1 -66 0 65004 -1 -18 0 65004 -1 -19 0 65004 -1 -63 0 65004 -1 -29 0 65004 -1 -45 0 65004 -1 -62 0 65004 -2 -51 0 65004 -2 -69 0 65004 -3 -4 0 65004 -3 -65 0 65004 -3 -88 0 65004 -3 -89 0 65004 -3 -90 0 65004 -3 -40 0 65004 -3 -42 0 65004 -3 -10 0 65004 -3 -38 0 65004 -3 -79 0 65004 -3 -81 0 65004 -3 -82 0 65004 -3 -87 0 65004 -3 -83 0 65004 -3 -84 0 65004 -4 -65 0 65004 -4 -88 0 65004 -4 -89 0 65004 -4 -90 0 65004 -4 -10 0 65004 -4 -38 0 65004 -4 -79 0 65004 -4 -81 0 65004 -4 -82 0 65004 -4 -87 0 65004 -5 -7 0 65004 -5 -21 0 65004 -5 -34 0 65004 -5 -52 0 65004 -5 -61 0 65004 -5 -66 0 65004 -5 -29 0 65004 -5 -45 0 65004 -5 -62 0 65004 -5 -6 0 65004 -6 -7 0 65004 -6 -88 0 65004 -6 -89 0 65004 -6 -18 0 65004 -6 -19 0 65004 -7 -13 0 65004 -7 -88 0 65004 -7 -89 0 65004 -7 -21 0 65004 -7 -34 0 65004 -7 -52 0 65004 -7 -61 0 65004 -7 -66 0 65004 -7 -29 0 65004 -7 -45 0 65004 -7 -62 0 65004 -8 -48 0 65004 -8 -49 0 65004 -8 -14 0 65004 -8 -19 0 65004 -8 -63 0 65004 -8 -66 0 65004 -8 -82 0 65004 -8 -84 0 65004 -8 -13 0 65004 -8 -24 0 65004 -8 -50 0 65004 -8 -62 0 65004 -9 -37 0 65004 -9 -78 0 65004 -9 -85 0 65004 -9 -86 0 65004 -9 -10 0 65004 -9 -28 0 65004 -9 -39 0 65004 -9 -77 0 65004 -9 -79 0 65004 -9 -87 0 65004 -10 -35 0 65004 -10 -38 0 65004 -10 -39 0 65004 -10 -77 0 65004 -10 -79 0 65004 -10 -87 0 65004 -10 -81 0 65004 -10 -82 0 65004 -10 -28 0 65004 -10 -78 0 65004 -10 -85 0 65004 -10 -86 0 65004 -11 -22 0 65004 -11 -24 0 65004 -11 -25 0 65004 -11 -32 0 65004 -11 -34 0 65004 -11 -52 0 65004 -11 -63 0 65004 -11 -71 0 65004 -11 -73 0 65004 -11 -75 0 65004 -11 -23 0 65004 -11 -85 0 65004 -11 -12 0 65004 -12 -26 0 65004 -12 -27 0 65004 -12 -29 0 65004 -12 -33 0 65004 -12 -34 0 65004 -12 -36 0 65004 -12 -39 0 65004 -12 -45 0 65004 -12 -72 0 65004 -12 -74 0 65004 -12 -76 0 65004 -12 -77 0 65004 -12 -78 0 65004 -12 -79 0 65004 -12 -86 0 65004 -12 -87 0 65004 -12 -90 0 65004 -13 -24 0 65004 -13 -50 0 65004 -13 -63 0 65004 -14 -19 0 65004 -14 -49 0 65004 -14 -63 0 65004 -14 -66 0 65004 -14 -82 0 65004 -14 -84 0 65004 -15 -17 0 65004 -15 -20 0 65004 -15 -86 0 65004 -15 -87 0 65004 -15 -90 0 65004 -16 -17 0 65004 -16 -19 0 65004 -16 -49 0 65004 -16 -82 0 65004 -16 -84 0 65004 -16 -18 0 65004 -16 -20 0 65004 -17 -19 0 65004 -17 -49 0 65004 -17 -82 0 65004 -17 -84 0 65004 -17 -20 0 65004 -17 -86 0 65004 -17 -87 0 65004 -17 -90 0 65004 -17 -62 0 65004 -17 -18 0 65004 -18 -19 0 65004 -18 -63 0 65004 -18 -66 0 65004 -18 -85 0 65004 -18 -48 0 65004 -18 -81 0 65004 -18 -83 0 65004 -18 -20 0 65004 -19 -49 0 65004 -19 -82 0 65004 -19 -84 0 65004 -19 -63 0 65004 -19 -66 0 65004 -19 -85 0 65004 -19 -20 0 65004 -20 -44 0 65004 -20 -48 0 65004 -20 -49 0 65004 -20 -81 0 65004 -20 -82 0 65004 -20 -83 0 65004 -20 -84 0 65004 -20 -86 0 65004 -20 -87 0 65004 -20 -90 0 65004 -21 -34 0 65004 -21 -52 0 65004 -21 -61 0 65004 -21 -66 0 65004 -21 -29 0 65004 -21 -45 0 65004 -21 -62 0 65004 -21 -24 0 65004 -21 -30 0 65004 -21 -31 0 65004 -21 -46 0 65004 -21 -47 0 65004 -21 -69 0 65004 -21 -22 0 65004 -21 -23 0 65004 -21 -25 0 65004 -22 -24 0 65004 -22 -25 0 65004 -22 -32 0 65004 -22 -34 0 65004 -22 -52 0 65004 -22 -63 0 65004 -22 -71 0 65004 -22 -73 0 65004 -22 -75 0 65004 -22 -57 0 65004 -22 -59 0 65004 -22 -23 0 65004 -23 -25 0 65004 -23 -28 0 65004 -23 -30 0 65004 -23 -31 0 65004 -23 -46 0 65004 -23 -47 0 65004 -23 -55 0 65004 -23 -56 0 65004 -23 -58 0 65004 -23 -69 0 65004 -23 -80 0 65004 -23 -40 0 65004 -23 -41 0 65004 -23 -44 0 65004 -23 -70 0 65004 -23 -43 0 65004 -23 -32 0 65004 -23 -71 0 65004 -23 -73 0 65004 -23 -75 0 65004 -23 -85 0 65004 -23 -24 0 65004 -24 -25 0 65004 -24 -32 0 65004 -24 -34 0 65004 -24 -52 0 65004 -24 -63 0 65004 -24 -71 0 65004 -24 -73 0 65004 -24 -75 0 65004 -24 -30 0 65004 -24 -31 0 65004 -24 -46 0 65004 -24 -47 0 65004 -24 -69 0 65004 -24 -50 0 65004 -25 -32 0 65004 -25 -34 0 65004 -25 -52 0 65004 -25 -63 0 65004 -25 -71 0 65004 -25 -73 0 65004 -25 -75 0 65004 -25 -28 0 65004 -25 -30 0 65004 -25 -31 0 65004 -25 -46 0 65004 -25 -47 0 65004 -25 -55 0 65004 -25 -56 0 65004 -25 -58 0 65004 -25 -69 0 65004 -25 -80 0 65004 -25 -42 0 65004 -25 -43 0 65004 -25 -59 0 65004 -26 -27 0 65004 -26 -29 0 65004 -26 -34 0 65004 -26 -36 0 65004 -26 -39 0 65004 -26 -45 0 65004 -26 -62 0 65004 -26 -33 0 65004 -26 -72 0 65004 -26 -74 0 65004 -26 -76 0 65004 -26 -77 0 65004 -26 -78 0 65004 -26 -79 0 65004 -26 -86 0 65004 -26 -87 0 65004 -26 -90 0 65004 -26 -73 0 65004 -27 -65 0 65004 -27 -75 0 65004 -27 -29 0 65004 -27 -34 0 65004 -27 -36 0 65004 -27 -39 0 65004 -27 -45 0 65004 -27 -62 0 65004 -27 -33 0 65004 -27 -72 0 65004 -27 -74 0 65004 -27 -76 0 65004 -27 -77 0 65004 -27 -78 0 65004 -27 -79 0 65004 -27 -86 0 65004 -27 -87 0 65004 -27 -90 0 65004 -27 -60 0 65004 -27 -71 0 65004 -28 -30 0 65004 -28 -31 0 65004 -28 -46 0 65004 -28 -47 0 65004 -28 -55 0 65004 -28 -56 0 65004 -28 -58 0 65004 -28 -69 0 65004 -28 -80 0 65004 -28 -40 0 65004 -28 -41 0 65004 -28 -44 0 65004 -28 -70 0 65004 -28 -43 0 65004 -28 -39 0 65004 -28 -77 0 65004 -28 -78 0 65004 -28 -79 0 65004 -28 -85 0 65004 -28 -86 0 65004 -28 -87 0 65004 -29 -34 0 65004 -29 -36 0 65004 -29 -39 0 65004 -29 -45 0 65004 -29 -62 0 65004 -29 -33 0 65004 -29 -72 0 65004 -29 -74 0 65004 -29 -76 0 65004 -29 -77 0 65004 -29 -78 0 65004 -29 -79 0 65004 -29 -86 0 65004 -29 -87 0 65004 -29 -90 0 65004 -29 -52 0 65004 -29 -66 0 65004 -29 -60 0 65004 -29 -71 0 65004 -29 -75 0 65004 -29 -30 0 65004 -29 -31 0 65004 -30 -31 0 65004 -30 -46 0 65004 -30 -47 0 65004 -30 -55 0 65004 -30 -56 0 65004 -30 -58 0 65004 -30 -69 0 65004 -30 -80 0 65004 -30 -59 0 65004 -31 -46 0 65004 -31 -47 0 65004 -31 -55 0 65004 -31 -56 0 65004 -31 -58 0 65004 -31 -69 0 65004 -31 -80 0 65004 -31 -40 0 65004 -31 -41 0 65004 -31 -44 0 65004 -31 -70 0 65004 -31 -57 0 65004 -31 -68 0 65004 -31 -89 0 65004 -32 -34 0 65004 -32 -52 0 65004 -32 -63 0 65004 -32 -71 0 65004 -32 -73 0 65004 -32 -75 0 65004 -32 -85 0 65004 -32 -33 0 65004 -33 -34 0 65004 -33 -36 0 65004 -33 -39 0 65004 -33 -45 0 65004 -33 -72 0 65004 -33 -74 0 65004 -33 -76 0 65004 -33 -77 0 65004 -33 -78 0 65004 -33 -79 0 65004 -33 -86 0 65004 -33 -87 0 65004 -33 -90 0 65004 -34 -52 0 65004 -34 -63 0 65004 -34 -71 0 65004 -34 -73 0 65004 -34 -75 0 65004 -34 -36 0 65004 -34 -39 0 65004 -34 -45 0 65004 -34 -62 0 65004 -34 -61 0 65004 -34 -66 0 65004 -34 -72 0 65004 -34 -74 0 65004 -34 -76 0 65004 -34 -77 0 65004 -34 -78 0 65004 -34 -79 0 65004 -34 -86 0 65004 -34 -87 0 65004 -34 -90 0 65004 -35 -38 0 65004 -35 -39 0 65004 -35 -77 0 65004 -35 -79 0 65004 -35 -87 0 65004 -35 -83 0 65004 -35 -84 0 65004 -35 -37 0 65004 -35 -36 0 65004 -36 -39 0 65004 -36 -45 0 65004 -36 -62 0 65004 -36 -72 0 65004 -36 -74 0 65004 -36 -76 0 65004 -36 -77 0 65004 -36 -78 0 65004 -36 -79 0 65004 -36 -86 0 65004 -36 -87 0 65004 -36 -90 0 65004 -36 -37 0 65004 -36 -38 0 65004 -37 -78 0 65004 -37 -85 0 65004 -37 -86 0 65004 -37 -38 0 65004 -37 -79 0 65004 -37 -83 0 65004 -37 -84 0 65004 -37 -39 0 65004 -38 -39 0 65004 -38 -77 0 65004 -38 -79 0 65004 -38 -87 0 65004 -38 -81 0 65004 -38 -82 0 65004 -38 -78 0 65004 -38 -83 0 65004 -38 -84 0 65004 -39 -77 0 65004 -39 -79 0 65004 -39 -87 0 65004 -39 -45 0 65004 -39 -62 0 65004 -39 -83 0 65004 -39 -84 0 65004 -39 -72 0 65004 -39 -74 0 65004 -39 -76 0 65004 -39 -78 0 65004 -39 -86 0 65004 -39 -90 0 65004 -39 -85 0 65004 -40 -42 0 65004 -40 -41 0 65004 -40 -44 0 65004 -40 -47 0 65004 -40 -56 0 65004 -40 -70 0 65004 -40 -43 0 65004 -41 -44 0 65004 -41 -47 0 65004 -41 -56 0 65004 -41 -70 0 65004 -41 -43 0 65004 -41 -42 0 65004 -42 -43 0 65004 -42 -58 0 65004 -42 -59 0 65004 -42 -57 0 65004 -42 -68 0 65004 -42 -89 0 65004 -42 -44 0 65004 -43 -58 0 65004 -43 -59 0 65004 -43 -57 0 65004 -43 -68 0 65004 -43 -89 0 65004 -43 -44 0 65004 -44 -48 0 65004 -44 -49 0 65004 -44 -81 0 65004 -44 -82 0 65004 -44 -83 0 65004 -44 -84 0 65004 -44 -47 0 65004 -44 -56 0 65004 -44 -70 0 65004 -45 -62 0 65004 -45 -72 0 65004 -45 -74 0 65004 -45 -76 0 65004 -45 -77 0 65004 -45 -78 0 65004 -45 -79 0 65004 -45 -86 0 65004 -45 -87 0 65004 -45 -90 0 65004 -45 -52 0 65004 -45 -66 0 65004 -45 -60 0 65004 -45 -71 0 65004 -45 -75 0 65004 -45 -46 0 65004 -45 -47 0 65004 -46 -47 0 65004 -46 -55 0 65004 -46 -56 0 65004 -46 -58 0 65004 -46 -69 0 65004 -46 -80 0 65004 -46 -59 0 65004 -47 -55 0 65004 -47 -56 0 65004 -47 -58 0 65004 -47 -69 0 65004 -47 -80 0 65004 -47 -70 0 65004 -47 -57 0 65004 -47 -68 0 65004 -47 -89 0 65004 -48 -49 0 65004 -48 -81 0 65004 -48 -82 0 65004 -48 -83 0 65004 -48 -84 0 65004 -49 -82 0 65004 -49 -84 0 65004 -49 -63 0 65004 -49 -66 0 65004 -49 -81 0 65004 -49 -83 0 65004 -50 -63 0 65004 -50 -51 0 65004 -50 -52 0 65004 -50 -53 0 65004 -50 -54 0 65004 -51 -69 0 65004 -51 -54 0 65004 -51 -52 0 65004 -51 -53 0 65004 -52 -63 0 65004 -52 -71 0 65004 -52 -73 0 65004 -52 -75 0 65004 -52 -61 0 65004 -52 -66 0 65004 -52 -62 0 65004 -52 -53 0 65004 -52 -54 0 65004 -53 -54 0 65004 -55 -56 0 65004 -55 -58 0 65004 -55 -69 0 65004 -55 -80 0 65004 -55 -59 0 65004 -55 -57 0 65004 -56 -58 0 65004 -56 -69 0 65004 -56 -80 0 65004 -56 -70 0 65004 -56 -57 0 65004 -56 -68 0 65004 -56 -89 0 65004 -56 -59 0 65004 -57 -59 0 65004 -57 -58 0 65004 -57 -68 0 65004 -57 -89 0 65004 -58 -69 0 65004 -58 -80 0 65004 -58 -59 0 65004 -58 -68 0 65004 -58 -89 0 65004 -60 -71 0 65004 -60 -72 0 65004 -60 -75 0 65004 -60 -90 0 65004 -61 -66 0 65004 -62 -66 0 65004 -62 -63 0 65004 -63 -71 0 65004 -63 -73 0 65004 -63 -75 0 65004 -63 -66 0 65004 -63 -82 0 65004 -63 -84 0 65004 -63 -85 0 65004 -64 -65 0 65004 -65 -75 0 65004 -65 -88 0 65004 -65 -89 0 65004 -65 -90 0 65004 -66 -82 0 65004 -66 -84 0 65004 -66 -85 0 65004 -67 -88 0 65004 -67 -68 0 65004 -68 -89 0 65004 -69 -80 0 65004 -69 -70 0 65004 -71 -73 0 65004 -71 -75 0 65004 -71 -85 0 65004 -71 -72 0 65004 -71 -90 0 65004 -72 -74 0 65004 -72 -76 0 65004 -72 -77 0 65004 -72 -78 0 65004 -72 -79 0 65004 -72 -86 0 65004 -72 -87 0 65004 -72 -90 0 65004 -72 -75 0 65004 -73 -74 0 65004 -73 -75 0 65004 -73 -85 0 65004 -74 -76 0 65004 -74 -77 0 65004 -74 -78 0 65004 -74 -79 0 65004 -74 -86 0 65004 -74 -87 0 65004 -74 -90 0 65004 -74 -75 0 65004 -75 -90 0 65004 -75 -85 0 65004 -76 -77 0 65004 -76 -78 0 65004 -76 -79 0 65004 -76 -86 0 65004 -76 -87 0 65004 -76 -90 0 65004 -77 -78 0 65004 -77 -79 0 65004 -77 -86 0 65004 -77 -87 0 65004 -77 -90 0 65004 -77 -85 0 65004 -77 -83 0 65004 -77 -84 0 65004 -78 -79 0 65004 -78 -86 0 65004 -78 -87 0 65004 -78 -90 0 65004 -78 -85 0 65004 -78 -83 0 65004 -78 -84 0 65004 -79 -86 0 65004 -79 -87 0 65004 -79 -90 0 65004 -79 -85 0 65004 -79 -81 0 65004 -79 -82 0 65004 -79 -83 0 65004 -79 -84 0 65004 -81 -82 0 65004 -81 -83 0 65004 -81 -84 0 65004 -81 -85 0 65004 -81 -87 0 65004 -82 -83 0 65004 -82 -84 0 65004 -82 -85 0 65004 -82 -87 0 65004 -83 -84 0 65004 -83 -85 0 65004 -84 -85 0 65004 -85 -86 0 65004 -85 -87 0 65004 -86 -87 0 65004 -86 -90 0 65004 -86 -88 0 65004 -86 -89 0 65004 -87 -90 0 65004 -87 -88 0 65004 -87 -89 0 65004 -88 -89 0 65004 -88 -90 0 65004 -89 -90 0