/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-100.2.mps 0 SAT 2.9 3041 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-100.4.mps 0 SAT 74.85 174619 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-50.1.mps 0 SAT 3.33 4722 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-100.5.mps 0 SAT 6.06 11442 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-50.5.mps 0 SAT 0.41 520 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-75.3.mps 0 SAT 15.2 25235 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-50.4.mps 0 SAT 2.17 4525 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-75.2.mps 0 SAT 3.39 9919 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-50.2.mps 0 SAT 3.3 3361 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-100.3.mps 0 SAT 4.56 4699 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-75.3.mps 0 SAT 114.41 132097 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-100.4.mps 0 SAT 9.23 11131 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-75.3.mps 0 SAT 3.55 7655 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-100.1.mps 0 SAT 4.44 7067 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-75.1.mps 0 SAT 30.93 33619 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-50.3.mps 0 SAT 1.26 3539 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-75.4.mps 0 SAT 139.59 376711 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-75.2.mps 0 SAT 5.73 11092 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-100.1.mps 0 SAT 17.84 37945 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-75.5.mps 0 SAT 42.04 71449 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-50.2.mps 0 SAT 0.46 678 0.34 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-75.2.mps 0 SAT 87.42 107864 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-50.1.mps 0 SAT 14.27 30591 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-100.5.mps 0 SAT 52.47 68940 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-75.1.mps 0 SAT 6.81 14026 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-100.1.mps 0 SAT 3528.7 8072830 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-100.5.mps 0 SAT 17.91 23475 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-75.2.mps 0 SAT 18.56 27471 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-100.2.mps 0 SAT 259.14 357986 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-75.4.mps 0 SAT 73.82 127188 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-75.4.mps 0 SAT 19.26 49732 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-100.5.mps 0 SAT 790.99 1644060 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-50.2.mps 0 SAT 1.3 1011 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-75.3.mps 0 SAT 67.23 110365 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-75.5.mps 0 SAT 8.82 16800 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-100.2.mps 0 SAT 3.69 7173 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-50.1.mps 0 SAT 0.71 485 0.69 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-100.1.mps 0 SAT 24.98 34049 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-100.5.mps 0 SAT 1148.38 1399677 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-50.5.mps 0 SAT 1.05 598 0.0 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-20-75.3.mps 0 SAT 917.37 941553 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-100.1.mps 0 SAT 4.71 4978 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-75.3.mps 0 SAT 9.1 19842 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-50.4.mps 0 SAT 1.48 2039 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-10-75.4.mps 0 SAT 28.95 40968 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-100.5.mps 0 SAT 2.02 3608 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-75.1.mps 0 SAT 28.52 72591 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-50.1.mps 0 SAT 0.08 22 1.82 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-5-100.3.mps 0 SAT 5.88 11536 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-50.2.mps 0 SAT 3.49 7963 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-75.3.mps 0 SAT 19.45 50322 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-100.1.mps 0 SAT 990.13 1330864 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-50.3.mps 0 SAT 1.05 2179 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.500-5-50.3.mps 0 SAT 0.66 617 0.17 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-50.3.mps 0 SAT 4.28 10461 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-75.1.mps 0 SAT 336.9 537806 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.500-1-100.3.mps 0 SAT 163.76 227476 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-10-75.2.mps 0 SAT 25.95 56687 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/unbounded/mik.250-1-50.2.mps 0 SAT 1.98 5547 0.01 -1
/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/mixed_integer_knapsack/bounded/mik.250-20-75.4.mps 0 SAT 14.14 29242 0.01 -1