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 65258 p wcnf 81 683 65258 532 1 0 982 2 0 982 3 0 982 4 0 982 5 0 982 6 0 932 7 0 932 8 0 932 9 0 932 10 0 932 11 0 915 12 0 915 13 0 915 14 0 915 15 0 915 16 0 353 17 0 353 18 0 1007 19 0 1007 20 0 1007 21 0 1007 22 0 1007 23 0 1028 24 0 1028 25 0 1028 26 0 1028 27 0 1028 28 0 1209 29 0 906 30 0 906 31 0 906 32 0 906 33 0 906 34 0 858 35 0 858 36 0 858 37 0 858 38 0 858 39 0 420 40 0 724 41 0 724 42 0 740 43 0 740 44 0 970 45 0 970 46 0 970 47 0 970 48 0 970 49 0 686 50 0 686 51 0 881 52 0 881 53 0 881 54 0 388 55 0 388 56 0 388 57 0 388 58 0 388 59 0 824 60 0 824 61 0 824 62 0 824 63 0 824 64 0 215 65 0 823 66 0 884 67 0 884 68 0 884 69 0 884 70 0 491 71 0 491 72 0 491 73 0 491 74 0 491 75 0 552 76 0 552 77 0 552 78 0 904 79 0 904 80 0 904 81 0 65258 -1 -8 0 65258 -1 -9 0 65258 -1 -10 0 65258 -1 -32 0 65258 -1 -39 0 65258 -1 -43 0 65258 -1 -52 0 65258 -1 -54 0 65258 -1 -60 0 65258 -1 -61 0 65258 -1 -64 0 65258 -1 -69 0 65258 -1 -70 0 65258 -2 -3 0 65258 -2 -4 0 65258 -2 -21 0 65258 -2 -40 0 65258 -2 -45 0 65258 -2 -47 0 65258 -2 -71 0 65258 -2 -72 0 65258 -2 -75 0 65258 -2 -6 0 65258 -2 -20 0 65258 -2 -5 0 65258 -3 -17 0 65258 -3 -22 0 65258 -3 -45 0 65258 -3 -48 0 65258 -3 -4 0 65258 -3 -21 0 65258 -3 -40 0 65258 -3 -47 0 65258 -3 -71 0 65258 -3 -72 0 65258 -3 -75 0 65258 -3 -5 0 65258 -3 -19 0 65258 -3 -37 0 65258 -3 -23 0 65258 -3 -6 0 65258 -4 -18 0 65258 -4 -23 0 65258 -4 -29 0 65258 -4 -47 0 65258 -4 -21 0 65258 -4 -40 0 65258 -4 -45 0 65258 -4 -71 0 65258 -4 -72 0 65258 -4 -75 0 65258 -4 -22 0 65258 -4 -48 0 65258 -4 -5 0 65258 -4 -6 0 65258 -5 -6 0 65258 -5 -21 0 65258 -5 -46 0 65258 -5 -48 0 65258 -5 -74 0 65258 -5 -75 0 65258 -5 -19 0 65258 -5 -22 0 65258 -5 -37 0 65258 -6 -21 0 65258 -6 -46 0 65258 -6 -48 0 65258 -6 -74 0 65258 -6 -75 0 65258 -6 -20 0 65258 -6 -22 0 65258 -6 -23 0 65258 -6 -26 0 65258 -6 -73 0 65258 -7 -72 0 65258 -7 -77 0 65258 -7 -78 0 65258 -7 -79 0 65258 -7 -80 0 65258 -7 -81 0 65258 -7 -34 0 65258 -7 -8 0 65258 -7 -9 0 65258 -7 -10 0 65258 -7 -11 0 65258 -8 -9 0 65258 -8 -10 0 65258 -8 -32 0 65258 -8 -39 0 65258 -8 -43 0 65258 -8 -52 0 65258 -8 -54 0 65258 -8 -60 0 65258 -8 -61 0 65258 -8 -64 0 65258 -8 -69 0 65258 -8 -70 0 65258 -8 -11 0 65258 -8 -25 0 65258 -8 -27 0 65258 -8 -53 0 65258 -8 -57 0 65258 -8 -59 0 65258 -8 -63 0 65258 -8 -77 0 65258 -8 -28 0 65258 -8 -62 0 65258 -9 -10 0 65258 -9 -28 0 65258 -9 -64 0 65258 -9 -78 0 65258 -9 -32 0 65258 -9 -39 0 65258 -9 -43 0 65258 -9 -52 0 65258 -9 -54 0 65258 -9 -60 0 65258 -9 -61 0 65258 -9 -69 0 65258 -9 -70 0 65258 -9 -56 0 65258 -9 -58 0 65258 -9 -62 0 65258 -9 -11 0 65258 -9 -25 0 65258 -9 -27 0 65258 -9 -53 0 65258 -9 -63 0 65258 -10 -57 0 65258 -10 -59 0 65258 -10 -61 0 65258 -10 -63 0 65258 -10 -78 0 65258 -10 -28 0 65258 -10 -64 0 65258 -10 -32 0 65258 -10 -39 0 65258 -10 -43 0 65258 -10 -52 0 65258 -10 -54 0 65258 -10 -60 0 65258 -10 -69 0 65258 -10 -70 0 65258 -10 -11 0 65258 -10 -25 0 65258 -10 -27 0 65258 -10 -53 0 65258 -10 -62 0 65258 -11 -25 0 65258 -11 -27 0 65258 -11 -52 0 65258 -11 -53 0 65258 -11 -54 0 65258 -11 -57 0 65258 -11 -59 0 65258 -11 -61 0 65258 -11 -63 0 65258 -11 -64 0 65258 -11 -31 0 65258 -11 -44 0 65258 -11 -62 0 65258 -11 -68 0 65258 -11 -70 0 65258 -11 -34 0 65258 -11 -77 0 65258 -11 -28 0 65258 -11 -60 0 65258 -12 -13 0 65258 -12 -15 0 65258 -12 -16 0 65258 -12 -80 0 65258 -12 -81 0 65258 -12 -14 0 65258 -13 -16 0 65258 -13 -29 0 65258 -13 -66 0 65258 -13 -81 0 65258 -13 -15 0 65258 -13 -80 0 65258 -13 -14 0 65258 -14 -15 0 65258 -14 -16 0 65258 -14 -76 0 65258 -14 -49 0 65258 -14 -79 0 65258 -15 -80 0 65258 -15 -16 0 65258 -15 -76 0 65258 -15 -81 0 65258 -16 -81 0 65258 -16 -29 0 65258 -16 -66 0 65258 -16 -76 0 65258 -16 -80 0 65258 -17 -22 0 65258 -17 -45 0 65258 -17 -48 0 65258 -17 -18 0 65258 -18 -23 0 65258 -18 -29 0 65258 -18 -47 0 65258 -19 -22 0 65258 -19 -37 0 65258 -19 -46 0 65258 -19 -20 0 65258 -19 -21 0 65258 -19 -23 0 65258 -20 -22 0 65258 -20 -23 0 65258 -20 -26 0 65258 -20 -48 0 65258 -20 -73 0 65258 -20 -74 0 65258 -20 -21 0 65258 -21 -46 0 65258 -21 -48 0 65258 -21 -74 0 65258 -21 -75 0 65258 -21 -40 0 65258 -21 -45 0 65258 -21 -47 0 65258 -21 -71 0 65258 -21 -72 0 65258 -21 -22 0 65258 -21 -23 0 65258 -22 -23 0 65258 -22 -26 0 65258 -22 -48 0 65258 -22 -73 0 65258 -22 -74 0 65258 -22 -45 0 65258 -22 -37 0 65258 -22 -47 0 65258 -23 -29 0 65258 -23 -47 0 65258 -23 -26 0 65258 -23 -48 0 65258 -23 -73 0 65258 -23 -74 0 65258 -23 -45 0 65258 -24 -26 0 65258 -24 -31 0 65258 -24 -32 0 65258 -24 -36 0 65258 -24 -68 0 65258 -24 -69 0 65258 -24 -76 0 65258 -24 -77 0 65258 -24 -78 0 65258 -24 -30 0 65258 -24 -33 0 65258 -24 -67 0 65258 -24 -70 0 65258 -24 -25 0 65258 -24 -27 0 65258 -24 -28 0 65258 -25 -27 0 65258 -25 -52 0 65258 -25 -53 0 65258 -25 -54 0 65258 -25 -57 0 65258 -25 -59 0 65258 -25 -61 0 65258 -25 -63 0 65258 -25 -64 0 65258 -25 -28 0 65258 -25 -60 0 65258 -25 -62 0 65258 -25 -26 0 65258 -26 -31 0 65258 -26 -32 0 65258 -26 -36 0 65258 -26 -68 0 65258 -26 -69 0 65258 -26 -48 0 65258 -26 -73 0 65258 -26 -74 0 65258 -26 -76 0 65258 -26 -77 0 65258 -26 -78 0 65258 -26 -30 0 65258 -26 -33 0 65258 -26 -67 0 65258 -26 -70 0 65258 -26 -27 0 65258 -26 -28 0 65258 -27 -52 0 65258 -27 -53 0 65258 -27 -54 0 65258 -27 -57 0 65258 -27 -59 0 65258 -27 -61 0 65258 -27 -63 0 65258 -27 -64 0 65258 -27 -77 0 65258 -27 -28 0 65258 -27 -73 0 65258 -27 -75 0 65258 -27 -60 0 65258 -27 -62 0 65258 -28 -64 0 65258 -28 -78 0 65258 -28 -73 0 65258 -28 -75 0 65258 -28 -56 0 65258 -28 -58 0 65258 -28 -60 0 65258 -28 -62 0 65258 -28 -52 0 65258 -28 -53 0 65258 -28 -54 0 65258 -28 -61 0 65258 -28 -63 0 65258 -29 -47 0 65258 -29 -66 0 65258 -29 -81 0 65258 -30 -32 0 65258 -30 -33 0 65258 -30 -44 0 65258 -30 -54 0 65258 -30 -62 0 65258 -30 -63 0 65258 -30 -67 0 65258 -30 -69 0 65258 -30 -39 0 65258 -30 -70 0 65258 -30 -31 0 65258 -30 -77 0 65258 -30 -78 0 65258 -30 -68 0 65258 -30 -34 0 65258 -31 -44 0 65258 -31 -53 0 65258 -31 -62 0 65258 -31 -63 0 65258 -31 -68 0 65258 -31 -70 0 65258 -31 -32 0 65258 -31 -36 0 65258 -31 -69 0 65258 -31 -77 0 65258 -31 -78 0 65258 -31 -33 0 65258 -31 -67 0 65258 -31 -34 0 65258 -32 -33 0 65258 -32 -44 0 65258 -32 -54 0 65258 -32 -62 0 65258 -32 -63 0 65258 -32 -67 0 65258 -32 -69 0 65258 -32 -39 0 65258 -32 -43 0 65258 -32 -52 0 65258 -32 -60 0 65258 -32 -61 0 65258 -32 -64 0 65258 -32 -70 0 65258 -32 -36 0 65258 -32 -68 0 65258 -32 -77 0 65258 -32 -78 0 65258 -32 -34 0 65258 -33 -44 0 65258 -33 -54 0 65258 -33 -62 0 65258 -33 -63 0 65258 -33 -67 0 65258 -33 -69 0 65258 -33 -39 0 65258 -33 -70 0 65258 -33 -76 0 65258 -33 -49 0 65258 -33 -79 0 65258 -33 -80 0 65258 -33 -81 0 65258 -33 -68 0 65258 -33 -34 0 65258 -34 -53 0 65258 -34 -54 0 65258 -35 -37 0 65258 -35 -41 0 65258 -35 -51 0 65258 -35 -65 0 65258 -35 -38 0 65258 -35 -66 0 65258 -35 -42 0 65258 -35 -43 0 65258 -35 -44 0 65258 -35 -50 0 65258 -35 -36 0 65258 -35 -39 0 65258 -36 -68 0 65258 -36 -69 0 65258 -36 -39 0 65258 -36 -37 0 65258 -36 -38 0 65258 -37 -41 0 65258 -37 -51 0 65258 -37 -65 0 65258 -37 -38 0 65258 -37 -42 0 65258 -37 -43 0 65258 -37 -44 0 65258 -37 -50 0 65258 -37 -39 0 65258 -38 -41 0 65258 -38 -51 0 65258 -38 -66 0 65258 -38 -42 0 65258 -38 -50 0 65258 -38 -43 0 65258 -38 -44 0 65258 -38 -39 0 65258 -39 -43 0 65258 -39 -52 0 65258 -39 -54 0 65258 -39 -60 0 65258 -39 -61 0 65258 -39 -64 0 65258 -39 -69 0 65258 -39 -70 0 65258 -39 -67 0 65258 -40 -45 0 65258 -40 -47 0 65258 -40 -71 0 65258 -40 -72 0 65258 -40 -75 0 65258 -40 -74 0 65258 -41 -51 0 65258 -41 -65 0 65258 -41 -42 0 65258 -41 -43 0 65258 -41 -44 0 65258 -41 -50 0 65258 -42 -50 0 65258 -42 -43 0 65258 -42 -44 0 65258 -42 -51 0 65258 -43 -52 0 65258 -43 -54 0 65258 -43 -60 0 65258 -43 -61 0 65258 -43 -64 0 65258 -43 -69 0 65258 -43 -70 0 65258 -43 -44 0 65258 -43 -50 0 65258 -43 -51 0 65258 -44 -54 0 65258 -44 -62 0 65258 -44 -63 0 65258 -44 -67 0 65258 -44 -69 0 65258 -44 -53 0 65258 -44 -68 0 65258 -44 -70 0 65258 -44 -50 0 65258 -44 -51 0 65258 -45 -48 0 65258 -45 -47 0 65258 -45 -71 0 65258 -45 -72 0 65258 -45 -75 0 65258 -45 -46 0 65258 -45 -49 0 65258 -46 -48 0 65258 -46 -74 0 65258 -46 -75 0 65258 -46 -47 0 65258 -46 -49 0 65258 -47 -71 0 65258 -47 -72 0 65258 -47 -75 0 65258 -47 -48 0 65258 -47 -49 0 65258 -48 -74 0 65258 -48 -75 0 65258 -48 -73 0 65258 -48 -49 0 65258 -49 -79 0 65258 -49 -80 0 65258 -49 -81 0 65258 -49 -72 0 65258 -50 -51 0 65258 -51 -65 0 65258 -52 -54 0 65258 -52 -60 0 65258 -52 -61 0 65258 -52 -64 0 65258 -52 -69 0 65258 -52 -70 0 65258 -52 -53 0 65258 -52 -57 0 65258 -52 -59 0 65258 -52 -63 0 65258 -52 -62 0 65258 -53 -54 0 65258 -53 -57 0 65258 -53 -59 0 65258 -53 -61 0 65258 -53 -63 0 65258 -53 -64 0 65258 -53 -62 0 65258 -53 -68 0 65258 -53 -70 0 65258 -53 -60 0 65258 -54 -62 0 65258 -54 -63 0 65258 -54 -67 0 65258 -54 -69 0 65258 -54 -60 0 65258 -54 -61 0 65258 -54 -64 0 65258 -54 -70 0 65258 -54 -57 0 65258 -54 -59 0 65258 -55 -56 0 65258 -55 -57 0 65258 -55 -58 0 65258 -55 -59 0 65258 -56 -57 0 65258 -56 -58 0 65258 -56 -60 0 65258 -56 -62 0 65258 -56 -59 0 65258 -57 -59 0 65258 -57 -61 0 65258 -57 -63 0 65258 -57 -78 0 65258 -57 -64 0 65258 -57 -58 0 65258 -58 -59 0 65258 -58 -60 0 65258 -58 -62 0 65258 -59 -61 0 65258 -59 -63 0 65258 -59 -78 0 65258 -59 -64 0 65258 -60 -61 0 65258 -60 -64 0 65258 -60 -69 0 65258 -60 -70 0 65258 -60 -62 0 65258 -60 -63 0 65258 -61 -63 0 65258 -61 -78 0 65258 -61 -64 0 65258 -61 -69 0 65258 -61 -70 0 65258 -61 -62 0 65258 -62 -63 0 65258 -62 -67 0 65258 -62 -69 0 65258 -62 -68 0 65258 -62 -70 0 65258 -62 -64 0 65258 -63 -78 0 65258 -63 -67 0 65258 -63 -69 0 65258 -63 -64 0 65258 -63 -68 0 65258 -63 -70 0 65258 -64 -78 0 65258 -64 -69 0 65258 -64 -70 0 65258 -64 -77 0 65258 -66 -81 0 65258 -67 -68 0 65258 -67 -69 0 65258 -67 -70 0 65258 -68 -69 0 65258 -68 -70 0 65258 -69 -70 0 65258 -71 -72 0 65258 -71 -75 0 65258 -71 -74 0 65258 -71 -73 0 65258 -72 -75 0 65258 -72 -77 0 65258 -72 -78 0 65258 -72 -79 0 65258 -72 -80 0 65258 -72 -81 0 65258 -72 -73 0 65258 -72 -74 0 65258 -73 -74 0 65258 -73 -75 0 65258 -74 -75 0 65258 -76 -77 0 65258 -76 -78 0 65258 -77 -78 0 65258 -77 -79 0 65258 -77 -80 0 65258 -77 -81 0 65258 -78 -79 0 65258 -78 -80 0 65258 -78 -81 0 65258 -79 -80 0 65258 -79 -81 0 65258 -80 -81 0