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 46343 p wcnf 70 442 46343 773 1 0 773 2 0 773 3 0 773 4 0 773 5 0 813 6 0 813 7 0 813 8 0 813 9 0 813 10 0 116 11 0 728 12 0 728 13 0 728 14 0 728 15 0 728 16 0 914 17 0 914 18 0 914 19 0 914 20 0 914 21 0 486 22 0 486 23 0 502 24 0 970 25 0 970 26 0 970 27 0 970 28 0 970 29 0 406 30 0 203 31 0 203 32 0 203 33 0 416 34 0 416 35 0 112 36 0 1051 37 0 1051 38 0 1051 39 0 1051 40 0 1051 41 0 367 42 0 367 43 0 356 44 0 475 45 0 475 46 0 475 47 0 475 48 0 475 49 0 792 50 0 792 51 0 792 52 0 792 53 0 792 54 0 720 55 0 720 56 0 738 57 0 738 58 0 738 59 0 374 60 0 535 61 0 535 62 0 535 63 0 539 64 0 539 65 0 539 66 0 162 67 0 410 68 0 410 69 0 891 70 0 46343 -1 -2 0 46343 -1 -4 0 46343 -1 -3 0 46343 -1 -5 0 46343 -2 -4 0 46343 -2 -5 0 46343 -2 -19 0 46343 -2 -21 0 46343 -2 -33 0 46343 -2 -34 0 46343 -2 -49 0 46343 -2 -32 0 46343 -2 -48 0 46343 -2 -3 0 46343 -3 -4 0 46343 -3 -20 0 46343 -3 -26 0 46343 -3 -33 0 46343 -3 -35 0 46343 -3 -46 0 46343 -3 -49 0 46343 -3 -5 0 46343 -4 -20 0 46343 -4 -26 0 46343 -4 -33 0 46343 -4 -35 0 46343 -4 -46 0 46343 -4 -49 0 46343 -4 -31 0 46343 -4 -45 0 46343 -4 -47 0 46343 -4 -5 0 46343 -5 -32 0 46343 -5 -35 0 46343 -5 -48 0 46343 -5 -19 0 46343 -5 -21 0 46343 -5 -33 0 46343 -5 -34 0 46343 -5 -49 0 46343 -6 -7 0 46343 -6 -8 0 46343 -6 -30 0 46343 -6 -9 0 46343 -6 -10 0 46343 -7 -8 0 46343 -7 -10 0 46343 -7 -13 0 46343 -7 -15 0 46343 -7 -30 0 46343 -7 -22 0 46343 -7 -23 0 46343 -7 -9 0 46343 -8 -12 0 46343 -8 -14 0 46343 -8 -15 0 46343 -8 -16 0 46343 -8 -30 0 46343 -8 -10 0 46343 -8 -13 0 46343 -8 -22 0 46343 -8 -23 0 46343 -8 -9 0 46343 -9 -10 0 46343 -10 -13 0 46343 -10 -15 0 46343 -10 -22 0 46343 -10 -23 0 46343 -11 -59 0 46343 -12 -14 0 46343 -12 -15 0 46343 -12 -16 0 46343 -12 -30 0 46343 -12 -28 0 46343 -12 -29 0 46343 -12 -38 0 46343 -12 -39 0 46343 -12 -44 0 46343 -12 -52 0 46343 -12 -53 0 46343 -12 -54 0 46343 -12 -13 0 46343 -13 -15 0 46343 -13 -14 0 46343 -13 -16 0 46343 -14 -15 0 46343 -14 -16 0 46343 -14 -30 0 46343 -14 -28 0 46343 -14 -39 0 46343 -14 -50 0 46343 -14 -51 0 46343 -14 -56 0 46343 -15 -16 0 46343 -15 -30 0 46343 -16 -30 0 46343 -16 -25 0 46343 -16 -27 0 46343 -16 -36 0 46343 -16 -37 0 46343 -16 -54 0 46343 -16 -28 0 46343 -16 -29 0 46343 -16 -38 0 46343 -16 -39 0 46343 -16 -44 0 46343 -16 -52 0 46343 -16 -53 0 46343 -17 -25 0 46343 -17 -28 0 46343 -17 -18 0 46343 -17 -19 0 46343 -17 -20 0 46343 -17 -21 0 46343 -18 -27 0 46343 -18 -29 0 46343 -18 -46 0 46343 -18 -19 0 46343 -18 -20 0 46343 -18 -21 0 46343 -18 -37 0 46343 -18 -39 0 46343 -18 -61 0 46343 -18 -45 0 46343 -18 -47 0 46343 -18 -48 0 46343 -18 -49 0 46343 -18 -64 0 46343 -18 -66 0 46343 -18 -69 0 46343 -19 -20 0 46343 -19 -45 0 46343 -19 -48 0 46343 -19 -49 0 46343 -19 -21 0 46343 -19 -33 0 46343 -19 -34 0 46343 -19 -27 0 46343 -19 -37 0 46343 -19 -39 0 46343 -19 -61 0 46343 -19 -32 0 46343 -19 -29 0 46343 -19 -46 0 46343 -19 -47 0 46343 -19 -64 0 46343 -19 -66 0 46343 -19 -69 0 46343 -20 -45 0 46343 -20 -48 0 46343 -20 -49 0 46343 -20 -26 0 46343 -20 -33 0 46343 -20 -35 0 46343 -20 -46 0 46343 -20 -21 0 46343 -20 -27 0 46343 -20 -37 0 46343 -20 -39 0 46343 -20 -61 0 46343 -20 -31 0 46343 -20 -47 0 46343 -20 -29 0 46343 -20 -64 0 46343 -20 -66 0 46343 -20 -69 0 46343 -21 -47 0 46343 -21 -64 0 46343 -21 -65 0 46343 -21 -66 0 46343 -21 -33 0 46343 -21 -34 0 46343 -21 -49 0 46343 -21 -27 0 46343 -21 -37 0 46343 -21 -39 0 46343 -21 -61 0 46343 -21 -32 0 46343 -21 -48 0 46343 -21 -29 0 46343 -21 -45 0 46343 -21 -46 0 46343 -21 -69 0 46343 -22 -23 0 46343 -23 -67 0 46343 -24 -58 0 46343 -24 -70 0 46343 -25 -27 0 46343 -25 -36 0 46343 -25 -37 0 46343 -25 -54 0 46343 -25 -28 0 46343 -25 -26 0 46343 -25 -29 0 46343 -26 -33 0 46343 -26 -35 0 46343 -26 -46 0 46343 -26 -49 0 46343 -26 -27 0 46343 -26 -28 0 46343 -26 -29 0 46343 -27 -36 0 46343 -27 -37 0 46343 -27 -54 0 46343 -27 -29 0 46343 -27 -46 0 46343 -27 -39 0 46343 -27 -61 0 46343 -27 -45 0 46343 -27 -47 0 46343 -27 -48 0 46343 -27 -49 0 46343 -27 -64 0 46343 -27 -66 0 46343 -27 -69 0 46343 -27 -28 0 46343 -28 -39 0 46343 -28 -50 0 46343 -28 -51 0 46343 -28 -56 0 46343 -28 -29 0 46343 -28 -38 0 46343 -28 -44 0 46343 -28 -52 0 46343 -28 -53 0 46343 -28 -54 0 46343 -29 -38 0 46343 -29 -39 0 46343 -29 -44 0 46343 -29 -52 0 46343 -29 -53 0 46343 -29 -54 0 46343 -29 -46 0 46343 -29 -45 0 46343 -29 -47 0 46343 -29 -48 0 46343 -29 -49 0 46343 -29 -64 0 46343 -29 -66 0 46343 -29 -69 0 46343 -31 -45 0 46343 -31 -47 0 46343 -31 -32 0 46343 -31 -33 0 46343 -32 -35 0 46343 -32 -48 0 46343 -32 -33 0 46343 -32 -49 0 46343 -33 -35 0 46343 -33 -46 0 46343 -33 -49 0 46343 -33 -34 0 46343 -33 -48 0 46343 -34 -49 0 46343 -34 -35 0 46343 -35 -46 0 46343 -35 -49 0 46343 -35 -48 0 46343 -36 -37 0 46343 -36 -54 0 46343 -37 -38 0 46343 -37 -39 0 46343 -37 -41 0 46343 -37 -54 0 46343 -37 -61 0 46343 -37 -40 0 46343 -38 -39 0 46343 -38 -41 0 46343 -38 -44 0 46343 -38 -52 0 46343 -38 -53 0 46343 -38 -54 0 46343 -38 -40 0 46343 -39 -41 0 46343 -39 -50 0 46343 -39 -51 0 46343 -39 -56 0 46343 -39 -44 0 46343 -39 -52 0 46343 -39 -53 0 46343 -39 -54 0 46343 -39 -61 0 46343 -39 -40 0 46343 -40 -58 0 46343 -40 -59 0 46343 -40 -41 0 46343 -41 -42 0 46343 -41 -62 0 46343 -41 -64 0 46343 -41 -52 0 46343 -41 -53 0 46343 -42 -62 0 46343 -42 -64 0 46343 -42 -43 0 46343 -43 -63 0 46343 -43 -66 0 46343 -43 -69 0 46343 -43 -51 0 46343 -43 -53 0 46343 -43 -65 0 46343 -44 -52 0 46343 -44 -53 0 46343 -44 -54 0 46343 -45 -48 0 46343 -45 -49 0 46343 -45 -47 0 46343 -45 -46 0 46343 -45 -64 0 46343 -45 -66 0 46343 -45 -69 0 46343 -46 -49 0 46343 -46 -47 0 46343 -46 -48 0 46343 -46 -64 0 46343 -46 -66 0 46343 -46 -69 0 46343 -47 -64 0 46343 -47 -65 0 46343 -47 -66 0 46343 -47 -48 0 46343 -47 -49 0 46343 -47 -69 0 46343 -48 -49 0 46343 -48 -64 0 46343 -48 -66 0 46343 -48 -69 0 46343 -49 -64 0 46343 -49 -66 0 46343 -49 -69 0 46343 -50 -51 0 46343 -50 -56 0 46343 -50 -54 0 46343 -50 -62 0 46343 -50 -63 0 46343 -50 -52 0 46343 -50 -53 0 46343 -51 -56 0 46343 -51 -53 0 46343 -51 -63 0 46343 -51 -65 0 46343 -51 -66 0 46343 -51 -54 0 46343 -51 -62 0 46343 -51 -60 0 46343 -51 -52 0 46343 -52 -53 0 46343 -52 -54 0 46343 -53 -63 0 46343 -53 -65 0 46343 -53 -66 0 46343 -53 -54 0 46343 -53 -60 0 46343 -54 -62 0 46343 -54 -63 0 46343 -55 -56 0 46343 -57 -58 0 46343 -57 -59 0 46343 -58 -59 0 46343 -61 -62 0 46343 -61 -63 0 46343 -62 -64 0 46343 -62 -63 0 46343 -63 -66 0 46343 -63 -69 0 46343 -63 -65 0 46343 -64 -65 0 46343 -64 -66 0 46343 -64 -69 0 46343 -65 -66 0 46343 -65 -68 0 46343 -66 -69 0 46343 -68 -69 0