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 63340 p wcnf 70 598 63340 902 1 0 902 2 0 902 3 0 902 4 0 902 5 0 189 6 0 483 7 0 483 8 0 298 9 0 492 10 0 575 11 0 1015 12 0 1015 13 0 1015 14 0 1015 15 0 1015 16 0 1059 17 0 1059 18 0 1059 19 0 1059 20 0 1059 21 0 1134 22 0 1134 23 0 1134 24 0 1134 25 0 1134 26 0 798 27 0 798 28 0 1132 29 0 1132 30 0 1132 31 0 1132 32 0 175 33 0 890 34 0 890 35 0 956 36 0 956 37 0 956 38 0 956 39 0 451 40 0 236 41 0 1237 42 0 1237 43 0 1237 44 0 1237 45 0 1237 46 0 1123 47 0 404 48 0 404 49 0 1068 50 0 1068 51 0 1068 52 0 1068 53 0 1068 54 0 1285 55 0 1285 56 0 1285 57 0 1285 58 0 1285 59 0 758 60 0 758 61 0 758 62 0 758 63 0 504 64 0 842 65 0 842 66 0 597 67 0 597 68 0 604 69 0 780 70 0 63340 -1 -4 0 63340 -1 -5 0 63340 -1 -39 0 63340 -1 -63 0 63340 -1 -2 0 63340 -1 -68 0 63340 -1 -3 0 63340 -2 -39 0 63340 -2 -63 0 63340 -2 -8 0 63340 -2 -12 0 63340 -2 -38 0 63340 -2 -49 0 63340 -2 -52 0 63340 -2 -59 0 63340 -2 -62 0 63340 -2 -68 0 63340 -2 -3 0 63340 -2 -4 0 63340 -2 -5 0 63340 -3 -4 0 63340 -3 -5 0 63340 -3 -67 0 63340 -3 -10 0 63340 -3 -34 0 63340 -3 -35 0 63340 -3 -68 0 63340 -4 -5 0 63340 -4 -39 0 63340 -4 -63 0 63340 -4 -67 0 63340 -5 -39 0 63340 -5 -63 0 63340 -5 -67 0 63340 -5 -10 0 63340 -5 -34 0 63340 -5 -35 0 63340 -5 -68 0 63340 -5 -7 0 63340 -5 -8 0 63340 -6 -33 0 63340 -6 -48 0 63340 -6 -49 0 63340 -7 -14 0 63340 -7 -23 0 63340 -7 -24 0 63340 -7 -25 0 63340 -7 -26 0 63340 -7 -28 0 63340 -7 -38 0 63340 -7 -39 0 63340 -7 -45 0 63340 -7 -46 0 63340 -7 -49 0 63340 -7 -50 0 63340 -7 -53 0 63340 -7 -59 0 63340 -7 -62 0 63340 -7 -63 0 63340 -7 -8 0 63340 -8 -12 0 63340 -8 -38 0 63340 -8 -49 0 63340 -8 -52 0 63340 -8 -59 0 63340 -8 -62 0 63340 -8 -37 0 63340 -8 -48 0 63340 -8 -58 0 63340 -8 -61 0 63340 -9 -20 0 63340 -9 -21 0 63340 -9 -29 0 63340 -9 -30 0 63340 -9 -31 0 63340 -9 -32 0 63340 -9 -70 0 63340 -10 -34 0 63340 -10 -35 0 63340 -10 -67 0 63340 -10 -68 0 63340 -11 -32 0 63340 -11 -35 0 63340 -11 -69 0 63340 -11 -70 0 63340 -11 -24 0 63340 -11 -26 0 63340 -11 -40 0 63340 -11 -45 0 63340 -11 -50 0 63340 -11 -52 0 63340 -11 -58 0 63340 -11 -59 0 63340 -11 -66 0 63340 -12 -38 0 63340 -12 -49 0 63340 -12 -52 0 63340 -12 -59 0 63340 -12 -62 0 63340 -12 -14 0 63340 -12 -28 0 63340 -12 -45 0 63340 -12 -46 0 63340 -12 -50 0 63340 -12 -53 0 63340 -12 -13 0 63340 -12 -15 0 63340 -12 -16 0 63340 -13 -14 0 63340 -13 -15 0 63340 -13 -16 0 63340 -14 -15 0 63340 -14 -16 0 63340 -14 -23 0 63340 -14 -24 0 63340 -14 -25 0 63340 -14 -26 0 63340 -14 -28 0 63340 -14 -38 0 63340 -14 -39 0 63340 -14 -45 0 63340 -14 -46 0 63340 -14 -49 0 63340 -14 -50 0 63340 -14 -53 0 63340 -14 -59 0 63340 -14 -62 0 63340 -14 -63 0 63340 -14 -52 0 63340 -15 -16 0 63340 -15 -28 0 63340 -15 -45 0 63340 -15 -46 0 63340 -15 -50 0 63340 -15 -52 0 63340 -15 -53 0 63340 -15 -41 0 63340 -15 -43 0 63340 -15 -44 0 63340 -15 -54 0 63340 -15 -18 0 63340 -15 -20 0 63340 -15 -29 0 63340 -16 -28 0 63340 -16 -45 0 63340 -16 -46 0 63340 -16 -50 0 63340 -16 -52 0 63340 -16 -53 0 63340 -16 -19 0 63340 -16 -21 0 63340 -16 -30 0 63340 -16 -41 0 63340 -16 -43 0 63340 -16 -44 0 63340 -16 -54 0 63340 -16 -17 0 63340 -16 -31 0 63340 -16 -32 0 63340 -16 -34 0 63340 -16 -35 0 63340 -17 -19 0 63340 -17 -21 0 63340 -17 -30 0 63340 -17 -31 0 63340 -17 -32 0 63340 -17 -34 0 63340 -17 -35 0 63340 -17 -18 0 63340 -17 -20 0 63340 -18 -19 0 63340 -18 -23 0 63340 -18 -24 0 63340 -18 -25 0 63340 -18 -20 0 63340 -18 -29 0 63340 -18 -21 0 63340 -19 -21 0 63340 -19 -30 0 63340 -19 -23 0 63340 -19 -24 0 63340 -19 -25 0 63340 -19 -31 0 63340 -19 -32 0 63340 -19 -34 0 63340 -19 -35 0 63340 -19 -20 0 63340 -20 -21 0 63340 -20 -29 0 63340 -20 -30 0 63340 -20 -31 0 63340 -20 -32 0 63340 -20 -70 0 63340 -21 -30 0 63340 -21 -29 0 63340 -21 -31 0 63340 -21 -32 0 63340 -21 -70 0 63340 -21 -34 0 63340 -21 -35 0 63340 -22 -23 0 63340 -22 -24 0 63340 -22 -25 0 63340 -22 -26 0 63340 -23 -24 0 63340 -23 -25 0 63340 -23 -26 0 63340 -23 -28 0 63340 -23 -38 0 63340 -23 -39 0 63340 -23 -45 0 63340 -23 -46 0 63340 -23 -49 0 63340 -23 -50 0 63340 -23 -53 0 63340 -23 -59 0 63340 -23 -62 0 63340 -23 -63 0 63340 -23 -37 0 63340 -23 -40 0 63340 -23 -48 0 63340 -23 -52 0 63340 -23 -58 0 63340 -23 -61 0 63340 -23 -65 0 63340 -23 -66 0 63340 -24 -25 0 63340 -24 -26 0 63340 -24 -28 0 63340 -24 -38 0 63340 -24 -39 0 63340 -24 -45 0 63340 -24 -46 0 63340 -24 -49 0 63340 -24 -50 0 63340 -24 -53 0 63340 -24 -59 0 63340 -24 -62 0 63340 -24 -63 0 63340 -24 -40 0 63340 -24 -52 0 63340 -24 -58 0 63340 -24 -66 0 63340 -24 -37 0 63340 -24 -48 0 63340 -24 -61 0 63340 -24 -65 0 63340 -24 -64 0 63340 -25 -26 0 63340 -25 -28 0 63340 -25 -38 0 63340 -25 -39 0 63340 -25 -45 0 63340 -25 -46 0 63340 -25 -49 0 63340 -25 -50 0 63340 -25 -53 0 63340 -25 -59 0 63340 -25 -62 0 63340 -25 -63 0 63340 -26 -28 0 63340 -26 -38 0 63340 -26 -39 0 63340 -26 -45 0 63340 -26 -46 0 63340 -26 -49 0 63340 -26 -50 0 63340 -26 -53 0 63340 -26 -59 0 63340 -26 -62 0 63340 -26 -63 0 63340 -26 -40 0 63340 -26 -52 0 63340 -26 -58 0 63340 -26 -66 0 63340 -26 -37 0 63340 -26 -48 0 63340 -26 -61 0 63340 -26 -65 0 63340 -27 -51 0 63340 -27 -28 0 63340 -28 -45 0 63340 -28 -46 0 63340 -28 -50 0 63340 -28 -52 0 63340 -28 -53 0 63340 -28 -38 0 63340 -28 -39 0 63340 -28 -49 0 63340 -28 -59 0 63340 -28 -62 0 63340 -28 -63 0 63340 -28 -37 0 63340 -28 -40 0 63340 -28 -48 0 63340 -28 -58 0 63340 -28 -61 0 63340 -28 -65 0 63340 -28 -66 0 63340 -29 -30 0 63340 -29 -31 0 63340 -29 -32 0 63340 -29 -70 0 63340 -30 -31 0 63340 -30 -32 0 63340 -30 -70 0 63340 -30 -34 0 63340 -30 -35 0 63340 -31 -32 0 63340 -31 -70 0 63340 -31 -35 0 63340 -31 -34 0 63340 -32 -70 0 63340 -32 -35 0 63340 -32 -69 0 63340 -32 -34 0 63340 -33 -48 0 63340 -33 -49 0 63340 -34 -35 0 63340 -34 -67 0 63340 -34 -68 0 63340 -35 -69 0 63340 -35 -70 0 63340 -35 -67 0 63340 -35 -68 0 63340 -36 -37 0 63340 -36 -38 0 63340 -36 -39 0 63340 -36 -47 0 63340 -36 -60 0 63340 -37 -48 0 63340 -37 -52 0 63340 -37 -58 0 63340 -37 -61 0 63340 -37 -38 0 63340 -37 -39 0 63340 -37 -47 0 63340 -37 -40 0 63340 -37 -45 0 63340 -37 -46 0 63340 -37 -49 0 63340 -37 -50 0 63340 -37 -53 0 63340 -37 -59 0 63340 -37 -62 0 63340 -37 -63 0 63340 -37 -65 0 63340 -37 -66 0 63340 -38 -49 0 63340 -38 -52 0 63340 -38 -59 0 63340 -38 -62 0 63340 -38 -39 0 63340 -38 -45 0 63340 -38 -46 0 63340 -38 -50 0 63340 -38 -53 0 63340 -38 -63 0 63340 -38 -47 0 63340 -38 -40 0 63340 -38 -48 0 63340 -38 -58 0 63340 -38 -61 0 63340 -38 -65 0 63340 -38 -66 0 63340 -39 -63 0 63340 -39 -45 0 63340 -39 -46 0 63340 -39 -49 0 63340 -39 -50 0 63340 -39 -53 0 63340 -39 -59 0 63340 -39 -62 0 63340 -39 -47 0 63340 -39 -40 0 63340 -39 -48 0 63340 -39 -52 0 63340 -39 -58 0 63340 -39 -61 0 63340 -39 -65 0 63340 -39 -66 0 63340 -40 -45 0 63340 -40 -50 0 63340 -40 -52 0 63340 -40 -58 0 63340 -40 -59 0 63340 -40 -66 0 63340 -40 -46 0 63340 -40 -48 0 63340 -40 -49 0 63340 -40 -53 0 63340 -40 -61 0 63340 -40 -62 0 63340 -40 -63 0 63340 -40 -65 0 63340 -41 -43 0 63340 -41 -44 0 63340 -41 -54 0 63340 -42 -44 0 63340 -42 -46 0 63340 -42 -56 0 63340 -42 -57 0 63340 -42 -43 0 63340 -42 -45 0 63340 -43 -44 0 63340 -43 -54 0 63340 -43 -45 0 63340 -43 -46 0 63340 -44 -46 0 63340 -44 -56 0 63340 -44 -57 0 63340 -44 -54 0 63340 -44 -45 0 63340 -45 -46 0 63340 -45 -50 0 63340 -45 -52 0 63340 -45 -53 0 63340 -45 -49 0 63340 -45 -59 0 63340 -45 -62 0 63340 -45 -63 0 63340 -45 -58 0 63340 -45 -66 0 63340 -45 -48 0 63340 -45 -61 0 63340 -45 -65 0 63340 -46 -50 0 63340 -46 -52 0 63340 -46 -53 0 63340 -46 -49 0 63340 -46 -59 0 63340 -46 -62 0 63340 -46 -63 0 63340 -46 -56 0 63340 -46 -57 0 63340 -46 -48 0 63340 -46 -58 0 63340 -46 -61 0 63340 -46 -65 0 63340 -46 -66 0 63340 -48 -52 0 63340 -48 -58 0 63340 -48 -61 0 63340 -48 -49 0 63340 -48 -50 0 63340 -48 -53 0 63340 -48 -59 0 63340 -48 -62 0 63340 -48 -63 0 63340 -48 -65 0 63340 -48 -66 0 63340 -49 -52 0 63340 -49 -59 0 63340 -49 -62 0 63340 -49 -50 0 63340 -49 -53 0 63340 -49 -63 0 63340 -49 -58 0 63340 -49 -61 0 63340 -49 -65 0 63340 -49 -66 0 63340 -50 -52 0 63340 -50 -53 0 63340 -50 -59 0 63340 -50 -62 0 63340 -50 -63 0 63340 -50 -58 0 63340 -50 -66 0 63340 -50 -61 0 63340 -50 -65 0 63340 -50 -51 0 63340 -50 -54 0 63340 -51 -53 0 63340 -51 -52 0 63340 -51 -54 0 63340 -52 -59 0 63340 -52 -62 0 63340 -52 -53 0 63340 -52 -58 0 63340 -52 -61 0 63340 -52 -66 0 63340 -52 -63 0 63340 -52 -65 0 63340 -52 -54 0 63340 -53 -59 0 63340 -53 -62 0 63340 -53 -63 0 63340 -53 -58 0 63340 -53 -61 0 63340 -53 -65 0 63340 -53 -66 0 63340 -53 -54 0 63340 -55 -56 0 63340 -55 -57 0 63340 -55 -58 0 63340 -55 -59 0 63340 -56 -57 0 63340 -56 -58 0 63340 -56 -59 0 63340 -57 -58 0 63340 -57 -59 0 63340 -58 -61 0 63340 -58 -59 0 63340 -58 -66 0 63340 -58 -62 0 63340 -58 -63 0 63340 -58 -65 0 63340 -59 -62 0 63340 -59 -63 0 63340 -59 -66 0 63340 -59 -61 0 63340 -59 -65 0 63340 -60 -61 0 63340 -60 -62 0 63340 -60 -63 0 63340 -61 -62 0 63340 -61 -63 0 63340 -61 -65 0 63340 -61 -66 0 63340 -62 -63 0 63340 -62 -65 0 63340 -62 -66 0 63340 -63 -65 0 63340 -63 -66 0 63340 -64 -66 0 63340 -65 -66 0 63340 -67 -68 0 63340 -69 -70 0