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 57643 p wcnf 81 612 57643 278 1 0 446 2 0 446 3 0 446 4 0 398 5 0 175 6 0 1003 7 0 1003 8 0 1003 9 0 1003 10 0 1003 11 0 734 12 0 103 13 0 665 14 0 91 15 0 518 16 0 830 17 0 830 18 0 830 19 0 830 20 0 830 21 0 442 22 0 442 23 0 171 24 0 424 25 0 424 26 0 842 27 0 97 28 0 1027 29 0 1027 30 0 1027 31 0 1027 32 0 1027 33 0 391 34 0 862 35 0 262 36 0 595 37 0 595 38 0 1230 39 0 518 40 0 256 41 0 669 42 0 361 43 0 823 44 0 823 45 0 823 46 0 823 47 0 823 48 0 326 49 0 948 50 0 948 51 0 948 52 0 948 53 0 948 54 0 63 55 0 290 56 0 863 57 0 863 58 0 863 59 0 863 60 0 863 61 0 418 62 0 119 63 0 1226 64 0 154 65 0 833 66 0 833 67 0 833 68 0 833 69 0 833 70 0 771 71 0 771 72 0 771 73 0 771 74 0 1224 75 0 1224 76 0 1224 77 0 1224 78 0 1224 79 0 663 80 0 663 81 0 57643 -1 -13 0 57643 -1 -15 0 57643 -1 -28 0 57643 -1 -44 0 57643 -1 -45 0 57643 -1 -63 0 57643 -1 -11 0 57643 -1 -14 0 57643 -2 -18 0 57643 -2 -22 0 57643 -2 -39 0 57643 -2 -78 0 57643 -2 -3 0 57643 -2 -4 0 57643 -3 -20 0 57643 -3 -23 0 57643 -3 -4 0 57643 -3 -12 0 57643 -3 -16 0 57643 -3 -19 0 57643 -3 -21 0 57643 -3 -49 0 57643 -3 -75 0 57643 -3 -76 0 57643 -3 -77 0 57643 -4 -19 0 57643 -4 -21 0 57643 -4 -51 0 57643 -4 -53 0 57643 -4 -75 0 57643 -4 -6 0 57643 -4 -65 0 57643 -4 -12 0 57643 -4 -16 0 57643 -4 -20 0 57643 -4 -23 0 57643 -4 -49 0 57643 -4 -76 0 57643 -4 -77 0 57643 -5 -19 0 57643 -5 -43 0 57643 -5 -80 0 57643 -6 -65 0 57643 -7 -27 0 57643 -7 -41 0 57643 -7 -42 0 57643 -7 -46 0 57643 -7 -47 0 57643 -7 -48 0 57643 -7 -70 0 57643 -7 -73 0 57643 -7 -74 0 57643 -7 -77 0 57643 -7 -79 0 57643 -7 -10 0 57643 -7 -11 0 57643 -7 -8 0 57643 -7 -9 0 57643 -8 -9 0 57643 -8 -10 0 57643 -8 -11 0 57643 -8 -14 0 57643 -8 -25 0 57643 -8 -26 0 57643 -8 -44 0 57643 -8 -45 0 57643 -9 -10 0 57643 -9 -11 0 57643 -9 -14 0 57643 -9 -35 0 57643 -9 -44 0 57643 -9 -45 0 57643 -9 -25 0 57643 -9 -26 0 57643 -10 -11 0 57643 -10 -14 0 57643 -10 -35 0 57643 -10 -44 0 57643 -10 -45 0 57643 -10 -25 0 57643 -10 -26 0 57643 -11 -14 0 57643 -11 -44 0 57643 -11 -45 0 57643 -11 -52 0 57643 -11 -35 0 57643 -11 -25 0 57643 -11 -26 0 57643 -12 -60 0 57643 -12 -76 0 57643 -12 -78 0 57643 -12 -17 0 57643 -12 -18 0 57643 -12 -19 0 57643 -12 -20 0 57643 -12 -21 0 57643 -12 -22 0 57643 -12 -23 0 57643 -12 -55 0 57643 -12 -75 0 57643 -12 -77 0 57643 -12 -79 0 57643 -12 -16 0 57643 -12 -53 0 57643 -12 -49 0 57643 -13 -15 0 57643 -13 -28 0 57643 -13 -44 0 57643 -13 -45 0 57643 -13 -63 0 57643 -14 -44 0 57643 -14 -45 0 57643 -14 -35 0 57643 -14 -25 0 57643 -14 -26 0 57643 -15 -28 0 57643 -15 -44 0 57643 -15 -45 0 57643 -15 -63 0 57643 -16 -53 0 57643 -16 -76 0 57643 -16 -77 0 57643 -16 -19 0 57643 -16 -20 0 57643 -16 -21 0 57643 -16 -23 0 57643 -16 -49 0 57643 -16 -75 0 57643 -17 -18 0 57643 -17 -19 0 57643 -17 -20 0 57643 -17 -21 0 57643 -17 -22 0 57643 -17 -23 0 57643 -17 -55 0 57643 -17 -75 0 57643 -17 -76 0 57643 -17 -77 0 57643 -17 -78 0 57643 -17 -79 0 57643 -18 -19 0 57643 -18 -20 0 57643 -18 -21 0 57643 -18 -22 0 57643 -18 -23 0 57643 -18 -55 0 57643 -18 -75 0 57643 -18 -76 0 57643 -18 -77 0 57643 -18 -78 0 57643 -18 -79 0 57643 -18 -39 0 57643 -19 -21 0 57643 -19 -51 0 57643 -19 -53 0 57643 -19 -75 0 57643 -19 -20 0 57643 -19 -22 0 57643 -19 -23 0 57643 -19 -55 0 57643 -19 -76 0 57643 -19 -77 0 57643 -19 -78 0 57643 -19 -79 0 57643 -19 -52 0 57643 -19 -43 0 57643 -19 -80 0 57643 -19 -49 0 57643 -20 -23 0 57643 -20 -21 0 57643 -20 -22 0 57643 -20 -55 0 57643 -20 -75 0 57643 -20 -76 0 57643 -20 -77 0 57643 -20 -78 0 57643 -20 -79 0 57643 -20 -49 0 57643 -21 -51 0 57643 -21 -53 0 57643 -21 -75 0 57643 -21 -22 0 57643 -21 -23 0 57643 -21 -55 0 57643 -21 -76 0 57643 -21 -77 0 57643 -21 -78 0 57643 -21 -79 0 57643 -21 -74 0 57643 -21 -49 0 57643 -22 -23 0 57643 -22 -55 0 57643 -22 -75 0 57643 -22 -76 0 57643 -22 -77 0 57643 -22 -78 0 57643 -22 -79 0 57643 -22 -39 0 57643 -23 -55 0 57643 -23 -75 0 57643 -23 -76 0 57643 -23 -77 0 57643 -23 -78 0 57643 -23 -79 0 57643 -23 -49 0 57643 -24 -39 0 57643 -24 -78 0 57643 -24 -34 0 57643 -24 -40 0 57643 -24 -81 0 57643 -25 -31 0 57643 -25 -41 0 57643 -25 -44 0 57643 -25 -46 0 57643 -25 -48 0 57643 -25 -67 0 57643 -25 -69 0 57643 -25 -72 0 57643 -25 -26 0 57643 -25 -45 0 57643 -26 -33 0 57643 -26 -45 0 57643 -26 -47 0 57643 -26 -68 0 57643 -26 -69 0 57643 -26 -71 0 57643 -26 -77 0 57643 -26 -79 0 57643 -26 -30 0 57643 -26 -66 0 57643 -26 -72 0 57643 -26 -76 0 57643 -26 -78 0 57643 -26 -44 0 57643 -27 -41 0 57643 -27 -42 0 57643 -27 -46 0 57643 -27 -47 0 57643 -27 -48 0 57643 -27 -70 0 57643 -27 -73 0 57643 -27 -74 0 57643 -27 -77 0 57643 -27 -79 0 57643 -27 -29 0 57643 -27 -31 0 57643 -27 -33 0 57643 -27 -67 0 57643 -27 -68 0 57643 -27 -37 0 57643 -27 -81 0 57643 -28 -44 0 57643 -28 -45 0 57643 -28 -63 0 57643 -29 -31 0 57643 -29 -33 0 57643 -29 -42 0 57643 -29 -67 0 57643 -29 -68 0 57643 -29 -70 0 57643 -29 -30 0 57643 -29 -32 0 57643 -30 -32 0 57643 -30 -66 0 57643 -30 -69 0 57643 -30 -33 0 57643 -30 -45 0 57643 -30 -47 0 57643 -30 -68 0 57643 -30 -72 0 57643 -30 -76 0 57643 -30 -78 0 57643 -30 -31 0 57643 -31 -41 0 57643 -31 -44 0 57643 -31 -46 0 57643 -31 -48 0 57643 -31 -67 0 57643 -31 -69 0 57643 -31 -72 0 57643 -31 -33 0 57643 -31 -42 0 57643 -31 -68 0 57643 -31 -70 0 57643 -31 -32 0 57643 -32 -71 0 57643 -32 -72 0 57643 -32 -73 0 57643 -32 -74 0 57643 -32 -36 0 57643 -32 -64 0 57643 -32 -66 0 57643 -32 -69 0 57643 -32 -75 0 57643 -32 -33 0 57643 -33 -45 0 57643 -33 -47 0 57643 -33 -68 0 57643 -33 -69 0 57643 -33 -71 0 57643 -33 -77 0 57643 -33 -79 0 57643 -33 -42 0 57643 -33 -67 0 57643 -33 -70 0 57643 -33 -66 0 57643 -33 -72 0 57643 -33 -76 0 57643 -33 -78 0 57643 -34 -40 0 57643 -34 -81 0 57643 -34 -56 0 57643 -35 -44 0 57643 -35 -45 0 57643 -36 -64 0 57643 -37 -77 0 57643 -37 -81 0 57643 -37 -40 0 57643 -37 -50 0 57643 -37 -78 0 57643 -37 -38 0 57643 -38 -42 0 57643 -38 -46 0 57643 -38 -47 0 57643 -38 -61 0 57643 -38 -70 0 57643 -38 -54 0 57643 -39 -78 0 57643 -40 -81 0 57643 -40 -56 0 57643 -40 -50 0 57643 -40 -78 0 57643 -41 -44 0 57643 -41 -46 0 57643 -41 -48 0 57643 -41 -67 0 57643 -41 -69 0 57643 -41 -72 0 57643 -41 -42 0 57643 -41 -47 0 57643 -41 -70 0 57643 -41 -73 0 57643 -41 -74 0 57643 -41 -77 0 57643 -41 -79 0 57643 -42 -46 0 57643 -42 -47 0 57643 -42 -61 0 57643 -42 -70 0 57643 -42 -48 0 57643 -42 -73 0 57643 -42 -74 0 57643 -42 -77 0 57643 -42 -79 0 57643 -42 -67 0 57643 -42 -68 0 57643 -43 -80 0 57643 -44 -46 0 57643 -44 -48 0 57643 -44 -67 0 57643 -44 -69 0 57643 -44 -72 0 57643 -44 -45 0 57643 -44 -63 0 57643 -44 -47 0 57643 -45 -47 0 57643 -45 -68 0 57643 -45 -69 0 57643 -45 -71 0 57643 -45 -77 0 57643 -45 -79 0 57643 -45 -63 0 57643 -45 -66 0 57643 -45 -72 0 57643 -45 -76 0 57643 -45 -78 0 57643 -45 -46 0 57643 -45 -48 0 57643 -46 -48 0 57643 -46 -67 0 57643 -46 -69 0 57643 -46 -72 0 57643 -46 -47 0 57643 -46 -61 0 57643 -46 -70 0 57643 -46 -73 0 57643 -46 -74 0 57643 -46 -77 0 57643 -46 -79 0 57643 -46 -54 0 57643 -46 -58 0 57643 -47 -68 0 57643 -47 -69 0 57643 -47 -71 0 57643 -47 -77 0 57643 -47 -79 0 57643 -47 -61 0 57643 -47 -70 0 57643 -47 -48 0 57643 -47 -73 0 57643 -47 -74 0 57643 -47 -66 0 57643 -47 -72 0 57643 -47 -76 0 57643 -47 -78 0 57643 -47 -54 0 57643 -47 -58 0 57643 -48 -67 0 57643 -48 -69 0 57643 -48 -72 0 57643 -48 -50 0 57643 -48 -51 0 57643 -48 -53 0 57643 -48 -54 0 57643 -48 -70 0 57643 -48 -73 0 57643 -48 -74 0 57643 -48 -77 0 57643 -48 -79 0 57643 -49 -75 0 57643 -49 -76 0 57643 -49 -77 0 57643 -50 -51 0 57643 -50 -53 0 57643 -50 -54 0 57643 -50 -59 0 57643 -50 -60 0 57643 -50 -78 0 57643 -50 -81 0 57643 -50 -52 0 57643 -51 -53 0 57643 -51 -75 0 57643 -51 -54 0 57643 -51 -52 0 57643 -52 -53 0 57643 -52 -54 0 57643 -53 -75 0 57643 -53 -54 0 57643 -53 -59 0 57643 -53 -60 0 57643 -53 -76 0 57643 -53 -77 0 57643 -54 -58 0 57643 -54 -61 0 57643 -55 -75 0 57643 -55 -76 0 57643 -55 -77 0 57643 -55 -78 0 57643 -55 -79 0 57643 -57 -58 0 57643 -57 -60 0 57643 -57 -62 0 57643 -57 -59 0 57643 -57 -61 0 57643 -58 -62 0 57643 -58 -70 0 57643 -58 -61 0 57643 -58 -60 0 57643 -58 -59 0 57643 -59 -60 0 57643 -59 -61 0 57643 -60 -76 0 57643 -60 -78 0 57643 -60 -62 0 57643 -60 -61 0 57643 -61 -70 0 57643 -61 -73 0 57643 -62 -70 0 57643 -66 -69 0 57643 -66 -68 0 57643 -66 -72 0 57643 -66 -76 0 57643 -66 -78 0 57643 -66 -67 0 57643 -66 -70 0 57643 -67 -69 0 57643 -67 -72 0 57643 -67 -68 0 57643 -67 -70 0 57643 -67 -76 0 57643 -67 -78 0 57643 -68 -69 0 57643 -68 -71 0 57643 -68 -77 0 57643 -68 -79 0 57643 -68 -70 0 57643 -68 -72 0 57643 -68 -76 0 57643 -68 -78 0 57643 -69 -72 0 57643 -69 -71 0 57643 -69 -77 0 57643 -69 -79 0 57643 -69 -76 0 57643 -69 -78 0 57643 -69 -70 0 57643 -70 -73 0 57643 -70 -74 0 57643 -70 -77 0 57643 -70 -79 0 57643 -71 -77 0 57643 -71 -79 0 57643 -71 -72 0 57643 -71 -73 0 57643 -71 -74 0 57643 -71 -75 0 57643 -72 -73 0 57643 -72 -74 0 57643 -72 -76 0 57643 -72 -78 0 57643 -72 -75 0 57643 -73 -74 0 57643 -73 -77 0 57643 -73 -79 0 57643 -74 -77 0 57643 -74 -79 0 57643 -74 -80 0 57643 -75 -76 0 57643 -75 -77 0 57643 -75 -78 0 57643 -75 -79 0 57643 -76 -77 0 57643 -76 -78 0 57643 -76 -79 0 57643 -77 -78 0 57643 -77 -79 0 57643 -77 -81 0 57643 -78 -79 0 57643 -78 -81 0 57643 -79 -80 0 57643 -80 -81 0