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 85122 p wcnf 101 932 85122 1100 1 0 1100 2 0 1100 3 0 1100 4 0 1100 5 0 564 6 0 564 7 0 564 8 0 564 9 0 564 10 0 721 11 0 721 12 0 336 13 0 1140 14 0 1140 15 0 1140 16 0 1140 17 0 1140 18 0 892 19 0 892 20 0 457 21 0 527 22 0 527 23 0 555 24 0 595 25 0 693 26 0 693 27 0 693 28 0 341 29 0 341 30 0 848 31 0 1323 32 0 1323 33 0 1323 34 0 1323 35 0 412 36 0 823 37 0 564 38 0 564 39 0 564 40 0 564 41 0 564 42 0 913 43 0 913 44 0 913 45 0 913 46 0 913 47 0 522 48 0 522 49 0 541 50 0 541 51 0 1183 52 0 1183 53 0 1183 54 0 1183 55 0 1183 56 0 583 57 0 1257 58 0 1257 59 0 1257 60 0 1257 61 0 1257 62 0 528 63 0 528 64 0 528 65 0 528 66 0 528 67 0 1020 68 0 1020 69 0 1020 70 0 1020 71 0 1020 72 0 364 73 0 364 74 0 719 75 0 719 76 0 841 77 0 841 78 0 931 79 0 931 80 0 1154 81 0 163 82 0 363 83 0 731 84 0 731 85 0 731 86 0 731 87 0 963 88 0 963 89 0 1248 90 0 1248 91 0 1248 92 0 1248 93 0 1248 94 0 519 95 0 519 96 0 1038 97 0 1038 98 0 1038 99 0 1038 100 0 1038 101 0 85122 -1 -26 0 85122 -1 -31 0 85122 -1 -34 0 85122 -1 -58 0 85122 -1 -2 0 85122 -1 -3 0 85122 -1 -5 0 85122 -1 -30 0 85122 -1 -90 0 85122 -1 -92 0 85122 -1 -94 0 85122 -1 -4 0 85122 -2 -3 0 85122 -2 -22 0 85122 -2 -23 0 85122 -2 -27 0 85122 -2 -28 0 85122 -2 -33 0 85122 -2 -61 0 85122 -2 -62 0 85122 -2 -9 0 85122 -2 -34 0 85122 -2 -41 0 85122 -2 -60 0 85122 -2 -5 0 85122 -2 -30 0 85122 -2 -90 0 85122 -2 -92 0 85122 -2 -94 0 85122 -2 -4 0 85122 -3 -22 0 85122 -3 -23 0 85122 -3 -27 0 85122 -3 -28 0 85122 -3 -33 0 85122 -3 -61 0 85122 -3 -62 0 85122 -3 -5 0 85122 -3 -30 0 85122 -3 -90 0 85122 -3 -92 0 85122 -3 -94 0 85122 -3 -7 0 85122 -3 -9 0 85122 -3 -26 0 85122 -3 -39 0 85122 -3 -41 0 85122 -3 -58 0 85122 -3 -60 0 85122 -3 -8 0 85122 -3 -10 0 85122 -3 -40 0 85122 -3 -42 0 85122 -3 -59 0 85122 -3 -4 0 85122 -4 -5 0 85122 -4 -14 0 85122 -4 -29 0 85122 -4 -30 0 85122 -4 -43 0 85122 -4 -44 0 85122 -4 -54 0 85122 -4 -55 0 85122 -4 -56 0 85122 -4 -93 0 85122 -4 -94 0 85122 -4 -99 0 85122 -4 -100 0 85122 -4 -91 0 85122 -4 -17 0 85122 -4 -18 0 85122 -4 -48 0 85122 -4 -49 0 85122 -4 -7 0 85122 -4 -39 0 85122 -5 -14 0 85122 -5 -29 0 85122 -5 -30 0 85122 -5 -43 0 85122 -5 -44 0 85122 -5 -54 0 85122 -5 -55 0 85122 -5 -56 0 85122 -5 -93 0 85122 -5 -94 0 85122 -5 -99 0 85122 -5 -100 0 85122 -5 -53 0 85122 -5 -77 0 85122 -5 -78 0 85122 -5 -89 0 85122 -5 -92 0 85122 -5 -98 0 85122 -5 -101 0 85122 -5 -90 0 85122 -5 -17 0 85122 -5 -18 0 85122 -5 -48 0 85122 -5 -49 0 85122 -5 -7 0 85122 -5 -39 0 85122 -6 -38 0 85122 -6 -7 0 85122 -6 -8 0 85122 -6 -9 0 85122 -6 -10 0 85122 -7 -9 0 85122 -7 -26 0 85122 -7 -28 0 85122 -7 -39 0 85122 -7 -41 0 85122 -7 -58 0 85122 -7 -60 0 85122 -7 -62 0 85122 -7 -8 0 85122 -7 -10 0 85122 -8 -10 0 85122 -8 -27 0 85122 -8 -40 0 85122 -8 -42 0 85122 -8 -59 0 85122 -8 -61 0 85122 -8 -9 0 85122 -8 -22 0 85122 -8 -41 0 85122 -9 -28 0 85122 -9 -34 0 85122 -9 -41 0 85122 -9 -60 0 85122 -9 -62 0 85122 -9 -26 0 85122 -9 -39 0 85122 -9 -58 0 85122 -9 -22 0 85122 -9 -40 0 85122 -9 -10 0 85122 -10 -27 0 85122 -10 -40 0 85122 -10 -42 0 85122 -10 -59 0 85122 -10 -61 0 85122 -10 -18 0 85122 -10 -23 0 85122 -10 -49 0 85122 -10 -51 0 85122 -11 -64 0 85122 -11 -67 0 85122 -11 -73 0 85122 -11 -76 0 85122 -11 -80 0 85122 -11 -85 0 85122 -11 -12 0 85122 -11 -16 0 85122 -11 -45 0 85122 -11 -46 0 85122 -11 -47 0 85122 -11 -56 0 85122 -11 -100 0 85122 -11 -101 0 85122 -12 -21 0 85122 -12 -31 0 85122 -12 -35 0 85122 -12 -37 0 85122 -12 -47 0 85122 -12 -57 0 85122 -12 -65 0 85122 -12 -74 0 85122 -12 -76 0 85122 -12 -79 0 85122 -12 -86 0 85122 -12 -75 0 85122 -12 -16 0 85122 -12 -45 0 85122 -12 -46 0 85122 -12 -56 0 85122 -12 -100 0 85122 -12 -101 0 85122 -13 -35 0 85122 -13 -47 0 85122 -13 -75 0 85122 -13 -76 0 85122 -14 -29 0 85122 -14 -30 0 85122 -14 -43 0 85122 -14 -44 0 85122 -14 -54 0 85122 -14 -55 0 85122 -14 -56 0 85122 -14 -93 0 85122 -14 -94 0 85122 -14 -99 0 85122 -14 -100 0 85122 -14 -16 0 85122 -14 -81 0 85122 -14 -15 0 85122 -14 -17 0 85122 -14 -18 0 85122 -15 -17 0 85122 -15 -19 0 85122 -15 -25 0 85122 -15 -32 0 85122 -15 -58 0 85122 -15 -61 0 85122 -15 -62 0 85122 -15 -68 0 85122 -15 -71 0 85122 -15 -72 0 85122 -15 -16 0 85122 -15 -18 0 85122 -16 -45 0 85122 -16 -46 0 85122 -16 -47 0 85122 -16 -56 0 85122 -16 -100 0 85122 -16 -101 0 85122 -16 -53 0 85122 -16 -89 0 85122 -16 -91 0 85122 -16 -92 0 85122 -16 -98 0 85122 -16 -81 0 85122 -16 -17 0 85122 -16 -18 0 85122 -17 -19 0 85122 -17 -25 0 85122 -17 -32 0 85122 -17 -58 0 85122 -17 -61 0 85122 -17 -62 0 85122 -17 -68 0 85122 -17 -71 0 85122 -17 -72 0 85122 -17 -18 0 85122 -17 -48 0 85122 -17 -49 0 85122 -18 -23 0 85122 -18 -42 0 85122 -18 -49 0 85122 -18 -51 0 85122 -18 -48 0 85122 -19 -25 0 85122 -19 -32 0 85122 -19 -33 0 85122 -19 -34 0 85122 -19 -58 0 85122 -19 -59 0 85122 -19 -60 0 85122 -19 -61 0 85122 -19 -62 0 85122 -19 -68 0 85122 -19 -70 0 85122 -19 -71 0 85122 -19 -72 0 85122 -19 -67 0 85122 -19 -96 0 85122 -19 -20 0 85122 -20 -36 0 85122 -20 -52 0 85122 -20 -64 0 85122 -20 -65 0 85122 -20 -69 0 85122 -20 -72 0 85122 -20 -85 0 85122 -20 -86 0 85122 -20 -89 0 85122 -20 -90 0 85122 -20 -96 0 85122 -20 -97 0 85122 -21 -31 0 85122 -21 -35 0 85122 -21 -37 0 85122 -21 -47 0 85122 -21 -57 0 85122 -21 -65 0 85122 -21 -74 0 85122 -21 -76 0 85122 -21 -79 0 85122 -21 -86 0 85122 -21 -66 0 85122 -21 -87 0 85122 -22 -23 0 85122 -22 -27 0 85122 -22 -28 0 85122 -22 -33 0 85122 -22 -61 0 85122 -22 -62 0 85122 -22 -40 0 85122 -22 -41 0 85122 -23 -27 0 85122 -23 -28 0 85122 -23 -33 0 85122 -23 -61 0 85122 -23 -62 0 85122 -23 -42 0 85122 -23 -49 0 85122 -23 -51 0 85122 -24 -57 0 85122 -25 -32 0 85122 -25 -33 0 85122 -25 -34 0 85122 -25 -58 0 85122 -25 -59 0 85122 -25 -60 0 85122 -25 -61 0 85122 -25 -62 0 85122 -25 -68 0 85122 -25 -70 0 85122 -25 -71 0 85122 -25 -72 0 85122 -26 -31 0 85122 -26 -34 0 85122 -26 -58 0 85122 -26 -28 0 85122 -26 -39 0 85122 -26 -41 0 85122 -26 -60 0 85122 -26 -62 0 85122 -26 -27 0 85122 -26 -32 0 85122 -26 -61 0 85122 -27 -28 0 85122 -27 -33 0 85122 -27 -61 0 85122 -27 -62 0 85122 -27 -40 0 85122 -27 -42 0 85122 -27 -59 0 85122 -27 -32 0 85122 -27 -58 0 85122 -28 -33 0 85122 -28 -61 0 85122 -28 -62 0 85122 -28 -34 0 85122 -28 -41 0 85122 -28 -60 0 85122 -28 -39 0 85122 -28 -58 0 85122 -28 -32 0 85122 -29 -30 0 85122 -29 -43 0 85122 -29 -44 0 85122 -29 -54 0 85122 -29 -55 0 85122 -29 -56 0 85122 -29 -93 0 85122 -29 -94 0 85122 -29 -99 0 85122 -29 -100 0 85122 -29 -91 0 85122 -30 -43 0 85122 -30 -44 0 85122 -30 -54 0 85122 -30 -55 0 85122 -30 -56 0 85122 -30 -93 0 85122 -30 -94 0 85122 -30 -99 0 85122 -30 -100 0 85122 -30 -53 0 85122 -30 -77 0 85122 -30 -78 0 85122 -30 -89 0 85122 -30 -92 0 85122 -30 -98 0 85122 -30 -101 0 85122 -30 -90 0 85122 -31 -35 0 85122 -31 -37 0 85122 -31 -47 0 85122 -31 -57 0 85122 -31 -65 0 85122 -31 -74 0 85122 -31 -76 0 85122 -31 -79 0 85122 -31 -86 0 85122 -31 -34 0 85122 -31 -58 0 85122 -32 -33 0 85122 -32 -34 0 85122 -32 -58 0 85122 -32 -59 0 85122 -32 -60 0 85122 -32 -61 0 85122 -32 -62 0 85122 -32 -68 0 85122 -32 -70 0 85122 -32 -71 0 85122 -32 -72 0 85122 -32 -35 0 85122 -33 -61 0 85122 -33 -62 0 85122 -33 -34 0 85122 -33 -58 0 85122 -33 -59 0 85122 -33 -60 0 85122 -33 -68 0 85122 -33 -70 0 85122 -33 -71 0 85122 -33 -72 0 85122 -33 -35 0 85122 -34 -41 0 85122 -34 -60 0 85122 -34 -62 0 85122 -34 -58 0 85122 -34 -59 0 85122 -34 -61 0 85122 -34 -68 0 85122 -34 -70 0 85122 -34 -71 0 85122 -34 -72 0 85122 -34 -35 0 85122 -35 -37 0 85122 -35 -47 0 85122 -35 -57 0 85122 -35 -65 0 85122 -35 -74 0 85122 -35 -76 0 85122 -35 -79 0 85122 -35 -86 0 85122 -35 -75 0 85122 -36 -52 0 85122 -36 -53 0 85122 -36 -55 0 85122 -36 -56 0 85122 -36 -70 0 85122 -36 -90 0 85122 -36 -91 0 85122 -36 -92 0 85122 -36 -64 0 85122 -36 -65 0 85122 -36 -69 0 85122 -36 -72 0 85122 -36 -85 0 85122 -36 -86 0 85122 -36 -89 0 85122 -36 -96 0 85122 -36 -97 0 85122 -37 -47 0 85122 -37 -57 0 85122 -37 -65 0 85122 -37 -74 0 85122 -37 -76 0 85122 -37 -79 0 85122 -37 -86 0 85122 -38 -39 0 85122 -38 -40 0 85122 -38 -41 0 85122 -38 -42 0 85122 -39 -41 0 85122 -39 -58 0 85122 -39 -60 0 85122 -39 -62 0 85122 -39 -40 0 85122 -39 -42 0 85122 -40 -42 0 85122 -40 -59 0 85122 -40 -61 0 85122 -40 -41 0 85122 -41 -60 0 85122 -41 -62 0 85122 -41 -58 0 85122 -41 -42 0 85122 -42 -59 0 85122 -42 -61 0 85122 -42 -49 0 85122 -42 -51 0 85122 -43 -44 0 85122 -43 -54 0 85122 -43 -55 0 85122 -43 -56 0 85122 -43 -93 0 85122 -43 -94 0 85122 -43 -99 0 85122 -43 -100 0 85122 -43 -45 0 85122 -43 -46 0 85122 -43 -77 0 85122 -43 -78 0 85122 -43 -47 0 85122 -44 -46 0 85122 -44 -78 0 85122 -44 -83 0 85122 -44 -54 0 85122 -44 -55 0 85122 -44 -56 0 85122 -44 -93 0 85122 -44 -94 0 85122 -44 -99 0 85122 -44 -100 0 85122 -44 -45 0 85122 -44 -77 0 85122 -44 -47 0 85122 -45 -46 0 85122 -45 -47 0 85122 -45 -56 0 85122 -45 -100 0 85122 -45 -101 0 85122 -45 -53 0 85122 -45 -89 0 85122 -45 -91 0 85122 -45 -92 0 85122 -45 -98 0 85122 -45 -77 0 85122 -45 -78 0 85122 -46 -78 0 85122 -46 -83 0 85122 -46 -47 0 85122 -46 -56 0 85122 -46 -100 0 85122 -46 -101 0 85122 -46 -53 0 85122 -46 -89 0 85122 -46 -91 0 85122 -46 -92 0 85122 -46 -98 0 85122 -46 -77 0 85122 -47 -57 0 85122 -47 -65 0 85122 -47 -74 0 85122 -47 -76 0 85122 -47 -79 0 85122 -47 -86 0 85122 -47 -56 0 85122 -47 -100 0 85122 -47 -101 0 85122 -47 -75 0 85122 -48 -51 0 85122 -48 -49 0 85122 -49 -50 0 85122 -49 -51 0 85122 -50 -51 0 85122 -52 -53 0 85122 -52 -55 0 85122 -52 -56 0 85122 -52 -70 0 85122 -52 -90 0 85122 -52 -91 0 85122 -52 -92 0 85122 -52 -64 0 85122 -52 -65 0 85122 -52 -69 0 85122 -52 -72 0 85122 -52 -85 0 85122 -52 -86 0 85122 -52 -89 0 85122 -52 -96 0 85122 -52 -97 0 85122 -52 -88 0 85122 -52 -54 0 85122 -53 -55 0 85122 -53 -56 0 85122 -53 -70 0 85122 -53 -90 0 85122 -53 -91 0 85122 -53 -92 0 85122 -53 -54 0 85122 -53 -77 0 85122 -53 -78 0 85122 -53 -89 0 85122 -53 -94 0 85122 -53 -98 0 85122 -53 -99 0 85122 -53 -100 0 85122 -53 -101 0 85122 -54 -55 0 85122 -54 -56 0 85122 -54 -93 0 85122 -54 -94 0 85122 -54 -99 0 85122 -54 -100 0 85122 -54 -77 0 85122 -54 -78 0 85122 -54 -89 0 85122 -54 -92 0 85122 -54 -98 0 85122 -54 -101 0 85122 -55 -56 0 85122 -55 -70 0 85122 -55 -90 0 85122 -55 -91 0 85122 -55 -92 0 85122 -55 -93 0 85122 -55 -94 0 85122 -55 -99 0 85122 -55 -100 0 85122 -55 -77 0 85122 -55 -78 0 85122 -55 -89 0 85122 -55 -98 0 85122 -55 -101 0 85122 -56 -70 0 85122 -56 -90 0 85122 -56 -91 0 85122 -56 -92 0 85122 -56 -100 0 85122 -56 -101 0 85122 -56 -93 0 85122 -56 -94 0 85122 -56 -99 0 85122 -56 -77 0 85122 -56 -78 0 85122 -56 -89 0 85122 -56 -98 0 85122 -57 -65 0 85122 -57 -74 0 85122 -57 -76 0 85122 -57 -79 0 85122 -57 -86 0 85122 -58 -60 0 85122 -58 -62 0 85122 -58 -59 0 85122 -58 -61 0 85122 -58 -68 0 85122 -58 -70 0 85122 -58 -71 0 85122 -58 -72 0 85122 -59 -61 0 85122 -59 -60 0 85122 -59 -62 0 85122 -59 -68 0 85122 -59 -70 0 85122 -59 -71 0 85122 -59 -72 0 85122 -60 -62 0 85122 -60 -61 0 85122 -60 -68 0 85122 -60 -70 0 85122 -60 -71 0 85122 -60 -72 0 85122 -61 -62 0 85122 -61 -68 0 85122 -61 -70 0 85122 -61 -71 0 85122 -61 -72 0 85122 -62 -68 0 85122 -62 -70 0 85122 -62 -71 0 85122 -62 -72 0 85122 -63 -84 0 85122 -63 -64 0 85122 -63 -65 0 85122 -63 -66 0 85122 -63 -67 0 85122 -64 -67 0 85122 -64 -73 0 85122 -64 -76 0 85122 -64 -80 0 85122 -64 -85 0 85122 -64 -65 0 85122 -64 -69 0 85122 -64 -72 0 85122 -64 -86 0 85122 -64 -89 0 85122 -64 -90 0 85122 -64 -96 0 85122 -64 -97 0 85122 -64 -95 0 85122 -64 -66 0 85122 -65 -74 0 85122 -65 -76 0 85122 -65 -79 0 85122 -65 -86 0 85122 -65 -75 0 85122 -65 -69 0 85122 -65 -72 0 85122 -65 -85 0 85122 -65 -89 0 85122 -65 -90 0 85122 -65 -96 0 85122 -65 -97 0 85122 -65 -95 0 85122 -65 -66 0 85122 -65 -67 0 85122 -66 -71 0 85122 -66 -87 0 85122 -66 -67 0 85122 -67 -73 0 85122 -67 -76 0 85122 -67 -80 0 85122 -67 -85 0 85122 -67 -74 0 85122 -67 -75 0 85122 -67 -96 0 85122 -67 -68 0 85122 -68 -70 0 85122 -68 -71 0 85122 -68 -72 0 85122 -68 -96 0 85122 -68 -69 0 85122 -69 -72 0 85122 -69 -85 0 85122 -69 -86 0 85122 -69 -89 0 85122 -69 -90 0 85122 -69 -96 0 85122 -69 -97 0 85122 -69 -70 0 85122 -69 -71 0 85122 -70 -90 0 85122 -70 -91 0 85122 -70 -92 0 85122 -70 -71 0 85122 -70 -72 0 85122 -71 -72 0 85122 -71 -87 0 85122 -72 -82 0 85122 -72 -85 0 85122 -72 -86 0 85122 -72 -89 0 85122 -72 -90 0 85122 -72 -96 0 85122 -72 -97 0 85122 -73 -76 0 85122 -73 -80 0 85122 -73 -85 0 85122 -73 -74 0 85122 -73 -75 0 85122 -73 -96 0 85122 -74 -76 0 85122 -74 -79 0 85122 -74 -86 0 85122 -74 -75 0 85122 -74 -80 0 85122 -74 -96 0 85122 -75 -86 0 85122 -75 -76 0 85122 -75 -80 0 85122 -75 -96 0 85122 -76 -79 0 85122 -76 -86 0 85122 -76 -80 0 85122 -76 -85 0 85122 -76 -96 0 85122 -77 -78 0 85122 -77 -89 0 85122 -77 -92 0 85122 -77 -94 0 85122 -77 -98 0 85122 -77 -99 0 85122 -77 -100 0 85122 -77 -101 0 85122 -78 -83 0 85122 -78 -89 0 85122 -78 -92 0 85122 -78 -94 0 85122 -78 -98 0 85122 -78 -99 0 85122 -78 -100 0 85122 -78 -101 0 85122 -79 -86 0 85122 -79 -80 0 85122 -79 -83 0 85122 -79 -84 0 85122 -79 -85 0 85122 -79 -87 0 85122 -80 -85 0 85122 -80 -83 0 85122 -80 -84 0 85122 -80 -86 0 85122 -80 -87 0 85122 -80 -96 0 85122 -83 -84 0 85122 -83 -85 0 85122 -83 -86 0 85122 -83 -87 0 85122 -84 -85 0 85122 -84 -86 0 85122 -84 -87 0 85122 -85 -86 0 85122 -85 -87 0 85122 -85 -95 0 85122 -85 -89 0 85122 -85 -90 0 85122 -85 -96 0 85122 -85 -97 0 85122 -86 -87 0 85122 -86 -95 0 85122 -86 -89 0 85122 -86 -90 0 85122 -86 -96 0 85122 -86 -97 0 85122 -88 -90 0 85122 -88 -97 0 85122 -88 -89 0 85122 -89 -90 0 85122 -89 -96 0 85122 -89 -97 0 85122 -89 -91 0 85122 -89 -92 0 85122 -89 -98 0 85122 -89 -100 0 85122 -89 -101 0 85122 -89 -94 0 85122 -89 -99 0 85122 -90 -92 0 85122 -90 -94 0 85122 -90 -97 0 85122 -90 -96 0 85122 -90 -91 0 85122 -90 -93 0 85122 -91 -93 0 85122 -91 -92 0 85122 -91 -98 0 85122 -91 -101 0 85122 -91 -100 0 85122 -91 -94 0 85122 -92 -94 0 85122 -92 -98 0 85122 -92 -99 0 85122 -92 -100 0 85122 -92 -101 0 85122 -92 -93 0 85122 -93 -94 0 85122 -93 -99 0 85122 -93 -100 0 85122 -94 -98 0 85122 -94 -99 0 85122 -94 -100 0 85122 -94 -101 0 85122 -95 -96 0 85122 -96 -97 0 85122 -97 -98 0 85122 -97 -99 0 85122 -97 -100 0 85122 -97 -101 0 85122 -98 -99 0 85122 -98 -100 0 85122 -98 -101 0 85122 -99 -100 0 85122 -99 -101 0 85122 -100 -101 0