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 54014 p wcnf 72 605 54014 875 1 0 875 2 0 875 3 0 875 4 0 875 5 0 857 6 0 857 7 0 1081 8 0 1081 9 0 805 10 0 805 11 0 805 12 0 805 13 0 805 14 0 865 15 0 865 16 0 865 17 0 865 18 0 865 19 0 413 20 0 413 21 0 413 22 0 413 23 0 413 24 0 893 25 0 893 26 0 893 27 0 893 28 0 893 29 0 220 30 0 415 31 0 790 32 0 790 33 0 790 34 0 790 35 0 790 36 0 974 37 0 974 38 0 974 39 0 974 40 0 974 41 0 800 42 0 800 43 0 800 44 0 800 45 0 800 46 0 489 47 0 489 48 0 949 49 0 949 50 0 949 51 0 949 52 0 949 53 0 310 54 0 636 55 0 636 56 0 636 57 0 636 58 0 520 59 0 520 60 0 251 61 0 106 62 0 658 63 0 685 64 0 685 65 0 351 66 0 926 67 0 926 68 0 48 69 0 1058 70 0 1058 71 0 1058 72 0 54014 -1 -2 0 54014 -1 -4 0 54014 -1 -17 0 54014 -1 -19 0 54014 -1 -24 0 54014 -1 -43 0 54014 -1 -46 0 54014 -1 -54 0 54014 -1 -68 0 54014 -1 -3 0 54014 -1 -5 0 54014 -1 -18 0 54014 -1 -22 0 54014 -1 -23 0 54014 -1 -30 0 54014 -1 -53 0 54014 -1 -69 0 54014 -1 -15 0 54014 -1 -16 0 54014 -2 -4 0 54014 -2 -17 0 54014 -2 -19 0 54014 -2 -24 0 54014 -2 -43 0 54014 -2 -46 0 54014 -2 -54 0 54014 -2 -68 0 54014 -2 -22 0 54014 -2 -23 0 54014 -2 -30 0 54014 -2 -53 0 54014 -2 -3 0 54014 -2 -5 0 54014 -2 -18 0 54014 -2 -69 0 54014 -3 -4 0 54014 -3 -10 0 54014 -3 -11 0 54014 -3 -13 0 54014 -3 -14 0 54014 -3 -28 0 54014 -3 -29 0 54014 -3 -36 0 54014 -3 -44 0 54014 -3 -65 0 54014 -3 -5 0 54014 -3 -17 0 54014 -3 -18 0 54014 -3 -19 0 54014 -3 -22 0 54014 -3 -23 0 54014 -3 -24 0 54014 -3 -30 0 54014 -3 -43 0 54014 -3 -46 0 54014 -3 -53 0 54014 -3 -54 0 54014 -3 -69 0 54014 -3 -15 0 54014 -3 -16 0 54014 -4 -17 0 54014 -4 -19 0 54014 -4 -24 0 54014 -4 -43 0 54014 -4 -46 0 54014 -4 -54 0 54014 -4 -68 0 54014 -4 -48 0 54014 -4 -10 0 54014 -4 -11 0 54014 -4 -13 0 54014 -4 -14 0 54014 -4 -28 0 54014 -4 -29 0 54014 -4 -36 0 54014 -4 -44 0 54014 -4 -65 0 54014 -4 -5 0 54014 -4 -18 0 54014 -4 -22 0 54014 -4 -23 0 54014 -4 -30 0 54014 -4 -53 0 54014 -4 -69 0 54014 -4 -15 0 54014 -4 -16 0 54014 -5 -24 0 54014 -5 -17 0 54014 -5 -18 0 54014 -5 -19 0 54014 -5 -22 0 54014 -5 -23 0 54014 -5 -30 0 54014 -5 -43 0 54014 -5 -46 0 54014 -5 -53 0 54014 -5 -54 0 54014 -5 -69 0 54014 -5 -15 0 54014 -5 -16 0 54014 -6 -21 0 54014 -6 -23 0 54014 -6 -40 0 54014 -6 -42 0 54014 -6 -44 0 54014 -6 -46 0 54014 -6 -52 0 54014 -6 -71 0 54014 -6 -72 0 54014 -6 -31 0 54014 -6 -37 0 54014 -6 -38 0 54014 -6 -49 0 54014 -6 -50 0 54014 -6 -55 0 54014 -6 -59 0 54014 -6 -60 0 54014 -6 -63 0 54014 -6 -7 0 54014 -7 -21 0 54014 -7 -23 0 54014 -7 -30 0 54014 -7 -40 0 54014 -7 -43 0 54014 -7 -52 0 54014 -7 -54 0 54014 -7 -39 0 54014 -7 -41 0 54014 -7 -51 0 54014 -8 -9 0 54014 -8 -10 0 54014 -8 -11 0 54014 -8 -12 0 54014 -8 -13 0 54014 -8 -14 0 54014 -8 -31 0 54014 -8 -59 0 54014 -8 -60 0 54014 -8 -61 0 54014 -8 -26 0 54014 -8 -27 0 54014 -9 -10 0 54014 -9 -11 0 54014 -9 -12 0 54014 -9 -13 0 54014 -9 -14 0 54014 -9 -18 0 54014 -9 -19 0 54014 -10 -11 0 54014 -10 -12 0 54014 -10 -13 0 54014 -10 -14 0 54014 -10 -28 0 54014 -10 -29 0 54014 -11 -12 0 54014 -11 -13 0 54014 -11 -14 0 54014 -11 -28 0 54014 -11 -29 0 54014 -11 -36 0 54014 -11 -65 0 54014 -11 -35 0 54014 -11 -62 0 54014 -12 -13 0 54014 -12 -14 0 54014 -12 -16 0 54014 -12 -17 0 54014 -12 -35 0 54014 -12 -18 0 54014 -12 -19 0 54014 -13 -14 0 54014 -13 -28 0 54014 -13 -29 0 54014 -13 -36 0 54014 -13 -65 0 54014 -13 -16 0 54014 -13 -17 0 54014 -13 -35 0 54014 -13 -34 0 54014 -14 -28 0 54014 -14 -29 0 54014 -14 -34 0 54014 -14 -35 0 54014 -14 -45 0 54014 -14 -64 0 54014 -14 -36 0 54014 -14 -44 0 54014 -14 -65 0 54014 -14 -62 0 54014 -15 -16 0 54014 -15 -17 0 54014 -15 -18 0 54014 -15 -19 0 54014 -16 -17 0 54014 -16 -35 0 54014 -16 -18 0 54014 -16 -19 0 54014 -17 -19 0 54014 -17 -24 0 54014 -17 -43 0 54014 -17 -46 0 54014 -17 -54 0 54014 -17 -68 0 54014 -17 -48 0 54014 -17 -35 0 54014 -17 -18 0 54014 -17 -22 0 54014 -17 -23 0 54014 -17 -30 0 54014 -17 -53 0 54014 -17 -69 0 54014 -18 -19 0 54014 -18 -22 0 54014 -18 -23 0 54014 -18 -24 0 54014 -18 -30 0 54014 -18 -43 0 54014 -18 -46 0 54014 -18 -53 0 54014 -18 -54 0 54014 -18 -69 0 54014 -19 -24 0 54014 -19 -43 0 54014 -19 -46 0 54014 -19 -54 0 54014 -19 -68 0 54014 -19 -48 0 54014 -19 -22 0 54014 -19 -23 0 54014 -19 -30 0 54014 -19 -53 0 54014 -19 -69 0 54014 -20 -22 0 54014 -20 -24 0 54014 -20 -39 0 54014 -20 -41 0 54014 -20 -46 0 54014 -20 -51 0 54014 -20 -53 0 54014 -20 -21 0 54014 -20 -23 0 54014 -21 -23 0 54014 -21 -40 0 54014 -21 -42 0 54014 -21 -44 0 54014 -21 -46 0 54014 -21 -52 0 54014 -21 -71 0 54014 -21 -72 0 54014 -21 -30 0 54014 -21 -43 0 54014 -21 -54 0 54014 -21 -22 0 54014 -21 -24 0 54014 -22 -24 0 54014 -22 -39 0 54014 -22 -41 0 54014 -22 -46 0 54014 -22 -51 0 54014 -22 -53 0 54014 -22 -23 0 54014 -22 -30 0 54014 -22 -43 0 54014 -22 -54 0 54014 -22 -69 0 54014 -23 -40 0 54014 -23 -42 0 54014 -23 -44 0 54014 -23 -46 0 54014 -23 -52 0 54014 -23 -71 0 54014 -23 -72 0 54014 -23 -30 0 54014 -23 -43 0 54014 -23 -54 0 54014 -23 -24 0 54014 -23 -53 0 54014 -23 -69 0 54014 -24 -39 0 54014 -24 -41 0 54014 -24 -46 0 54014 -24 -51 0 54014 -24 -53 0 54014 -24 -43 0 54014 -24 -54 0 54014 -24 -68 0 54014 -24 -30 0 54014 -24 -69 0 54014 -25 -27 0 54014 -25 -29 0 54014 -25 -56 0 54014 -25 -26 0 54014 -25 -28 0 54014 -26 -28 0 54014 -26 -27 0 54014 -26 -29 0 54014 -27 -29 0 54014 -27 -56 0 54014 -27 -33 0 54014 -27 -34 0 54014 -27 -35 0 54014 -27 -36 0 54014 -27 -64 0 54014 -27 -65 0 54014 -27 -28 0 54014 -28 -29 0 54014 -28 -36 0 54014 -28 -44 0 54014 -28 -65 0 54014 -28 -34 0 54014 -28 -35 0 54014 -28 -64 0 54014 -28 -66 0 54014 -29 -56 0 54014 -29 -33 0 54014 -29 -34 0 54014 -29 -35 0 54014 -29 -36 0 54014 -29 -64 0 54014 -29 -65 0 54014 -29 -44 0 54014 -29 -66 0 54014 -30 -40 0 54014 -30 -43 0 54014 -30 -52 0 54014 -30 -54 0 54014 -30 -46 0 54014 -30 -53 0 54014 -30 -69 0 54014 -31 -59 0 54014 -31 -60 0 54014 -31 -61 0 54014 -31 -37 0 54014 -31 -38 0 54014 -31 -49 0 54014 -31 -50 0 54014 -31 -55 0 54014 -31 -71 0 54014 -31 -72 0 54014 -32 -33 0 54014 -32 -34 0 54014 -32 -35 0 54014 -32 -36 0 54014 -33 -34 0 54014 -33 -35 0 54014 -33 -36 0 54014 -33 -64 0 54014 -33 -65 0 54014 -34 -35 0 54014 -34 -36 0 54014 -34 -64 0 54014 -34 -65 0 54014 -34 -45 0 54014 -34 -66 0 54014 -35 -36 0 54014 -35 -64 0 54014 -35 -65 0 54014 -35 -45 0 54014 -35 -62 0 54014 -35 -66 0 54014 -36 -64 0 54014 -36 -65 0 54014 -36 -44 0 54014 -36 -66 0 54014 -37 -39 0 54014 -37 -40 0 54014 -37 -50 0 54014 -37 -58 0 54014 -37 -59 0 54014 -37 -72 0 54014 -37 -38 0 54014 -37 -49 0 54014 -37 -55 0 54014 -37 -60 0 54014 -37 -71 0 54014 -37 -63 0 54014 -37 -41 0 54014 -38 -41 0 54014 -38 -49 0 54014 -38 -51 0 54014 -38 -52 0 54014 -38 -55 0 54014 -38 -56 0 54014 -38 -58 0 54014 -38 -60 0 54014 -38 -50 0 54014 -38 -57 0 54014 -38 -59 0 54014 -38 -71 0 54014 -38 -72 0 54014 -38 -63 0 54014 -38 -39 0 54014 -38 -40 0 54014 -39 -41 0 54014 -39 -46 0 54014 -39 -51 0 54014 -39 -53 0 54014 -39 -40 0 54014 -39 -50 0 54014 -39 -58 0 54014 -39 -59 0 54014 -39 -72 0 54014 -39 -52 0 54014 -40 -42 0 54014 -40 -44 0 54014 -40 -46 0 54014 -40 -52 0 54014 -40 -71 0 54014 -40 -72 0 54014 -40 -43 0 54014 -40 -54 0 54014 -40 -50 0 54014 -40 -58 0 54014 -40 -59 0 54014 -40 -41 0 54014 -40 -51 0 54014 -41 -46 0 54014 -41 -51 0 54014 -41 -53 0 54014 -41 -49 0 54014 -41 -52 0 54014 -41 -55 0 54014 -41 -56 0 54014 -41 -58 0 54014 -41 -60 0 54014 -41 -50 0 54014 -41 -57 0 54014 -42 -44 0 54014 -42 -46 0 54014 -42 -52 0 54014 -42 -71 0 54014 -42 -72 0 54014 -42 -43 0 54014 -42 -45 0 54014 -43 -46 0 54014 -43 -54 0 54014 -43 -68 0 54014 -43 -52 0 54014 -43 -53 0 54014 -43 -69 0 54014 -43 -44 0 54014 -43 -45 0 54014 -44 -46 0 54014 -44 -52 0 54014 -44 -71 0 54014 -44 -72 0 54014 -44 -65 0 54014 -44 -45 0 54014 -45 -64 0 54014 -45 -46 0 54014 -46 -52 0 54014 -46 -71 0 54014 -46 -72 0 54014 -46 -51 0 54014 -46 -53 0 54014 -46 -54 0 54014 -46 -68 0 54014 -46 -69 0 54014 -47 -48 0 54014 -48 -68 0 54014 -49 -51 0 54014 -49 -52 0 54014 -49 -55 0 54014 -49 -56 0 54014 -49 -58 0 54014 -49 -60 0 54014 -49 -50 0 54014 -49 -59 0 54014 -49 -71 0 54014 -49 -72 0 54014 -49 -63 0 54014 -49 -53 0 54014 -50 -57 0 54014 -50 -60 0 54014 -50 -58 0 54014 -50 -59 0 54014 -50 -72 0 54014 -50 -55 0 54014 -50 -71 0 54014 -50 -63 0 54014 -50 -51 0 54014 -50 -52 0 54014 -50 -53 0 54014 -51 -53 0 54014 -51 -52 0 54014 -51 -55 0 54014 -51 -56 0 54014 -51 -58 0 54014 -51 -60 0 54014 -52 -71 0 54014 -52 -72 0 54014 -52 -54 0 54014 -52 -55 0 54014 -52 -56 0 54014 -52 -58 0 54014 -52 -60 0 54014 -52 -53 0 54014 -53 -54 0 54014 -53 -69 0 54014 -53 -68 0 54014 -54 -68 0 54014 -54 -69 0 54014 -55 -56 0 54014 -55 -58 0 54014 -55 -60 0 54014 -55 -59 0 54014 -55 -71 0 54014 -55 -72 0 54014 -55 -57 0 54014 -56 -58 0 54014 -56 -60 0 54014 -56 -57 0 54014 -57 -60 0 54014 -57 -58 0 54014 -58 -60 0 54014 -58 -59 0 54014 -58 -72 0 54014 -59 -72 0 54014 -59 -60 0 54014 -59 -61 0 54014 -59 -71 0 54014 -60 -61 0 54014 -60 -71 0 54014 -60 -72 0 54014 -63 -71 0 54014 -63 -72 0 54014 -64 -65 0 54014 -64 -66 0 54014 -65 -66 0 54014 -67 -68 0 54014 -70 -71 0 54014 -70 -72 0 54014 -71 -72 0