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 56346 p wcnf 71 566 56346 1031 1 0 817 2 0 817 3 0 817 4 0 817 5 0 817 6 0 1031 7 0 723 8 0 723 9 0 723 10 0 723 11 0 723 12 0 918 13 0 918 14 0 918 15 0 334 16 0 334 17 0 714 18 0 794 19 0 201 20 0 1185 21 0 1185 22 0 1185 23 0 1185 24 0 1185 25 0 365 26 0 654 27 0 87 28 0 1199 29 0 1199 30 0 1048 31 0 1048 32 0 506 33 0 506 34 0 506 35 0 750 36 0 822 37 0 822 38 0 822 39 0 313 40 0 602 41 0 602 42 0 602 43 0 602 44 0 602 45 0 1163 46 0 1163 47 0 1163 48 0 1163 49 0 1163 50 0 750 51 0 750 52 0 723 53 0 723 54 0 723 55 0 723 56 0 723 57 0 1031 58 0 620 59 0 620 60 0 617 61 0 942 62 0 942 63 0 942 64 0 856 65 0 856 66 0 856 67 0 856 68 0 856 69 0 473 70 0 473 71 0 56346 -1 -39 0 56346 -1 -7 0 56346 -1 -58 0 56346 -2 -14 0 56346 -2 -27 0 56346 -2 -66 0 56346 -2 -67 0 56346 -2 -3 0 56346 -2 -5 0 56346 -2 -6 0 56346 -2 -18 0 56346 -2 -23 0 56346 -2 -24 0 56346 -2 -52 0 56346 -2 -65 0 56346 -2 -68 0 56346 -2 -25 0 56346 -2 -4 0 56346 -2 -29 0 56346 -2 -32 0 56346 -2 -69 0 56346 -3 -14 0 56346 -3 -18 0 56346 -3 -40 0 56346 -3 -45 0 56346 -3 -68 0 56346 -3 -13 0 56346 -3 -15 0 56346 -3 -19 0 56346 -3 -42 0 56346 -3 -43 0 56346 -3 -5 0 56346 -3 -6 0 56346 -3 -23 0 56346 -3 -24 0 56346 -3 -52 0 56346 -3 -65 0 56346 -3 -66 0 56346 -3 -67 0 56346 -3 -25 0 56346 -3 -4 0 56346 -3 -29 0 56346 -3 -32 0 56346 -3 -69 0 56346 -4 -5 0 56346 -4 -6 0 56346 -4 -18 0 56346 -4 -24 0 56346 -4 -29 0 56346 -4 -32 0 56346 -4 -65 0 56346 -4 -66 0 56346 -4 -67 0 56346 -4 -68 0 56346 -4 -69 0 56346 -4 -10 0 56346 -4 -13 0 56346 -4 -14 0 56346 -4 -17 0 56346 -4 -19 0 56346 -4 -36 0 56346 -4 -38 0 56346 -4 -39 0 56346 -4 -50 0 56346 -4 -55 0 56346 -5 -6 0 56346 -5 -18 0 56346 -5 -23 0 56346 -5 -24 0 56346 -5 -52 0 56346 -5 -65 0 56346 -5 -66 0 56346 -5 -67 0 56346 -5 -68 0 56346 -5 -29 0 56346 -5 -32 0 56346 -5 -69 0 56346 -5 -10 0 56346 -5 -13 0 56346 -5 -14 0 56346 -5 -17 0 56346 -5 -19 0 56346 -5 -36 0 56346 -5 -38 0 56346 -5 -39 0 56346 -5 -50 0 56346 -5 -55 0 56346 -6 -12 0 56346 -6 -43 0 56346 -6 -57 0 56346 -6 -62 0 56346 -6 -66 0 56346 -6 -68 0 56346 -6 -69 0 56346 -6 -18 0 56346 -6 -23 0 56346 -6 -24 0 56346 -6 -52 0 56346 -6 -65 0 56346 -6 -67 0 56346 -6 -29 0 56346 -6 -32 0 56346 -7 -13 0 56346 -7 -14 0 56346 -7 -15 0 56346 -7 -39 0 56346 -7 -58 0 56346 -7 -46 0 56346 -7 -47 0 56346 -7 -48 0 56346 -7 -49 0 56346 -7 -50 0 56346 -7 -60 0 56346 -7 -71 0 56346 -8 -53 0 56346 -8 -27 0 56346 -8 -9 0 56346 -8 -10 0 56346 -8 -11 0 56346 -8 -12 0 56346 -9 -10 0 56346 -9 -27 0 56346 -9 -36 0 56346 -9 -42 0 56346 -9 -54 0 56346 -9 -55 0 56346 -9 -59 0 56346 -9 -63 0 56346 -9 -67 0 56346 -9 -11 0 56346 -9 -12 0 56346 -9 -56 0 56346 -9 -57 0 56346 -9 -61 0 56346 -9 -47 0 56346 -9 -49 0 56346 -9 -50 0 56346 -9 -15 0 56346 -9 -16 0 56346 -10 -27 0 56346 -10 -36 0 56346 -10 -42 0 56346 -10 -54 0 56346 -10 -55 0 56346 -10 -59 0 56346 -10 -63 0 56346 -10 -67 0 56346 -10 -15 0 56346 -10 -17 0 56346 -10 -50 0 56346 -10 -11 0 56346 -10 -12 0 56346 -10 -56 0 56346 -10 -57 0 56346 -10 -61 0 56346 -10 -47 0 56346 -10 -49 0 56346 -10 -13 0 56346 -10 -14 0 56346 -10 -19 0 56346 -10 -38 0 56346 -10 -39 0 56346 -10 -69 0 56346 -11 -12 0 56346 -11 -35 0 56346 -11 -43 0 56346 -11 -56 0 56346 -11 -57 0 56346 -11 -67 0 56346 -11 -54 0 56346 -11 -55 0 56346 -11 -61 0 56346 -12 -35 0 56346 -12 -43 0 56346 -12 -56 0 56346 -12 -57 0 56346 -12 -67 0 56346 -12 -62 0 56346 -12 -66 0 56346 -12 -68 0 56346 -12 -69 0 56346 -12 -54 0 56346 -12 -55 0 56346 -12 -61 0 56346 -12 -47 0 56346 -12 -49 0 56346 -12 -50 0 56346 -12 -15 0 56346 -12 -16 0 56346 -13 -14 0 56346 -13 -15 0 56346 -13 -39 0 56346 -13 -58 0 56346 -13 -19 0 56346 -13 -42 0 56346 -13 -43 0 56346 -13 -68 0 56346 -13 -36 0 56346 -13 -38 0 56346 -13 -64 0 56346 -13 -17 0 56346 -13 -50 0 56346 -13 -55 0 56346 -13 -69 0 56346 -14 -15 0 56346 -14 -39 0 56346 -14 -58 0 56346 -14 -18 0 56346 -14 -40 0 56346 -14 -45 0 56346 -14 -68 0 56346 -14 -27 0 56346 -14 -66 0 56346 -14 -67 0 56346 -14 -19 0 56346 -14 -36 0 56346 -14 -38 0 56346 -14 -64 0 56346 -14 -17 0 56346 -14 -50 0 56346 -14 -55 0 56346 -14 -69 0 56346 -15 -39 0 56346 -15 -58 0 56346 -15 -17 0 56346 -15 -50 0 56346 -15 -55 0 56346 -15 -19 0 56346 -15 -42 0 56346 -15 -43 0 56346 -15 -68 0 56346 -15 -16 0 56346 -15 -49 0 56346 -15 -54 0 56346 -15 -57 0 56346 -15 -36 0 56346 -15 -38 0 56346 -15 -64 0 56346 -16 -49 0 56346 -16 -54 0 56346 -16 -57 0 56346 -16 -17 0 56346 -17 -50 0 56346 -17 -55 0 56346 -17 -19 0 56346 -17 -36 0 56346 -17 -38 0 56346 -17 -39 0 56346 -17 -69 0 56346 -18 -40 0 56346 -18 -45 0 56346 -18 -68 0 56346 -18 -23 0 56346 -18 -24 0 56346 -18 -52 0 56346 -18 -65 0 56346 -18 -66 0 56346 -18 -67 0 56346 -18 -25 0 56346 -18 -29 0 56346 -18 -32 0 56346 -18 -69 0 56346 -19 -42 0 56346 -19 -43 0 56346 -19 -68 0 56346 -19 -36 0 56346 -19 -38 0 56346 -19 -39 0 56346 -19 -64 0 56346 -19 -50 0 56346 -19 -55 0 56346 -19 -69 0 56346 -20 -41 0 56346 -20 -42 0 56346 -20 -43 0 56346 -20 -59 0 56346 -21 -22 0 56346 -21 -23 0 56346 -21 -24 0 56346 -21 -25 0 56346 -22 -23 0 56346 -22 -24 0 56346 -22 -25 0 56346 -23 -30 0 56346 -23 -31 0 56346 -23 -24 0 56346 -23 -52 0 56346 -23 -65 0 56346 -23 -66 0 56346 -23 -67 0 56346 -23 -68 0 56346 -23 -25 0 56346 -24 -28 0 56346 -24 -30 0 56346 -24 -32 0 56346 -24 -52 0 56346 -24 -65 0 56346 -24 -66 0 56346 -24 -67 0 56346 -24 -68 0 56346 -24 -29 0 56346 -24 -69 0 56346 -24 -25 0 56346 -25 -66 0 56346 -25 -67 0 56346 -25 -68 0 56346 -25 -41 0 56346 -25 -42 0 56346 -25 -43 0 56346 -25 -44 0 56346 -25 -45 0 56346 -26 -34 0 56346 -26 -35 0 56346 -27 -36 0 56346 -27 -42 0 56346 -27 -54 0 56346 -27 -55 0 56346 -27 -59 0 56346 -27 -63 0 56346 -27 -67 0 56346 -27 -66 0 56346 -27 -53 0 56346 -28 -30 0 56346 -28 -32 0 56346 -29 -30 0 56346 -29 -32 0 56346 -29 -65 0 56346 -29 -66 0 56346 -29 -67 0 56346 -29 -68 0 56346 -29 -69 0 56346 -29 -31 0 56346 -30 -32 0 56346 -30 -31 0 56346 -31 -32 0 56346 -32 -65 0 56346 -32 -66 0 56346 -32 -67 0 56346 -32 -68 0 56346 -32 -69 0 56346 -33 -52 0 56346 -33 -70 0 56346 -33 -71 0 56346 -33 -34 0 56346 -33 -35 0 56346 -34 -62 0 56346 -34 -35 0 56346 -35 -43 0 56346 -35 -56 0 56346 -35 -57 0 56346 -35 -67 0 56346 -35 -63 0 56346 -36 -42 0 56346 -36 -54 0 56346 -36 -55 0 56346 -36 -59 0 56346 -36 -63 0 56346 -36 -67 0 56346 -36 -38 0 56346 -36 -39 0 56346 -36 -64 0 56346 -36 -50 0 56346 -36 -69 0 56346 -37 -62 0 56346 -37 -63 0 56346 -37 -38 0 56346 -37 -39 0 56346 -38 -64 0 56346 -38 -39 0 56346 -38 -50 0 56346 -38 -55 0 56346 -38 -69 0 56346 -39 -58 0 56346 -39 -64 0 56346 -39 -50 0 56346 -39 -55 0 56346 -39 -69 0 56346 -40 -45 0 56346 -40 -68 0 56346 -41 -42 0 56346 -41 -43 0 56346 -41 -59 0 56346 -41 -44 0 56346 -41 -45 0 56346 -42 -54 0 56346 -42 -55 0 56346 -42 -59 0 56346 -42 -63 0 56346 -42 -67 0 56346 -42 -43 0 56346 -42 -68 0 56346 -42 -44 0 56346 -42 -45 0 56346 -43 -56 0 56346 -43 -57 0 56346 -43 -67 0 56346 -43 -62 0 56346 -43 -66 0 56346 -43 -68 0 56346 -43 -69 0 56346 -43 -59 0 56346 -43 -44 0 56346 -43 -45 0 56346 -44 -45 0 56346 -45 -68 0 56346 -46 -47 0 56346 -46 -48 0 56346 -46 -49 0 56346 -46 -50 0 56346 -46 -60 0 56346 -46 -71 0 56346 -47 -49 0 56346 -47 -50 0 56346 -47 -48 0 56346 -47 -60 0 56346 -47 -71 0 56346 -47 -54 0 56346 -47 -55 0 56346 -47 -57 0 56346 -48 -49 0 56346 -48 -50 0 56346 -48 -60 0 56346 -48 -71 0 56346 -48 -59 0 56346 -49 -50 0 56346 -49 -60 0 56346 -49 -71 0 56346 -49 -54 0 56346 -49 -55 0 56346 -49 -57 0 56346 -49 -59 0 56346 -50 -55 0 56346 -50 -60 0 56346 -50 -71 0 56346 -50 -54 0 56346 -50 -57 0 56346 -50 -59 0 56346 -50 -69 0 56346 -51 -52 0 56346 -52 -70 0 56346 -52 -71 0 56346 -52 -65 0 56346 -52 -66 0 56346 -52 -67 0 56346 -52 -68 0 56346 -53 -54 0 56346 -53 -55 0 56346 -53 -56 0 56346 -53 -57 0 56346 -54 -55 0 56346 -54 -59 0 56346 -54 -63 0 56346 -54 -67 0 56346 -54 -56 0 56346 -54 -57 0 56346 -54 -61 0 56346 -55 -59 0 56346 -55 -63 0 56346 -55 -67 0 56346 -55 -56 0 56346 -55 -57 0 56346 -55 -61 0 56346 -55 -69 0 56346 -56 -57 0 56346 -56 -67 0 56346 -56 -61 0 56346 -57 -67 0 56346 -57 -62 0 56346 -57 -66 0 56346 -57 -68 0 56346 -57 -69 0 56346 -57 -61 0 56346 -58 -70 0 56346 -59 -63 0 56346 -59 -67 0 56346 -59 -60 0 56346 -60 -71 0 56346 -62 -66 0 56346 -62 -68 0 56346 -62 -69 0 56346 -62 -63 0 56346 -62 -64 0 56346 -63 -67 0 56346 -63 -64 0 56346 -65 -66 0 56346 -65 -67 0 56346 -65 -68 0 56346 -65 -69 0 56346 -66 -67 0 56346 -66 -68 0 56346 -66 -69 0 56346 -67 -68 0 56346 -67 -69 0 56346 -68 -69 0 56346 -70 -71 0