c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 80; Distribution: paths; Runs: 30; Seed: 1151601914 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 71194 p wcnf 82 633 71194 857 1 0 857 2 0 857 3 0 1140 4 0 1140 5 0 1140 6 0 1140 7 0 1140 8 0 950 9 0 950 10 0 950 11 0 950 12 0 950 13 0 853 14 0 853 15 0 853 16 0 853 17 0 853 18 0 574 19 0 574 20 0 1127 21 0 457 22 0 192 23 0 744 24 0 744 25 0 744 26 0 744 27 0 744 28 0 440 29 0 457 30 0 941 31 0 983 32 0 983 33 0 983 34 0 983 35 0 983 36 0 1054 37 0 1054 38 0 1054 39 0 1054 40 0 1054 41 0 114 42 0 941 43 0 869 44 0 869 45 0 869 46 0 869 47 0 551 48 0 551 49 0 551 50 0 551 51 0 968 52 0 968 53 0 968 54 0 968 55 0 968 56 0 228 57 0 800 58 0 800 59 0 800 60 0 968 61 0 968 62 0 968 63 0 968 64 0 968 65 0 1262 66 0 1262 67 0 1262 68 0 1262 69 0 1262 70 0 668 71 0 336 72 0 336 73 0 17 74 0 1056 75 0 1093 76 0 1093 77 0 1093 78 0 1093 79 0 1034 80 0 1034 81 0 1034 82 0 71194 -1 -68 0 71194 -1 -2 0 71194 -1 -3 0 71194 -2 -69 0 71194 -2 -3 0 71194 -2 -11 0 71194 -2 -20 0 71194 -2 -32 0 71194 -2 -33 0 71194 -3 -11 0 71194 -3 -20 0 71194 -3 -32 0 71194 -3 -33 0 71194 -3 -19 0 71194 -3 -47 0 71194 -4 -5 0 71194 -4 -7 0 71194 -4 -8 0 71194 -4 -16 0 71194 -4 -17 0 71194 -4 -18 0 71194 -4 -26 0 71194 -4 -28 0 71194 -4 -38 0 71194 -4 -39 0 71194 -4 -40 0 71194 -4 -41 0 71194 -4 -49 0 71194 -4 -51 0 71194 -4 -60 0 71194 -4 -81 0 71194 -4 -6 0 71194 -4 -27 0 71194 -4 -50 0 71194 -5 -7 0 71194 -5 -8 0 71194 -5 -16 0 71194 -5 -17 0 71194 -5 -18 0 71194 -5 -26 0 71194 -5 -28 0 71194 -5 -38 0 71194 -5 -39 0 71194 -5 -40 0 71194 -5 -41 0 71194 -5 -49 0 71194 -5 -51 0 71194 -5 -60 0 71194 -5 -81 0 71194 -5 -6 0 71194 -5 -27 0 71194 -5 -50 0 71194 -5 -36 0 71194 -5 -70 0 71194 -6 -7 0 71194 -6 -30 0 71194 -6 -40 0 71194 -6 -41 0 71194 -6 -42 0 71194 -6 -67 0 71194 -6 -68 0 71194 -6 -69 0 71194 -6 -70 0 71194 -6 -8 0 71194 -6 -17 0 71194 -6 -27 0 71194 -6 -28 0 71194 -6 -50 0 71194 -6 -51 0 71194 -6 -37 0 71194 -7 -8 0 71194 -7 -16 0 71194 -7 -17 0 71194 -7 -18 0 71194 -7 -26 0 71194 -7 -28 0 71194 -7 -38 0 71194 -7 -39 0 71194 -7 -40 0 71194 -7 -41 0 71194 -7 -49 0 71194 -7 -51 0 71194 -7 -60 0 71194 -7 -81 0 71194 -7 -30 0 71194 -7 -42 0 71194 -7 -67 0 71194 -7 -68 0 71194 -7 -69 0 71194 -7 -70 0 71194 -7 -27 0 71194 -7 -50 0 71194 -7 -21 0 71194 -7 -43 0 71194 -7 -82 0 71194 -8 -16 0 71194 -8 -17 0 71194 -8 -18 0 71194 -8 -26 0 71194 -8 -28 0 71194 -8 -38 0 71194 -8 -39 0 71194 -8 -40 0 71194 -8 -41 0 71194 -8 -49 0 71194 -8 -51 0 71194 -8 -60 0 71194 -8 -81 0 71194 -8 -27 0 71194 -8 -50 0 71194 -8 -36 0 71194 -8 -30 0 71194 -9 -11 0 71194 -9 -13 0 71194 -9 -25 0 71194 -9 -26 0 71194 -9 -27 0 71194 -9 -28 0 71194 -9 -66 0 71194 -9 -68 0 71194 -9 -70 0 71194 -9 -18 0 71194 -9 -34 0 71194 -9 -10 0 71194 -9 -12 0 71194 -10 -11 0 71194 -10 -34 0 71194 -10 -47 0 71194 -10 -48 0 71194 -10 -49 0 71194 -10 -50 0 71194 -10 -51 0 71194 -10 -69 0 71194 -10 -12 0 71194 -10 -13 0 71194 -11 -34 0 71194 -11 -47 0 71194 -11 -48 0 71194 -11 -49 0 71194 -11 -50 0 71194 -11 -51 0 71194 -11 -20 0 71194 -11 -32 0 71194 -11 -33 0 71194 -11 -13 0 71194 -11 -25 0 71194 -11 -26 0 71194 -11 -27 0 71194 -11 -28 0 71194 -11 -66 0 71194 -11 -68 0 71194 -11 -70 0 71194 -11 -12 0 71194 -12 -13 0 71194 -12 -29 0 71194 -12 -71 0 71194 -12 -24 0 71194 -13 -29 0 71194 -13 -71 0 71194 -13 -25 0 71194 -13 -26 0 71194 -13 -27 0 71194 -13 -28 0 71194 -13 -66 0 71194 -13 -68 0 71194 -13 -70 0 71194 -13 -18 0 71194 -13 -34 0 71194 -13 -16 0 71194 -13 -48 0 71194 -13 -49 0 71194 -13 -59 0 71194 -13 -60 0 71194 -13 -50 0 71194 -14 -15 0 71194 -14 -16 0 71194 -14 -17 0 71194 -14 -18 0 71194 -15 -16 0 71194 -15 -17 0 71194 -15 -19 0 71194 -15 -58 0 71194 -15 -18 0 71194 -16 -17 0 71194 -16 -18 0 71194 -16 -26 0 71194 -16 -28 0 71194 -16 -38 0 71194 -16 -39 0 71194 -16 -40 0 71194 -16 -41 0 71194 -16 -49 0 71194 -16 -51 0 71194 -16 -60 0 71194 -16 -25 0 71194 -16 -48 0 71194 -16 -59 0 71194 -16 -19 0 71194 -16 -46 0 71194 -17 -18 0 71194 -17 -26 0 71194 -17 -28 0 71194 -17 -38 0 71194 -17 -39 0 71194 -17 -40 0 71194 -17 -41 0 71194 -17 -49 0 71194 -17 -51 0 71194 -17 -60 0 71194 -17 -27 0 71194 -17 -50 0 71194 -17 -19 0 71194 -17 -46 0 71194 -17 -59 0 71194 -18 -26 0 71194 -18 -28 0 71194 -18 -38 0 71194 -18 -39 0 71194 -18 -40 0 71194 -18 -41 0 71194 -18 -49 0 71194 -18 -51 0 71194 -18 -60 0 71194 -18 -25 0 71194 -18 -27 0 71194 -18 -34 0 71194 -18 -48 0 71194 -18 -59 0 71194 -18 -20 0 71194 -19 -33 0 71194 -19 -47 0 71194 -19 -20 0 71194 -20 -32 0 71194 -20 -33 0 71194 -21 -38 0 71194 -21 -43 0 71194 -21 -82 0 71194 -22 -39 0 71194 -22 -66 0 71194 -22 -23 0 71194 -22 -35 0 71194 -22 -30 0 71194 -23 -35 0 71194 -24 -25 0 71194 -24 -26 0 71194 -24 -27 0 71194 -24 -28 0 71194 -25 -26 0 71194 -25 -27 0 71194 -25 -28 0 71194 -25 -66 0 71194 -25 -68 0 71194 -25 -70 0 71194 -25 -34 0 71194 -25 -48 0 71194 -25 -49 0 71194 -25 -59 0 71194 -25 -60 0 71194 -25 -50 0 71194 -26 -28 0 71194 -26 -38 0 71194 -26 -39 0 71194 -26 -40 0 71194 -26 -41 0 71194 -26 -49 0 71194 -26 -51 0 71194 -26 -60 0 71194 -26 -27 0 71194 -26 -66 0 71194 -26 -68 0 71194 -26 -70 0 71194 -26 -34 0 71194 -26 -29 0 71194 -26 -58 0 71194 -26 -81 0 71194 -26 -48 0 71194 -26 -59 0 71194 -27 -28 0 71194 -27 -66 0 71194 -27 -68 0 71194 -27 -70 0 71194 -27 -50 0 71194 -27 -51 0 71194 -27 -34 0 71194 -27 -48 0 71194 -27 -59 0 71194 -28 -38 0 71194 -28 -39 0 71194 -28 -40 0 71194 -28 -41 0 71194 -28 -49 0 71194 -28 -51 0 71194 -28 -60 0 71194 -28 -66 0 71194 -28 -68 0 71194 -28 -70 0 71194 -28 -50 0 71194 -28 -34 0 71194 -28 -29 0 71194 -28 -58 0 71194 -28 -81 0 71194 -29 -71 0 71194 -29 -49 0 71194 -29 -51 0 71194 -29 -58 0 71194 -29 -60 0 71194 -29 -81 0 71194 -30 -40 0 71194 -30 -41 0 71194 -30 -42 0 71194 -30 -67 0 71194 -30 -68 0 71194 -30 -69 0 71194 -30 -70 0 71194 -31 -75 0 71194 -31 -80 0 71194 -31 -81 0 71194 -31 -43 0 71194 -32 -33 0 71194 -32 -34 0 71194 -32 -35 0 71194 -32 -36 0 71194 -33 -47 0 71194 -33 -34 0 71194 -33 -35 0 71194 -33 -36 0 71194 -34 -47 0 71194 -34 -48 0 71194 -34 -49 0 71194 -34 -50 0 71194 -34 -51 0 71194 -34 -35 0 71194 -34 -36 0 71194 -35 -36 0 71194 -35 -66 0 71194 -35 -70 0 71194 -36 -39 0 71194 -36 -41 0 71194 -36 -66 0 71194 -36 -70 0 71194 -37 -38 0 71194 -37 -39 0 71194 -37 -40 0 71194 -37 -41 0 71194 -38 -39 0 71194 -38 -40 0 71194 -38 -41 0 71194 -38 -49 0 71194 -38 -51 0 71194 -38 -60 0 71194 -38 -81 0 71194 -38 -43 0 71194 -38 -82 0 71194 -39 -40 0 71194 -39 -41 0 71194 -39 -49 0 71194 -39 -51 0 71194 -39 -60 0 71194 -39 -81 0 71194 -39 -66 0 71194 -40 -41 0 71194 -40 -49 0 71194 -40 -51 0 71194 -40 -60 0 71194 -40 -81 0 71194 -40 -42 0 71194 -40 -67 0 71194 -40 -68 0 71194 -40 -69 0 71194 -40 -70 0 71194 -41 -49 0 71194 -41 -51 0 71194 -41 -60 0 71194 -41 -81 0 71194 -41 -42 0 71194 -41 -67 0 71194 -41 -68 0 71194 -41 -69 0 71194 -41 -70 0 71194 -42 -67 0 71194 -42 -68 0 71194 -42 -69 0 71194 -42 -70 0 71194 -43 -82 0 71194 -44 -45 0 71194 -44 -46 0 71194 -44 -47 0 71194 -45 -46 0 71194 -45 -47 0 71194 -45 -53 0 71194 -45 -56 0 71194 -45 -62 0 71194 -45 -65 0 71194 -45 -73 0 71194 -45 -77 0 71194 -46 -47 0 71194 -46 -53 0 71194 -46 -56 0 71194 -46 -62 0 71194 -46 -65 0 71194 -46 -73 0 71194 -46 -77 0 71194 -46 -59 0 71194 -46 -60 0 71194 -47 -48 0 71194 -47 -49 0 71194 -47 -50 0 71194 -47 -51 0 71194 -47 -53 0 71194 -47 -56 0 71194 -47 -62 0 71194 -47 -65 0 71194 -47 -73 0 71194 -47 -77 0 71194 -48 -49 0 71194 -48 -50 0 71194 -48 -51 0 71194 -48 -59 0 71194 -48 -60 0 71194 -49 -51 0 71194 -49 -60 0 71194 -49 -50 0 71194 -49 -58 0 71194 -49 -81 0 71194 -49 -59 0 71194 -50 -51 0 71194 -50 -59 0 71194 -51 -60 0 71194 -51 -58 0 71194 -51 -81 0 71194 -52 -53 0 71194 -52 -57 0 71194 -52 -61 0 71194 -52 -62 0 71194 -52 -79 0 71194 -52 -55 0 71194 -52 -56 0 71194 -52 -64 0 71194 -52 -65 0 71194 -52 -76 0 71194 -52 -77 0 71194 -52 -72 0 71194 -52 -54 0 71194 -53 -57 0 71194 -53 -61 0 71194 -53 -62 0 71194 -53 -79 0 71194 -53 -56 0 71194 -53 -65 0 71194 -53 -73 0 71194 -53 -77 0 71194 -53 -55 0 71194 -53 -64 0 71194 -53 -76 0 71194 -53 -54 0 71194 -54 -55 0 71194 -54 -56 0 71194 -54 -63 0 71194 -54 -64 0 71194 -54 -65 0 71194 -54 -79 0 71194 -54 -78 0 71194 -55 -56 0 71194 -55 -63 0 71194 -55 -64 0 71194 -55 -65 0 71194 -55 -79 0 71194 -55 -78 0 71194 -55 -61 0 71194 -55 -62 0 71194 -55 -76 0 71194 -55 -77 0 71194 -55 -72 0 71194 -56 -63 0 71194 -56 -64 0 71194 -56 -65 0 71194 -56 -79 0 71194 -56 -62 0 71194 -56 -73 0 71194 -56 -77 0 71194 -56 -78 0 71194 -56 -57 0 71194 -56 -61 0 71194 -56 -76 0 71194 -57 -61 0 71194 -57 -62 0 71194 -57 -79 0 71194 -57 -65 0 71194 -57 -73 0 71194 -57 -77 0 71194 -58 -59 0 71194 -58 -60 0 71194 -58 -81 0 71194 -59 -60 0 71194 -60 -81 0 71194 -61 -62 0 71194 -61 -79 0 71194 -61 -64 0 71194 -61 -65 0 71194 -61 -76 0 71194 -61 -77 0 71194 -61 -72 0 71194 -61 -63 0 71194 -62 -79 0 71194 -62 -65 0 71194 -62 -73 0 71194 -62 -77 0 71194 -62 -64 0 71194 -62 -76 0 71194 -62 -63 0 71194 -63 -64 0 71194 -63 -65 0 71194 -63 -79 0 71194 -63 -78 0 71194 -64 -65 0 71194 -64 -79 0 71194 -64 -78 0 71194 -64 -76 0 71194 -64 -77 0 71194 -64 -72 0 71194 -65 -79 0 71194 -65 -73 0 71194 -65 -77 0 71194 -65 -78 0 71194 -65 -76 0 71194 -66 -68 0 71194 -66 -70 0 71194 -66 -67 0 71194 -66 -69 0 71194 -67 -68 0 71194 -67 -69 0 71194 -67 -70 0 71194 -68 -69 0 71194 -68 -70 0 71194 -69 -70 0 71194 -72 -76 0 71194 -72 -73 0 71194 -73 -77 0 71194 -74 -75 0 71194 -75 -80 0 71194 -75 -82 0 71194 -75 -81 0 71194 -76 -77 0 71194 -76 -78 0 71194 -76 -79 0 71194 -77 -78 0 71194 -77 -79 0 71194 -78 -79 0 71194 -80 -82 0 71194 -80 -81 0 71194 -81 -82 0