/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-75.4.mps 0 SAT 46.12 76062 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-50.1.mps 0 SAT 9.23 24550 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-100.5.mps 0 SAT 6.53 7696 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-100.4.mps 0 SAT 8.94 17259 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-50.5.mps 0 SAT 0.31 423 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-50.5.mps 0 SAT 0.37 580 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-50.4.mps 0 SAT 2.45 4570 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-75.2.mps 0 SAT 1.06 2028 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-75.2.mps 0 SAT 9.93 11964 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-50.3.mps 0 SAT 3.84 5417 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-100.3.mps 0 SAT 2.97 4379 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-75.5.mps 0 SAT 78.33 123280 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-75.4.mps 0 SAT 34.74 38930 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-75.1.mps 0 SAT 43.84 45702 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-50.5.mps 0 SAT 0.32 31 0.86 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-50.4.mps 0 SAT 1.12 990 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-100.3.mps 0 SAT 13.19 22670 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-100.2.mps 0 SAT 3.47 3924 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-50.1.mps 0 SAT 0.43 601 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-100.5.mps 0 SAT 3.39 6515 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-50.3.mps 0 SAT 1.83 1986 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-100.4.mps 0 SAT 4.04 4416 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-75.5.mps 0 SAT 68.43 88639 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-100.1.mps 0 SAT 7.67 13225 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-100.1.mps 0 SAT 7.81 7180 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-50.1.mps 0 SAT 19.76 28397 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-75.4.mps 0 SAT 24.78 65072 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-75.5.mps 0 SAT 21.65 55575 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-50.4.mps 0 SAT 7.45 12585 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-50.1.mps 0 SAT 1.65 3689 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-75.2.mps 0 SAT 7.35 12856 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-50.5.mps 0 SAT 0.24 439 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-100.4.mps 0 SAT 174.83 230866 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-100.2.mps 0 SAT 2.09 3369 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-50.4.mps 0 SAT 3.17 8958 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-50.5.mps 0 SAT 0.52 261 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-75.3.mps 0 SAT 6.6 14283 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-100.4.mps 0 SAT 3.29 4816 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-50.2.mps 0 SAT 0.53 620 0.23 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-50.5.mps 0 SAT 0.48 759 0.37 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-100.2.mps 0 SAT 41.87 57856 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-75.1.mps 0 SAT 15.77 22639 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-50.2.mps 0 SAT 0.83 724 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-100.3.mps 0 SAT 791.71 1682907 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-75.1.mps 0 SAT 10.29 28574 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-75.5.mps 0 SAT 38.68 100278 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-75.1.mps 0 SAT 24.29 60873 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-75.5.mps 0 SAT 36.17 95089 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-75.5.mps 0 SAT 25.76 27360 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-100.2.mps 0 SAT 1.26 1861 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-50.3.mps 0 SAT 1.64 4125 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-100.4.mps 0 SAT 0.56 776 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-50.4.mps 0 SAT 0.39 402 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-100.2.mps 0 SAT 19.66 45783 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-50.4.mps 0 SAT 0.44 1132 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-50.3.mps 0 SAT 1.19 2035 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-100.3.mps 0 SAT 22.33 33786 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-100.4.mps 0 SAT 5.68 5950 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-100.3.mps 0 SAT 7.36 9061 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-50.2.mps 0 SAT 1.01 1749 0.0 -1