c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 80; Distribution: paths; Runs: 30; Seed: 1151601914 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 61334 p wcnf 80 679 61334 1151 1 0 1151 2 0 1151 3 0 1151 4 0 1151 5 0 990 6 0 990 7 0 990 8 0 990 9 0 990 10 0 212 11 0 1191 12 0 1191 13 0 1191 14 0 1191 15 0 1191 16 0 552 17 0 552 18 0 552 19 0 617 20 0 735 21 0 735 22 0 1115 23 0 1115 24 0 1115 25 0 1115 26 0 1115 27 0 450 28 0 450 29 0 450 30 0 1013 31 0 936 32 0 936 33 0 936 34 0 936 35 0 319 36 0 714 37 0 714 38 0 714 39 0 714 40 0 714 41 0 412 42 0 673 43 0 673 44 0 673 45 0 673 46 0 464 47 0 833 48 0 833 49 0 833 50 0 833 51 0 833 52 0 565 53 0 565 54 0 1013 55 0 231 56 0 578 57 0 893 58 0 711 59 0 711 60 0 711 61 0 711 62 0 711 63 0 824 64 0 824 65 0 146 66 0 619 67 0 619 68 0 111 69 0 1109 70 0 1109 71 0 1109 72 0 339 73 0 339 74 0 133 75 0 815 76 0 815 77 0 214 78 0 214 79 0 675 80 0 61334 -1 -2 0 61334 -1 -6 0 61334 -1 -10 0 61334 -1 -39 0 61334 -1 -44 0 61334 -1 -45 0 61334 -1 -46 0 61334 -1 -55 0 61334 -1 -60 0 61334 -1 -61 0 61334 -1 -62 0 61334 -1 -63 0 61334 -1 -65 0 61334 -1 -3 0 61334 -1 -4 0 61334 -1 -5 0 61334 -2 -6 0 61334 -2 -10 0 61334 -2 -39 0 61334 -2 -44 0 61334 -2 -45 0 61334 -2 -46 0 61334 -2 -55 0 61334 -2 -60 0 61334 -2 -61 0 61334 -2 -62 0 61334 -2 -63 0 61334 -2 -7 0 61334 -2 -8 0 61334 -2 -9 0 61334 -2 -14 0 61334 -2 -16 0 61334 -2 -59 0 61334 -2 -65 0 61334 -2 -3 0 61334 -2 -4 0 61334 -2 -5 0 61334 -3 -4 0 61334 -3 -5 0 61334 -3 -14 0 61334 -3 -16 0 61334 -4 -65 0 61334 -4 -73 0 61334 -4 -20 0 61334 -4 -23 0 61334 -4 -24 0 61334 -4 -26 0 61334 -4 -30 0 61334 -4 -34 0 61334 -4 -50 0 61334 -4 -64 0 61334 -4 -67 0 61334 -4 -68 0 61334 -4 -70 0 61334 -4 -72 0 61334 -4 -80 0 61334 -4 -5 0 61334 -4 -16 0 61334 -4 -53 0 61334 -4 -78 0 61334 -4 -14 0 61334 -5 -74 0 61334 -5 -16 0 61334 -5 -53 0 61334 -5 -78 0 61334 -5 -27 0 61334 -5 -29 0 61334 -5 -33 0 61334 -5 -49 0 61334 -5 -71 0 61334 -5 -14 0 61334 -6 -10 0 61334 -6 -18 0 61334 -6 -33 0 61334 -6 -34 0 61334 -6 -35 0 61334 -6 -41 0 61334 -6 -46 0 61334 -6 -62 0 61334 -6 -63 0 61334 -6 -64 0 61334 -6 -66 0 61334 -6 -76 0 61334 -6 -77 0 61334 -6 -7 0 61334 -6 -9 0 61334 -6 -25 0 61334 -6 -39 0 61334 -6 -44 0 61334 -6 -45 0 61334 -6 -55 0 61334 -6 -60 0 61334 -6 -61 0 61334 -6 -8 0 61334 -7 -9 0 61334 -7 -10 0 61334 -7 -25 0 61334 -7 -77 0 61334 -7 -8 0 61334 -7 -14 0 61334 -7 -16 0 61334 -7 -45 0 61334 -7 -59 0 61334 -7 -61 0 61334 -7 -63 0 61334 -7 -13 0 61334 -7 -15 0 61334 -7 -43 0 61334 -8 -49 0 61334 -8 -50 0 61334 -8 -53 0 61334 -8 -54 0 61334 -8 -75 0 61334 -8 -11 0 61334 -8 -22 0 61334 -8 -24 0 61334 -8 -56 0 61334 -8 -68 0 61334 -8 -9 0 61334 -8 -37 0 61334 -8 -38 0 61334 -8 -39 0 61334 -8 -41 0 61334 -8 -51 0 61334 -8 -10 0 61334 -8 -14 0 61334 -8 -16 0 61334 -8 -45 0 61334 -8 -59 0 61334 -8 -61 0 61334 -8 -63 0 61334 -8 -13 0 61334 -8 -15 0 61334 -8 -43 0 61334 -9 -52 0 61334 -9 -37 0 61334 -9 -38 0 61334 -9 -39 0 61334 -9 -41 0 61334 -9 -51 0 61334 -9 -10 0 61334 -9 -25 0 61334 -9 -77 0 61334 -9 -14 0 61334 -9 -16 0 61334 -9 -45 0 61334 -9 -59 0 61334 -9 -61 0 61334 -9 -63 0 61334 -9 -13 0 61334 -9 -15 0 61334 -9 -43 0 61334 -10 -18 0 61334 -10 -33 0 61334 -10 -34 0 61334 -10 -35 0 61334 -10 -41 0 61334 -10 -46 0 61334 -10 -62 0 61334 -10 -63 0 61334 -10 -64 0 61334 -10 -66 0 61334 -10 -76 0 61334 -10 -77 0 61334 -10 -25 0 61334 -10 -39 0 61334 -10 -44 0 61334 -10 -45 0 61334 -10 -55 0 61334 -10 -60 0 61334 -10 -61 0 61334 -10 -14 0 61334 -10 -16 0 61334 -10 -59 0 61334 -11 -22 0 61334 -11 -24 0 61334 -11 -56 0 61334 -11 -68 0 61334 -12 -13 0 61334 -12 -14 0 61334 -12 -15 0 61334 -12 -16 0 61334 -13 -16 0 61334 -13 -29 0 61334 -13 -30 0 61334 -13 -42 0 61334 -13 -15 0 61334 -13 -32 0 61334 -13 -35 0 61334 -13 -47 0 61334 -13 -51 0 61334 -13 -58 0 61334 -13 -43 0 61334 -13 -59 0 61334 -13 -14 0 61334 -14 -54 0 61334 -14 -79 0 61334 -14 -16 0 61334 -14 -45 0 61334 -14 -59 0 61334 -14 -61 0 61334 -14 -63 0 61334 -14 -28 0 61334 -14 -15 0 61334 -15 -32 0 61334 -15 -33 0 61334 -15 -34 0 61334 -15 -35 0 61334 -15 -49 0 61334 -15 -50 0 61334 -15 -51 0 61334 -15 -47 0 61334 -15 -58 0 61334 -15 -43 0 61334 -15 -59 0 61334 -15 -16 0 61334 -16 -53 0 61334 -16 -78 0 61334 -16 -27 0 61334 -16 -29 0 61334 -16 -33 0 61334 -16 -49 0 61334 -16 -71 0 61334 -16 -30 0 61334 -16 -42 0 61334 -16 -45 0 61334 -16 -59 0 61334 -16 -61 0 61334 -16 -63 0 61334 -17 -19 0 61334 -17 -18 0 61334 -18 -33 0 61334 -18 -34 0 61334 -18 -35 0 61334 -18 -41 0 61334 -18 -46 0 61334 -18 -62 0 61334 -18 -63 0 61334 -18 -64 0 61334 -18 -66 0 61334 -18 -76 0 61334 -18 -77 0 61334 -18 -21 0 61334 -18 -70 0 61334 -18 -71 0 61334 -18 -72 0 61334 -18 -19 0 61334 -19 -57 0 61334 -19 -70 0 61334 -19 -71 0 61334 -19 -72 0 61334 -20 -23 0 61334 -20 -24 0 61334 -20 -26 0 61334 -20 -30 0 61334 -20 -34 0 61334 -20 -50 0 61334 -20 -64 0 61334 -20 -67 0 61334 -20 -68 0 61334 -20 -70 0 61334 -20 -72 0 61334 -20 -80 0 61334 -20 -27 0 61334 -21 -70 0 61334 -21 -71 0 61334 -21 -72 0 61334 -21 -76 0 61334 -21 -22 0 61334 -22 -24 0 61334 -22 -56 0 61334 -22 -68 0 61334 -22 -67 0 61334 -22 -77 0 61334 -23 -24 0 61334 -23 -26 0 61334 -23 -30 0 61334 -23 -34 0 61334 -23 -50 0 61334 -23 -64 0 61334 -23 -67 0 61334 -23 -68 0 61334 -23 -70 0 61334 -23 -72 0 61334 -23 -80 0 61334 -23 -27 0 61334 -23 -25 0 61334 -24 -56 0 61334 -24 -68 0 61334 -24 -26 0 61334 -24 -30 0 61334 -24 -34 0 61334 -24 -50 0 61334 -24 -64 0 61334 -24 -67 0 61334 -24 -70 0 61334 -24 -72 0 61334 -24 -80 0 61334 -24 -27 0 61334 -24 -49 0 61334 -24 -53 0 61334 -24 -54 0 61334 -24 -25 0 61334 -25 -77 0 61334 -25 -26 0 61334 -25 -27 0 61334 -26 -30 0 61334 -26 -34 0 61334 -26 -50 0 61334 -26 -64 0 61334 -26 -67 0 61334 -26 -68 0 61334 -26 -70 0 61334 -26 -72 0 61334 -26 -80 0 61334 -26 -27 0 61334 -26 -29 0 61334 -26 -54 0 61334 -26 -69 0 61334 -26 -79 0 61334 -27 -80 0 61334 -27 -29 0 61334 -27 -33 0 61334 -27 -49 0 61334 -27 -71 0 61334 -27 -67 0 61334 -27 -58 0 61334 -28 -29 0 61334 -28 -30 0 61334 -29 -30 0 61334 -29 -54 0 61334 -29 -69 0 61334 -29 -79 0 61334 -29 -33 0 61334 -29 -49 0 61334 -29 -71 0 61334 -29 -42 0 61334 -30 -34 0 61334 -30 -50 0 61334 -30 -64 0 61334 -30 -67 0 61334 -30 -68 0 61334 -30 -70 0 61334 -30 -72 0 61334 -30 -80 0 61334 -30 -74 0 61334 -30 -54 0 61334 -30 -69 0 61334 -30 -79 0 61334 -30 -42 0 61334 -31 -39 0 61334 -31 -55 0 61334 -32 -33 0 61334 -32 -34 0 61334 -32 -35 0 61334 -32 -49 0 61334 -32 -50 0 61334 -32 -51 0 61334 -32 -38 0 61334 -32 -39 0 61334 -32 -44 0 61334 -32 -45 0 61334 -32 -60 0 61334 -32 -61 0 61334 -32 -36 0 61334 -32 -41 0 61334 -32 -46 0 61334 -32 -62 0 61334 -32 -63 0 61334 -32 -47 0 61334 -32 -58 0 61334 -33 -34 0 61334 -33 -35 0 61334 -33 -49 0 61334 -33 -50 0 61334 -33 -51 0 61334 -33 -41 0 61334 -33 -46 0 61334 -33 -62 0 61334 -33 -63 0 61334 -33 -64 0 61334 -33 -66 0 61334 -33 -76 0 61334 -33 -77 0 61334 -33 -71 0 61334 -33 -70 0 61334 -33 -72 0 61334 -34 -35 0 61334 -34 -49 0 61334 -34 -50 0 61334 -34 -51 0 61334 -34 -41 0 61334 -34 -46 0 61334 -34 -62 0 61334 -34 -63 0 61334 -34 -64 0 61334 -34 -66 0 61334 -34 -76 0 61334 -34 -77 0 61334 -34 -67 0 61334 -34 -68 0 61334 -34 -70 0 61334 -34 -72 0 61334 -34 -80 0 61334 -34 -74 0 61334 -34 -71 0 61334 -35 -49 0 61334 -35 -50 0 61334 -35 -51 0 61334 -35 -36 0 61334 -35 -41 0 61334 -35 -46 0 61334 -35 -62 0 61334 -35 -63 0 61334 -35 -64 0 61334 -35 -66 0 61334 -35 -76 0 61334 -35 -77 0 61334 -35 -38 0 61334 -35 -39 0 61334 -35 -44 0 61334 -35 -45 0 61334 -35 -60 0 61334 -35 -61 0 61334 -35 -47 0 61334 -35 -58 0 61334 -36 -41 0 61334 -36 -46 0 61334 -36 -62 0 61334 -36 -63 0 61334 -36 -38 0 61334 -36 -39 0 61334 -36 -44 0 61334 -36 -45 0 61334 -36 -60 0 61334 -36 -61 0 61334 -37 -38 0 61334 -37 -39 0 61334 -37 -41 0 61334 -37 -51 0 61334 -37 -40 0 61334 -38 -39 0 61334 -38 -44 0 61334 -38 -45 0 61334 -38 -60 0 61334 -38 -61 0 61334 -38 -41 0 61334 -38 -51 0 61334 -38 -46 0 61334 -38 -62 0 61334 -38 -63 0 61334 -38 -40 0 61334 -39 -44 0 61334 -39 -45 0 61334 -39 -60 0 61334 -39 -61 0 61334 -39 -41 0 61334 -39 -51 0 61334 -39 -46 0 61334 -39 -62 0 61334 -39 -63 0 61334 -39 -55 0 61334 -39 -40 0 61334 -40 -41 0 61334 -41 -46 0 61334 -41 -62 0 61334 -41 -63 0 61334 -41 -64 0 61334 -41 -66 0 61334 -41 -76 0 61334 -41 -77 0 61334 -41 -51 0 61334 -41 -44 0 61334 -41 -45 0 61334 -41 -60 0 61334 -41 -61 0 61334 -42 -71 0 61334 -42 -72 0 61334 -43 -59 0 61334 -43 -44 0 61334 -43 -45 0 61334 -43 -46 0 61334 -44 -45 0 61334 -44 -60 0 61334 -44 -61 0 61334 -44 -46 0 61334 -44 -62 0 61334 -44 -63 0 61334 -44 -55 0 61334 -45 -60 0 61334 -45 -61 0 61334 -45 -46 0 61334 -45 -62 0 61334 -45 -63 0 61334 -45 -55 0 61334 -45 -59 0 61334 -46 -62 0 61334 -46 -63 0 61334 -46 -64 0 61334 -46 -66 0 61334 -46 -76 0 61334 -46 -77 0 61334 -46 -60 0 61334 -46 -61 0 61334 -46 -55 0 61334 -47 -51 0 61334 -47 -58 0 61334 -48 -49 0 61334 -48 -50 0 61334 -48 -51 0 61334 -48 -52 0 61334 -49 -50 0 61334 -49 -53 0 61334 -49 -54 0 61334 -49 -75 0 61334 -49 -51 0 61334 -49 -71 0 61334 -49 -68 0 61334 -49 -52 0 61334 -50 -53 0 61334 -50 -54 0 61334 -50 -75 0 61334 -50 -51 0 61334 -50 -64 0 61334 -50 -67 0 61334 -50 -68 0 61334 -50 -70 0 61334 -50 -72 0 61334 -50 -80 0 61334 -50 -74 0 61334 -50 -52 0 61334 -51 -58 0 61334 -51 -52 0 61334 -53 -54 0 61334 -53 -75 0 61334 -53 -78 0 61334 -53 -68 0 61334 -54 -75 0 61334 -54 -79 0 61334 -54 -69 0 61334 -54 -68 0 61334 -55 -60 0 61334 -55 -61 0 61334 -55 -62 0 61334 -55 -63 0 61334 -55 -65 0 61334 -56 -68 0 61334 -59 -61 0 61334 -59 -63 0 61334 -59 -60 0 61334 -59 -62 0 61334 -60 -61 0 61334 -60 -62 0 61334 -60 -63 0 61334 -61 -62 0 61334 -61 -63 0 61334 -62 -63 0 61334 -62 -64 0 61334 -62 -66 0 61334 -62 -76 0 61334 -62 -77 0 61334 -63 -64 0 61334 -63 -66 0 61334 -63 -76 0 61334 -63 -77 0 61334 -64 -66 0 61334 -64 -76 0 61334 -64 -77 0 61334 -64 -70 0 61334 -64 -71 0 61334 -64 -72 0 61334 -64 -67 0 61334 -64 -68 0 61334 -64 -80 0 61334 -64 -73 0 61334 -64 -65 0 61334 -65 -73 0 61334 -66 -76 0 61334 -66 -77 0 61334 -67 -68 0 61334 -67 -70 0 61334 -67 -72 0 61334 -67 -80 0 61334 -67 -77 0 61334 -68 -70 0 61334 -68 -72 0 61334 -68 -80 0 61334 -68 -77 0 61334 -69 -79 0 61334 -70 -73 0 61334 -70 -72 0 61334 -70 -80 0 61334 -70 -71 0 61334 -71 -72 0 61334 -72 -74 0 61334 -72 -80 0 61334 -73 -74 0 61334 -76 -77 0 61334 -78 -79 0