c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 70; Distribution: paths; Runs: 30; Seed: 1151601913 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 55351 p wcnf 70 540 55351 1064 1 0 1064 2 0 1064 3 0 1064 4 0 1064 5 0 800 6 0 800 7 0 800 8 0 840 9 0 741 10 0 741 11 0 741 12 0 741 13 0 741 14 0 559 15 0 945 16 0 945 17 0 945 18 0 945 19 0 158 20 0 837 21 0 837 22 0 837 23 0 837 24 0 837 25 0 798 26 0 798 27 0 798 28 0 798 29 0 798 30 0 677 31 0 677 32 0 677 33 0 677 34 0 677 35 0 765 36 0 765 37 0 765 38 0 765 39 0 765 40 0 88 41 0 89 42 0 988 43 0 988 44 0 988 45 0 988 46 0 988 47 0 869 48 0 869 49 0 869 50 0 869 51 0 869 52 0 914 53 0 914 54 0 914 55 0 914 56 0 914 57 0 885 58 0 885 59 0 885 60 0 885 61 0 695 62 0 695 63 0 695 64 0 695 65 0 695 66 0 83 67 0 691 68 0 691 69 0 691 70 0 55351 -1 -26 0 55351 -1 -28 0 55351 -1 -51 0 55351 -1 -5 0 55351 -1 -33 0 55351 -1 -35 0 55351 -1 -66 0 55351 -1 -2 0 55351 -1 -3 0 55351 -1 -4 0 55351 -2 -3 0 55351 -2 -7 0 55351 -2 -8 0 55351 -2 -9 0 55351 -2 -34 0 55351 -2 -35 0 55351 -2 -64 0 55351 -2 -67 0 55351 -2 -45 0 55351 -2 -4 0 55351 -2 -5 0 55351 -3 -7 0 55351 -3 -8 0 55351 -3 -9 0 55351 -3 -34 0 55351 -3 -35 0 55351 -3 -64 0 55351 -3 -67 0 55351 -3 -44 0 55351 -3 -45 0 55351 -3 -46 0 55351 -3 -47 0 55351 -3 -5 0 55351 -3 -4 0 55351 -4 -7 0 55351 -4 -5 0 55351 -5 -33 0 55351 -5 -35 0 55351 -5 -66 0 55351 -6 -31 0 55351 -6 -35 0 55351 -6 -45 0 55351 -6 -62 0 55351 -6 -63 0 55351 -6 -8 0 55351 -6 -41 0 55351 -6 -43 0 55351 -6 -44 0 55351 -6 -46 0 55351 -6 -7 0 55351 -6 -11 0 55351 -6 -12 0 55351 -6 -13 0 55351 -6 -14 0 55351 -6 -68 0 55351 -6 -69 0 55351 -7 -8 0 55351 -7 -9 0 55351 -7 -34 0 55351 -7 -35 0 55351 -7 -64 0 55351 -7 -67 0 55351 -7 -11 0 55351 -7 -12 0 55351 -7 -13 0 55351 -7 -14 0 55351 -7 -44 0 55351 -7 -68 0 55351 -7 -69 0 55351 -7 -46 0 55351 -8 -9 0 55351 -8 -34 0 55351 -8 -35 0 55351 -8 -64 0 55351 -8 -67 0 55351 -8 -41 0 55351 -8 -43 0 55351 -8 -44 0 55351 -8 -46 0 55351 -8 -33 0 55351 -8 -66 0 55351 -8 -11 0 55351 -8 -12 0 55351 -8 -13 0 55351 -8 -14 0 55351 -8 -68 0 55351 -8 -69 0 55351 -9 -34 0 55351 -9 -35 0 55351 -9 -64 0 55351 -9 -67 0 55351 -9 -45 0 55351 -10 -11 0 55351 -10 -16 0 55351 -10 -42 0 55351 -10 -54 0 55351 -10 -57 0 55351 -10 -68 0 55351 -10 -27 0 55351 -10 -28 0 55351 -10 -52 0 55351 -10 -12 0 55351 -10 -13 0 55351 -10 -14 0 55351 -11 -16 0 55351 -11 -26 0 55351 -11 -29 0 55351 -11 -30 0 55351 -11 -47 0 55351 -11 -49 0 55351 -11 -50 0 55351 -11 -51 0 55351 -11 -57 0 55351 -11 -68 0 55351 -11 -42 0 55351 -11 -54 0 55351 -11 -12 0 55351 -11 -13 0 55351 -11 -14 0 55351 -11 -44 0 55351 -11 -69 0 55351 -11 -58 0 55351 -12 -14 0 55351 -12 -17 0 55351 -12 -19 0 55351 -12 -69 0 55351 -12 -13 0 55351 -12 -44 0 55351 -12 -68 0 55351 -12 -53 0 55351 -12 -58 0 55351 -13 -14 0 55351 -13 -18 0 55351 -13 -19 0 55351 -13 -55 0 55351 -13 -56 0 55351 -13 -70 0 55351 -13 -44 0 55351 -13 -68 0 55351 -13 -69 0 55351 -13 -58 0 55351 -14 -17 0 55351 -14 -19 0 55351 -14 -69 0 55351 -14 -56 0 55351 -14 -18 0 55351 -14 -55 0 55351 -14 -70 0 55351 -14 -44 0 55351 -14 -68 0 55351 -14 -58 0 55351 -15 -21 0 55351 -15 -22 0 55351 -15 -23 0 55351 -15 -25 0 55351 -15 -36 0 55351 -15 -37 0 55351 -15 -38 0 55351 -15 -40 0 55351 -16 -26 0 55351 -16 -29 0 55351 -16 -30 0 55351 -16 -47 0 55351 -16 -49 0 55351 -16 -50 0 55351 -16 -51 0 55351 -16 -57 0 55351 -16 -68 0 55351 -16 -42 0 55351 -16 -54 0 55351 -16 -17 0 55351 -16 -18 0 55351 -16 -19 0 55351 -16 -44 0 55351 -16 -46 0 55351 -17 -19 0 55351 -17 -69 0 55351 -17 -18 0 55351 -17 -44 0 55351 -17 -46 0 55351 -17 -47 0 55351 -17 -53 0 55351 -18 -19 0 55351 -18 -55 0 55351 -18 -56 0 55351 -18 -70 0 55351 -18 -44 0 55351 -18 -46 0 55351 -18 -47 0 55351 -19 -69 0 55351 -19 -56 0 55351 -19 -55 0 55351 -19 -70 0 55351 -19 -44 0 55351 -19 -46 0 55351 -19 -47 0 55351 -20 -32 0 55351 -20 -33 0 55351 -20 -35 0 55351 -20 -39 0 55351 -20 -40 0 55351 -20 -61 0 55351 -20 -65 0 55351 -20 -66 0 55351 -21 -22 0 55351 -21 -23 0 55351 -21 -25 0 55351 -21 -36 0 55351 -21 -37 0 55351 -21 -38 0 55351 -21 -40 0 55351 -21 -24 0 55351 -22 -23 0 55351 -22 -25 0 55351 -22 -36 0 55351 -22 -37 0 55351 -22 -38 0 55351 -22 -40 0 55351 -22 -24 0 55351 -23 -25 0 55351 -23 -36 0 55351 -23 -37 0 55351 -23 -38 0 55351 -23 -40 0 55351 -23 -63 0 55351 -23 -65 0 55351 -23 -66 0 55351 -23 -24 0 55351 -24 -49 0 55351 -24 -50 0 55351 -24 -51 0 55351 -24 -52 0 55351 -24 -53 0 55351 -24 -55 0 55351 -24 -56 0 55351 -24 -57 0 55351 -24 -59 0 55351 -24 -60 0 55351 -24 -25 0 55351 -25 -36 0 55351 -25 -37 0 55351 -25 -38 0 55351 -25 -40 0 55351 -25 -60 0 55351 -25 -63 0 55351 -25 -65 0 55351 -25 -66 0 55351 -26 -29 0 55351 -26 -30 0 55351 -26 -47 0 55351 -26 -49 0 55351 -26 -50 0 55351 -26 -51 0 55351 -26 -57 0 55351 -26 -68 0 55351 -26 -28 0 55351 -26 -27 0 55351 -27 -28 0 55351 -27 -52 0 55351 -27 -29 0 55351 -27 -30 0 55351 -28 -52 0 55351 -28 -51 0 55351 -28 -29 0 55351 -28 -30 0 55351 -29 -30 0 55351 -29 -47 0 55351 -29 -49 0 55351 -29 -50 0 55351 -29 -51 0 55351 -29 -57 0 55351 -29 -68 0 55351 -29 -46 0 55351 -29 -61 0 55351 -29 -53 0 55351 -29 -55 0 55351 -29 -56 0 55351 -29 -59 0 55351 -29 -60 0 55351 -30 -47 0 55351 -30 -49 0 55351 -30 -50 0 55351 -30 -51 0 55351 -30 -57 0 55351 -30 -68 0 55351 -30 -61 0 55351 -30 -52 0 55351 -31 -35 0 55351 -31 -45 0 55351 -31 -62 0 55351 -31 -63 0 55351 -31 -34 0 55351 -31 -60 0 55351 -31 -61 0 55351 -31 -64 0 55351 -31 -32 0 55351 -31 -33 0 55351 -32 -33 0 55351 -32 -35 0 55351 -32 -39 0 55351 -32 -40 0 55351 -32 -61 0 55351 -32 -65 0 55351 -32 -66 0 55351 -32 -34 0 55351 -33 -34 0 55351 -33 -64 0 55351 -33 -66 0 55351 -33 -35 0 55351 -33 -39 0 55351 -33 -40 0 55351 -33 -61 0 55351 -33 -65 0 55351 -34 -35 0 55351 -34 -64 0 55351 -34 -67 0 55351 -34 -66 0 55351 -34 -60 0 55351 -34 -61 0 55351 -34 -63 0 55351 -34 -62 0 55351 -35 -64 0 55351 -35 -67 0 55351 -35 -45 0 55351 -35 -62 0 55351 -35 -63 0 55351 -35 -66 0 55351 -35 -39 0 55351 -35 -40 0 55351 -35 -61 0 55351 -35 -65 0 55351 -36 -37 0 55351 -36 -38 0 55351 -36 -40 0 55351 -36 -39 0 55351 -37 -38 0 55351 -37 -40 0 55351 -37 -60 0 55351 -37 -39 0 55351 -38 -40 0 55351 -38 -60 0 55351 -38 -39 0 55351 -39 -40 0 55351 -39 -61 0 55351 -39 -65 0 55351 -39 -66 0 55351 -40 -61 0 55351 -40 -65 0 55351 -40 -66 0 55351 -41 -43 0 55351 -41 -44 0 55351 -41 -46 0 55351 -42 -54 0 55351 -42 -57 0 55351 -42 -68 0 55351 -43 -44 0 55351 -43 -46 0 55351 -43 -45 0 55351 -43 -47 0 55351 -44 -46 0 55351 -44 -45 0 55351 -44 -47 0 55351 -44 -68 0 55351 -44 -69 0 55351 -45 -62 0 55351 -45 -63 0 55351 -45 -46 0 55351 -45 -47 0 55351 -46 -49 0 55351 -46 -57 0 55351 -46 -47 0 55351 -46 -58 0 55351 -46 -68 0 55351 -46 -69 0 55351 -47 -49 0 55351 -47 -50 0 55351 -47 -51 0 55351 -47 -57 0 55351 -47 -68 0 55351 -48 -54 0 55351 -48 -49 0 55351 -48 -50 0 55351 -48 -51 0 55351 -48 -52 0 55351 -49 -50 0 55351 -49 -51 0 55351 -49 -57 0 55351 -49 -68 0 55351 -49 -52 0 55351 -49 -53 0 55351 -49 -55 0 55351 -49 -56 0 55351 -49 -59 0 55351 -49 -60 0 55351 -49 -61 0 55351 -50 -51 0 55351 -50 -57 0 55351 -50 -68 0 55351 -50 -52 0 55351 -50 -53 0 55351 -50 -55 0 55351 -50 -56 0 55351 -50 -59 0 55351 -50 -60 0 55351 -51 -57 0 55351 -51 -68 0 55351 -51 -61 0 55351 -51 -52 0 55351 -51 -53 0 55351 -51 -55 0 55351 -51 -56 0 55351 -51 -59 0 55351 -51 -60 0 55351 -52 -53 0 55351 -52 -55 0 55351 -52 -56 0 55351 -52 -57 0 55351 -52 -59 0 55351 -52 -60 0 55351 -53 -56 0 55351 -53 -69 0 55351 -53 -55 0 55351 -53 -57 0 55351 -53 -59 0 55351 -53 -60 0 55351 -53 -61 0 55351 -53 -54 0 55351 -54 -57 0 55351 -54 -68 0 55351 -54 -55 0 55351 -54 -56 0 55351 -55 -56 0 55351 -55 -70 0 55351 -55 -57 0 55351 -55 -59 0 55351 -55 -60 0 55351 -55 -61 0 55351 -56 -70 0 55351 -56 -57 0 55351 -56 -59 0 55351 -56 -60 0 55351 -56 -61 0 55351 -57 -68 0 55351 -57 -59 0 55351 -57 -60 0 55351 -57 -61 0 55351 -58 -59 0 55351 -58 -60 0 55351 -58 -61 0 55351 -59 -60 0 55351 -59 -61 0 55351 -60 -61 0 55351 -60 -63 0 55351 -61 -63 0 55351 -61 -65 0 55351 -61 -66 0 55351 -62 -63 0 55351 -62 -64 0 55351 -62 -65 0 55351 -62 -66 0 55351 -63 -65 0 55351 -63 -66 0 55351 -63 -64 0 55351 -64 -67 0 55351 -64 -66 0 55351 -64 -65 0 55351 -65 -66 0 55351 -68 -69 0 55351 -68 -70 0 55351 -69 -70 0