/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M3_ins1.mps 0 SAT 1.05 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N150_M3_ins1.mps 0 SAT 0.56 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M3_ins3.mps 0 SAT 8.29 9 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M1_ins0.mps 0 SAT 0.44 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M3_ins4.mps 0 SAT 1.0 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N150_M2_ins1.mps 0 SAT 1.7 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N200_M2_ins0.mps 0 SAT 14.55 5 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M3_ins3.mps 0 SAT 1.36 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M1_ins2.mps 0 SAT 0.4 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M2_ins4.mps 0 SAT 0.84 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M1_ins4.mps 0 SAT 3.3 27 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M3_ins3.mps 0 SAT 0.37 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M1_ins1.mps 0 SAT 0.11 0 10000000000.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M3_ins1.mps 0 SAT 1.06 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M3_ins4.mps 0 SAT 8.9 17 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N150_M1_ins0.mps 0 SAT 0.28 0 10000000000.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M3_ins0.mps 0 SAT 1.58 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N50_M3_ins4.mps 0 SAT 8.53 11 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N150_M3_ins1.mps 0 SAT 2.8 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N200_M3_ins1.mps 0 SAT 4.41 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N200_M2_ins2.mps 0 SAT 0.53 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N100_M3_ins1.mps 0 SAT 0.63 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N200_M2_ins4.mps 0 SAT 2.71 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N50_M3_ins0.mps 0 SAT 23.99 70 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M2_ins2.mps 0 SAT 0.71 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M3_ins0.mps 0 SAT 1.92 3 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M2_ins1.mps 0 SAT 1.28 4 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M2_ins0.mps 0 SAT 5.06 22 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N200_M3_ins3.mps 0 SAT 3.27 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M1_ins4.mps 0 SAT 0.16 0 10000000000.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N150_M2_ins3.mps 0 SAT 1.66 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N150_M3_ins4.mps 0 SAT 2.97 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M3_ins4.mps 0 SAT 25.1 79 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M2_ins1.mps 0 SAT 2.18 12 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N100_M2_ins3.mps 0 SAT 3.65 10 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M1_ins2.mps 0 SAT 0.6 5 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N200_M1_ins4.mps 0 SAT 5.89 3 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M2_ins1.mps 0 SAT 0.82 8 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N100_M2_ins4.mps 0 SAT 3.37 13 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N100_M3_ins3.mps 0 SAT 5.59 13 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N100_M3_ins1.mps 0 SAT 1.65 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M1_ins3.mps 0 SAT 2.39 22 0.04 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N200_M3_ins4.mps 0 SAT 0.7 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M3_ins1.mps 0 SAT 5.08 21 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M1_ins3.mps 0 SAT 0.63 4 0.04 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N50_M3_ins4.mps 0 SAT 5.29 30 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N50_M3_ins1.mps 0 SAT 3.73 3 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N150_M1_ins4.mps 0 SAT 0.76 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N150_M3_ins3.mps 0 SAT 0.58 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M1_ins2.mps 0 SAT 0.39 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M2_ins3.mps 0 SAT 26.27 40 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N200_M2_ins2.mps 0 SAT 2.47 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N100_M1_ins1.mps 0 SAT 0.83 3 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M1_ins3.mps 0 SAT 0.3 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M1_ins2.mps 0 SAT 1.27 7 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N200_M1_ins3.mps 0 SAT 13.86 14 0.02 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M1_ins3.mps 0 SAT 3.77 15 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N150_M1_ins1.mps 0 SAT 0.26 0 10000000000.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M1_ins0.mps 0 SAT 0.86 10 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M3_ins1.mps 0 SAT 1.42 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N50_M2_ins4.mps 0 SAT 4.17 36 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N200_M1_ins3.mps 0 SAT 0.24 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N50_M1_ins2.mps 0 SAT 0.25 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N50_M1_ins3.mps 0 SAT 0.45 4 0.1 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N100_M3_ins4.mps 0 SAT 1.73 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M3_ins0.mps 0 SAT 1.43 12 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N100_M1_ins2.mps 0 SAT 6.56 19 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N150_M3_ins0.mps 0 SAT 17.1 5 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N200_M1_ins1.mps 0 SAT 0.37 0 10000000000.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N200_M1_ins1.mps 0 SAT 1.13 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M1_ins4.mps 0 SAT 0.73 6 0.02 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M3_ins0.mps 0 SAT 4.33 1 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N200_M1_ins4.mps 0 SAT 1.13 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M2_ins1.mps 0 SAT 2.75 8 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M1_ins3.mps 0 SAT 0.09 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N50_M1_ins0.mps 0 SAT 0.31 4 0.06 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M2_ins0.mps 0 SAT 0.63 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M2_ins3.mps 0 SAT 9.35 19 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M2_ins1.mps 0 SAT 0.95 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M2_ins3.mps 0 SAT 0.91 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N200_M3_ins1.mps 0 SAT 0.81 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M3_ins4.mps 0 SAT 0.33 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N100_M3_ins0.mps 0 SAT 12.93 10 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N50_M3_ins2.mps 0 SAT 6.78 41 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M2_ins3.mps 0 SAT 0.31 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N150_M2_ins4.mps 0 SAT 0.36 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M2_ins1.mps 0 SAT 0.65 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N200_M3_ins2.mps 0 SAT 62.17 139 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N150_M3_ins0.mps 0 SAT 0.55 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N50_M3_ins4.mps 0 SAT 2.05 14 0.08 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N100_M2_ins0.mps 0 SAT 0.9 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N150_M1_ins4.mps 0 SAT 0.8 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M2_ins2.mps 0 SAT 5.13 23 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N200_M3_ins4.mps 0 SAT 4.45 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M3_ins0.mps 0 SAT 5.1 3 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N50_M1_ins1.mps 0 SAT 0.76 12 0.07 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N150_M1_ins4.mps 0 SAT 0.17 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N200_M2_ins4.mps 0 SAT 13.91 3 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M2_ins4.mps 0 SAT 5.77 20 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M3_ins3.mps 0 SAT 1.03 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M1_ins1.mps 0 SAT 2.4 18 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M3_ins4.mps 0 SAT 0.15 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N100_M1_ins4.mps 0 SAT 0.21 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N200_M2_ins0.mps 0 SAT 2.28 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N50_M3_ins1.mps 0 SAT 30.9 78 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M1_ins0.mps 0 SAT 1.71 12 0.03 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N200_M1_ins0.mps 0 SAT 1.28 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M2_ins0.mps 0 SAT 8.72 13 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M3_ins1.mps 0 SAT 0.61 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M1_ins1.mps 0 SAT 0.42 9 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M2_ins4.mps 0 SAT 0.12 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M1_ins1.mps 0 SAT 0.03 0 10000000000.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N100_M2_ins3.mps 0 SAT 4.3 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N50_M1_ins4.mps 0 SAT 1.22 3 0.02 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N200_M3_ins2.mps 0 SAT 0.72 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M2_ins0.mps 0 SAT 6.38 10 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N200_M3_ins3.mps 0 SAT 0.79 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N100_M3_ins0.mps 0 SAT 16.98 11 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M2_ins4.mps 0 SAT 0.23 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M2_ins3.mps 0 SAT 5.65 10 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N50_M1_ins0.mps 0 SAT 1.41 4 0.24 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N50_M1_ins0.mps 0 SAT 1.76 13 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N200_M3_ins1.mps 0 SAT 0.81 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N200_M2_ins3.mps 0 SAT 2.73 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N100_M2_ins2.mps 0 SAT 1.2 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N150_M3_ins2.mps 0 SAT 2.45 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N50_M1_ins0.mps 0 SAT 0.46 4 0.04 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N100_M3_ins4.mps 0 SAT 0.57 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N50_M1_ins3.mps 0 SAT 1.12 2 0.02 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M1_ins4.mps 0 SAT 0.48 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N50_M3_ins2.mps 0 SAT 40.78 77 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N50_M2_ins2.mps 0 SAT 8.32 15 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N200_M1_ins0.mps 0 SAT 6.28 4 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M2_ins3.mps 0 SAT 0.28 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N200_M3_ins0.mps 0 SAT 0.72 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N50_M2_ins2.mps 0 SAT 1.27 8 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N100_M1_ins4.mps 0 SAT 0.46 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M1_ins4.mps 0 SAT 0.1 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N200_M1_ins0.mps 0 SAT 0.24 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N100_M3_ins3.mps 0 SAT 17.28 11 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M2_ins2.mps 0 SAT 20.43 50 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N200_M1_ins3.mps 0 SAT 1.17 3 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M3_ins2.mps 0 SAT 1.54 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N150_M2_ins3.mps 0 SAT 0.32 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M1_ins3.mps 0 SAT 0.44 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M3_ins0.mps 0 SAT 12.6 26 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M2_ins2.mps 0 SAT 4.28 3 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N150_M2_ins1.mps 0 SAT 1.73 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N50_M3_ins0.mps 0 SAT 9.87 20 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M3_ins3.mps 0 SAT 1.46 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N50_M3_ins3.mps 0 SAT 7.01 12 0.21 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M1_ins0.mps 0 SAT 0.29 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N200_M2_ins3.mps 0 SAT 0.63 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M2_ins2.mps 0 SAT 0.88 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M2_ins4.mps 0 SAT 8.98 23 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M1_ins0.mps 0 SAT 0.36 8 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N50_M1_ins4.mps 0 SAT 1.42 6 0.06 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N200_M3_ins2.mps 0 SAT 3.88 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M2_ins4.mps 0 SAT 0.94 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N150_M1_ins0.mps 0 SAT 4.59 4 0.02 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N50_M3_ins3.mps 0 SAT 0.73 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N50_M3_ins3.mps 0 SAT 1.03 6 0.05 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M3_ins2.mps 0 SAT 4.32 51 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N100_M3_ins3.mps 0 SAT 1.7 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N200_M2_ins2.mps 0 SAT 2.42 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M1_ins4.mps 0 SAT 0.05 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N150_M1_ins3.mps 0 SAT 0.15 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N50_M1_ins1.mps 0 SAT 0.21 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M2_ins3.mps 0 SAT 0.21 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N150_M2_ins2.mps 0 SAT 11.54 7 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N150_M2_ins3.mps 0 SAT 1.94 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N50_M1_ins3.mps 0 SAT 2.12 16 0.23 -1