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 49051 p wcnf 70 610 49051 908 1 0 908 2 0 908 3 0 908 4 0 908 5 0 801 6 0 943 7 0 943 8 0 943 9 0 780 10 0 780 11 0 780 12 0 780 13 0 780 14 0 500 15 0 500 16 0 507 17 0 507 18 0 771 19 0 628 20 0 628 21 0 628 22 0 556 23 0 556 24 0 479 25 0 428 26 0 428 27 0 428 28 0 428 29 0 428 30 0 1003 31 0 1003 32 0 1003 33 0 1003 34 0 1003 35 0 479 36 0 920 37 0 920 38 0 102 39 0 102 40 0 102 41 0 670 42 0 670 43 0 670 44 0 670 45 0 670 46 0 453 47 0 453 48 0 875 49 0 875 50 0 875 51 0 875 52 0 875 53 0 316 54 0 316 55 0 913 56 0 913 57 0 913 58 0 490 59 0 884 60 0 884 61 0 884 62 0 884 63 0 884 64 0 572 65 0 572 66 0 721 67 0 721 68 0 721 69 0 721 70 0 49051 -1 -56 0 49051 -1 -58 0 49051 -1 -2 0 49051 -1 -3 0 49051 -1 -4 0 49051 -1 -5 0 49051 -2 -3 0 49051 -2 -4 0 49051 -2 -5 0 49051 -3 -4 0 49051 -3 -5 0 49051 -3 -38 0 49051 -4 -20 0 49051 -4 -37 0 49051 -4 -57 0 49051 -4 -59 0 49051 -4 -66 0 49051 -4 -5 0 49051 -4 -38 0 49051 -4 -53 0 49051 -5 -38 0 49051 -5 -26 0 49051 -5 -30 0 49051 -5 -15 0 49051 -5 -16 0 49051 -6 -53 0 49051 -6 -65 0 49051 -6 -37 0 49051 -6 -57 0 49051 -6 -58 0 49051 -6 -59 0 49051 -6 -31 0 49051 -6 -32 0 49051 -6 -33 0 49051 -6 -34 0 49051 -6 -35 0 49051 -6 -66 0 49051 -7 -9 0 49051 -7 -13 0 49051 -7 -22 0 49051 -7 -39 0 49051 -7 -41 0 49051 -7 -43 0 49051 -7 -46 0 49051 -7 -61 0 49051 -7 -63 0 49051 -7 -67 0 49051 -7 -69 0 49051 -7 -8 0 49051 -7 -12 0 49051 -7 -42 0 49051 -7 -64 0 49051 -8 -40 0 49051 -8 -45 0 49051 -8 -62 0 49051 -8 -64 0 49051 -8 -68 0 49051 -8 -70 0 49051 -8 -9 0 49051 -8 -44 0 49051 -8 -46 0 49051 -8 -63 0 49051 -9 -13 0 49051 -9 -22 0 49051 -9 -39 0 49051 -9 -41 0 49051 -9 -43 0 49051 -9 -46 0 49051 -9 -61 0 49051 -9 -63 0 49051 -9 -67 0 49051 -9 -69 0 49051 -9 -16 0 49051 -9 -29 0 49051 -9 -30 0 49051 -9 -44 0 49051 -9 -55 0 49051 -9 -64 0 49051 -9 -70 0 49051 -9 -45 0 49051 -9 -62 0 49051 -10 -11 0 49051 -10 -12 0 49051 -10 -13 0 49051 -10 -14 0 49051 -10 -18 0 49051 -10 -31 0 49051 -10 -32 0 49051 -10 -33 0 49051 -10 -34 0 49051 -10 -35 0 49051 -10 -50 0 49051 -10 -52 0 49051 -10 -66 0 49051 -10 -20 0 49051 -10 -21 0 49051 -10 -22 0 49051 -10 -28 0 49051 -10 -37 0 49051 -10 -38 0 49051 -10 -47 0 49051 -10 -48 0 49051 -10 -54 0 49051 -10 -55 0 49051 -11 -12 0 49051 -11 -13 0 49051 -11 -14 0 49051 -11 -18 0 49051 -11 -31 0 49051 -11 -32 0 49051 -11 -33 0 49051 -11 -34 0 49051 -11 -35 0 49051 -11 -50 0 49051 -11 -52 0 49051 -11 -66 0 49051 -11 -60 0 49051 -12 -13 0 49051 -12 -14 0 49051 -12 -18 0 49051 -12 -31 0 49051 -12 -32 0 49051 -12 -33 0 49051 -12 -34 0 49051 -12 -35 0 49051 -12 -50 0 49051 -12 -52 0 49051 -12 -66 0 49051 -12 -48 0 49051 -12 -61 0 49051 -12 -62 0 49051 -12 -63 0 49051 -12 -64 0 49051 -12 -42 0 49051 -12 -43 0 49051 -13 -14 0 49051 -13 -18 0 49051 -13 -31 0 49051 -13 -32 0 49051 -13 -33 0 49051 -13 -34 0 49051 -13 -35 0 49051 -13 -50 0 49051 -13 -52 0 49051 -13 -66 0 49051 -13 -22 0 49051 -13 -39 0 49051 -13 -41 0 49051 -13 -43 0 49051 -13 -46 0 49051 -13 -61 0 49051 -13 -63 0 49051 -13 -67 0 49051 -13 -69 0 49051 -13 -48 0 49051 -13 -62 0 49051 -13 -64 0 49051 -13 -42 0 49051 -14 -18 0 49051 -14 -31 0 49051 -14 -32 0 49051 -14 -33 0 49051 -14 -34 0 49051 -14 -35 0 49051 -14 -50 0 49051 -14 -52 0 49051 -14 -66 0 49051 -14 -20 0 49051 -14 -21 0 49051 -14 -22 0 49051 -14 -28 0 49051 -14 -37 0 49051 -14 -38 0 49051 -14 -47 0 49051 -14 -48 0 49051 -14 -54 0 49051 -14 -55 0 49051 -14 -61 0 49051 -14 -62 0 49051 -14 -63 0 49051 -14 -64 0 49051 -15 -26 0 49051 -15 -27 0 49051 -15 -28 0 49051 -15 -40 0 49051 -15 -41 0 49051 -15 -54 0 49051 -15 -68 0 49051 -15 -69 0 49051 -15 -16 0 49051 -15 -38 0 49051 -16 -21 0 49051 -16 -22 0 49051 -16 -30 0 49051 -16 -39 0 49051 -16 -55 0 49051 -16 -67 0 49051 -16 -70 0 49051 -16 -29 0 49051 -16 -41 0 49051 -16 -44 0 49051 -16 -46 0 49051 -16 -63 0 49051 -16 -64 0 49051 -16 -69 0 49051 -16 -38 0 49051 -17 -49 0 49051 -17 -51 0 49051 -17 -18 0 49051 -18 -50 0 49051 -18 -52 0 49051 -18 -53 0 49051 -18 -31 0 49051 -18 -32 0 49051 -18 -33 0 49051 -18 -34 0 49051 -18 -35 0 49051 -18 -66 0 49051 -19 -32 0 49051 -19 -36 0 49051 -20 -37 0 49051 -20 -57 0 49051 -20 -59 0 49051 -20 -66 0 49051 -20 -21 0 49051 -20 -22 0 49051 -20 -28 0 49051 -20 -38 0 49051 -20 -47 0 49051 -20 -48 0 49051 -20 -54 0 49051 -20 -55 0 49051 -21 -22 0 49051 -21 -30 0 49051 -21 -39 0 49051 -21 -55 0 49051 -21 -67 0 49051 -21 -70 0 49051 -21 -28 0 49051 -21 -37 0 49051 -21 -38 0 49051 -21 -47 0 49051 -21 -48 0 49051 -21 -54 0 49051 -21 -27 0 49051 -21 -68 0 49051 -21 -69 0 49051 -21 -42 0 49051 -21 -44 0 49051 -22 -39 0 49051 -22 -41 0 49051 -22 -43 0 49051 -22 -46 0 49051 -22 -61 0 49051 -22 -63 0 49051 -22 -67 0 49051 -22 -69 0 49051 -22 -30 0 49051 -22 -55 0 49051 -22 -70 0 49051 -22 -28 0 49051 -22 -37 0 49051 -22 -38 0 49051 -22 -47 0 49051 -22 -48 0 49051 -22 -54 0 49051 -22 -27 0 49051 -22 -68 0 49051 -22 -45 0 49051 -23 -35 0 49051 -23 -60 0 49051 -23 -61 0 49051 -23 -62 0 49051 -23 -63 0 49051 -23 -64 0 49051 -23 -67 0 49051 -23 -68 0 49051 -23 -69 0 49051 -23 -70 0 49051 -23 -24 0 49051 -25 -51 0 49051 -25 -52 0 49051 -25 -36 0 49051 -26 -27 0 49051 -26 -28 0 49051 -26 -40 0 49051 -26 -41 0 49051 -26 -54 0 49051 -26 -68 0 49051 -26 -69 0 49051 -26 -30 0 49051 -26 -29 0 49051 -27 -28 0 49051 -27 -40 0 49051 -27 -41 0 49051 -27 -54 0 49051 -27 -68 0 49051 -27 -69 0 49051 -27 -38 0 49051 -27 -55 0 49051 -27 -67 0 49051 -27 -70 0 49051 -27 -29 0 49051 -27 -30 0 49051 -28 -40 0 49051 -28 -41 0 49051 -28 -54 0 49051 -28 -68 0 49051 -28 -69 0 49051 -28 -37 0 49051 -28 -38 0 49051 -28 -47 0 49051 -28 -48 0 49051 -28 -55 0 49051 -28 -67 0 49051 -28 -70 0 49051 -28 -29 0 49051 -28 -30 0 49051 -29 -30 0 49051 -29 -41 0 49051 -29 -44 0 49051 -29 -46 0 49051 -29 -55 0 49051 -29 -63 0 49051 -29 -64 0 49051 -29 -69 0 49051 -29 -70 0 49051 -30 -39 0 49051 -30 -55 0 49051 -30 -67 0 49051 -30 -70 0 49051 -30 -41 0 49051 -30 -44 0 49051 -30 -46 0 49051 -30 -63 0 49051 -30 -64 0 49051 -30 -69 0 49051 -31 -32 0 49051 -31 -33 0 49051 -31 -34 0 49051 -31 -35 0 49051 -31 -50 0 49051 -31 -52 0 49051 -31 -66 0 49051 -31 -65 0 49051 -32 -33 0 49051 -32 -34 0 49051 -32 -35 0 49051 -32 -50 0 49051 -32 -52 0 49051 -32 -66 0 49051 -32 -65 0 49051 -32 -36 0 49051 -32 -49 0 49051 -32 -51 0 49051 -33 -34 0 49051 -33 -35 0 49051 -33 -50 0 49051 -33 -52 0 49051 -33 -66 0 49051 -33 -65 0 49051 -33 -49 0 49051 -33 -51 0 49051 -34 -35 0 49051 -34 -50 0 49051 -34 -52 0 49051 -34 -66 0 49051 -34 -51 0 49051 -34 -65 0 49051 -34 -49 0 49051 -35 -50 0 49051 -35 -52 0 49051 -35 -66 0 49051 -35 -65 0 49051 -35 -49 0 49051 -35 -51 0 49051 -36 -49 0 49051 -36 -50 0 49051 -36 -53 0 49051 -37 -57 0 49051 -37 -59 0 49051 -37 -66 0 49051 -37 -58 0 49051 -37 -38 0 49051 -37 -47 0 49051 -37 -48 0 49051 -37 -54 0 49051 -37 -55 0 49051 -38 -56 0 49051 -38 -47 0 49051 -38 -48 0 49051 -38 -54 0 49051 -38 -55 0 49051 -38 -67 0 49051 -38 -68 0 49051 -38 -69 0 49051 -38 -70 0 49051 -39 -41 0 49051 -39 -43 0 49051 -39 -46 0 49051 -39 -61 0 49051 -39 -63 0 49051 -39 -67 0 49051 -39 -69 0 49051 -39 -55 0 49051 -39 -70 0 49051 -39 -40 0 49051 -40 -45 0 49051 -40 -62 0 49051 -40 -64 0 49051 -40 -68 0 49051 -40 -70 0 49051 -40 -41 0 49051 -40 -54 0 49051 -40 -69 0 49051 -41 -43 0 49051 -41 -46 0 49051 -41 -61 0 49051 -41 -63 0 49051 -41 -67 0 49051 -41 -69 0 49051 -41 -54 0 49051 -41 -68 0 49051 -41 -44 0 49051 -41 -55 0 49051 -41 -64 0 49051 -41 -70 0 49051 -42 -44 0 49051 -42 -43 0 49051 -42 -61 0 49051 -42 -64 0 49051 -42 -45 0 49051 -42 -46 0 49051 -43 -46 0 49051 -43 -61 0 49051 -43 -63 0 49051 -43 -67 0 49051 -43 -69 0 49051 -43 -45 0 49051 -43 -64 0 49051 -43 -44 0 49051 -44 -46 0 49051 -44 -55 0 49051 -44 -63 0 49051 -44 -64 0 49051 -44 -69 0 49051 -44 -70 0 49051 -44 -45 0 49051 -44 -62 0 49051 -45 -62 0 49051 -45 -64 0 49051 -45 -68 0 49051 -45 -70 0 49051 -45 -46 0 49051 -45 -63 0 49051 -46 -61 0 49051 -46 -63 0 49051 -46 -67 0 49051 -46 -69 0 49051 -46 -55 0 49051 -46 -64 0 49051 -46 -70 0 49051 -46 -62 0 49051 -47 -48 0 49051 -47 -54 0 49051 -47 -55 0 49051 -48 -54 0 49051 -48 -55 0 49051 -48 -61 0 49051 -48 -62 0 49051 -48 -63 0 49051 -48 -64 0 49051 -49 -50 0 49051 -49 -53 0 49051 -49 -51 0 49051 -49 -52 0 49051 -50 -52 0 49051 -50 -53 0 49051 -50 -66 0 49051 -50 -51 0 49051 -51 -52 0 49051 -51 -53 0 49051 -52 -53 0 49051 -52 -66 0 49051 -53 -65 0 49051 -54 -68 0 49051 -54 -69 0 49051 -54 -55 0 49051 -54 -67 0 49051 -54 -70 0 49051 -55 -67 0 49051 -55 -70 0 49051 -55 -63 0 49051 -55 -64 0 49051 -55 -69 0 49051 -55 -68 0 49051 -56 -58 0 49051 -56 -57 0 49051 -57 -59 0 49051 -57 -66 0 49051 -57 -58 0 49051 -58 -59 0 49051 -59 -66 0 49051 -60 -61 0 49051 -60 -62 0 49051 -60 -63 0 49051 -60 -64 0 49051 -60 -67 0 49051 -60 -68 0 49051 -60 -69 0 49051 -60 -70 0 49051 -61 -62 0 49051 -61 -63 0 49051 -61 -64 0 49051 -61 -67 0 49051 -61 -69 0 49051 -61 -68 0 49051 -61 -70 0 49051 -62 -63 0 49051 -62 -64 0 49051 -62 -68 0 49051 -62 -70 0 49051 -62 -67 0 49051 -62 -69 0 49051 -63 -64 0 49051 -63 -69 0 49051 -63 -70 0 49051 -63 -67 0 49051 -63 -68 0 49051 -64 -69 0 49051 -64 -70 0 49051 -64 -68 0 49051 -64 -67 0 49051 -65 -66 0 49051 -67 -68 0 49051 -67 -69 0 49051 -67 -70 0 49051 -68 -69 0 49051 -68 -70 0 49051 -69 -70 0