/ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M2_ins0.mps 0 SAT 6.1 23 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_ins3.mps 0 SAT 0.93 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M2_ins0.mps 0 SAT 4.21 3 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M3_ins4.mps 0 SAT 0.96 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_ins2.mps 0 SAT 0.31 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_M3_ins4.mps 0 SAT 4.2 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_ins0.mps 0 SAT 39.98 32 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M3_ins3.mps 0 SAT 3.96 41 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_M2_ins3.mps 0 SAT 6.77 20 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M1_ins3.mps 0 SAT 1.22 8 0.09 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N200_M2_ins2.mps 0 SAT 12.29 42 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M3_ins4.mps 0 SAT 1.44 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_N100_M1_ins1.mps 0 SAT 0.58 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M3_ins3.mps 0 SAT 2.79 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_N50_M3_ins2.mps 0 SAT 5.71 10 0.04 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N100_M1_ins3.mps 0 SAT 1.93 17 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N50_M3_ins1.mps 0 SAT 0.87 3 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M2_ins1.mps 0 SAT 0.89 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_ins4.mps 0 SAT 21.39 50 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M3_ins2.mps 0 SAT 1.14 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_ins4.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.1/CMJ2_N150_M1_ins1.mps 0 SAT 1.68 4 0.02 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M2_ins2.mps 0 SAT 1.38 5 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N100_M3_ins0.mps 0 SAT 11.37 29 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N150_M1_ins0.mps 0 SAT 0.18 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_ins1.mps 0 SAT 2.65 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_ins4.mps 0 SAT 0.02 0 10000000000.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N200_M2_ins4.mps 0 SAT 0.48 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M1_ins4.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_N100_M3_ins2.mps 0 SAT 27.19 113 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N50_M2_ins0.mps 0 SAT 1.52 12 0.06 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M3_ins1.mps 0 SAT 36.01 84 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_ins1.mps 0 SAT 0.63 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_M1_ins1.mps 0 SAT 3.64 8 0.03 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N50_M2_ins3.mps 0 SAT 3.56 9 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_M2_ins0.mps 0 SAT 4.78 13 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M2_ins2.mps 0 SAT 0.22 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M2_ins0.mps 0 SAT 1.36 5 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N50_M3_ins0.mps 0 SAT 1.24 8 0.13 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N100_M2_ins4.mps 0 SAT 1.32 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_ins4.mps 0 SAT 12.95 7 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N50_M3_ins3.mps 0 SAT 5.88 32 0.07 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N50_M2_ins4.mps 0 SAT 1.51 19 0.07 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.1/CMJ2_N200_M3_ins2.mps 0 SAT 3.89 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M3_ins2.mps 0 SAT 12.31 20 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_ins3.mps 0 SAT 2.8 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_ins1.mps 0 SAT 0.22 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_ins3.mps 0 SAT 0.51 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_ins3.mps 0 SAT 3.82 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N200_M2_ins0.mps 0 SAT 0.49 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M2_ins3.mps 0 SAT 1.34 17 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N50_M3_ins1.mps 0 SAT 0.32 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N50_M3_ins0.mps 0 SAT 0.29 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_N150_M3_ins2.mps 0 SAT 110.78 60 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_ins2.mps 0 SAT 1.16 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_M2_ins3.mps 0 SAT 37.59 65 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_M3_ins1.mps 0 SAT 21.15 20 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M1_ins2.mps 0 SAT 0.88 11 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_ins0.mps 0 SAT 17.85 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M1_ins2.mps 0 SAT 4.08 17 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N100_M2_ins0.mps 0 SAT 0.45 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_M2_ins4.mps 0 SAT 2.7 2 0.03 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M3_ins0.mps 0 SAT 0.51 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N50_M2_ins3.mps 0 SAT 2.98 31 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M2_ins2.mps 0 SAT 5.68 18 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N150_M1_ins2.mps 0 SAT 0.15 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M1_ins2.mps 0 SAT 1.37 8 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N50_M2_ins2.mps 0 SAT 0.9 8 0.1 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N100_M3_ins4.mps 0 SAT 7.84 1 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_ins0.mps 0 SAT 7.58 8 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N200_M2_ins1.mps 0 SAT 0.43 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_ins4.mps 0 SAT 0.2 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_M2_ins0.mps 0 SAT 1.6 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M3_ins4.mps 0 SAT 6.65 1 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M1_ins0.mps 0 SAT 0.13 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_ins0.mps 0 SAT 0.85 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N100_M2_ins1.mps 0 SAT 0.41 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_M3_ins1.mps 0 SAT 3.99 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_N150_M1_ins2.mps 0 SAT 11.74 22 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N200_M1_ins2.mps 0 SAT 0.22 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_ins3.mps 0 SAT 0.67 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_ins2.mps 0 SAT 0.35 8 0.12 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N50_M1_ins1.mps 0 SAT 1.53 8 0.07 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N150_M2_ins1.mps 0 SAT 0.33 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_ins2.mps 0 SAT 0.4 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_ins2.mps 0 SAT 0.6 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_M1_ins3.mps 0 SAT 0.96 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_ins2.mps 0 SAT 69.24 70 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M1_ins1.mps 0 SAT 0.39 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_M1_ins4.mps 0 SAT 5.17 13 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N100_M1_ins2.mps 0 SAT 0.06 0 10000000000.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M1_ins0.mps 0 SAT 0.45 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_M3_ins0.mps 0 SAT 2.52 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N200_M3_ins4.mps 0 SAT 0.77 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_N100_M1_ins3.mps 0 SAT 0.49 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M1_ins0.mps 0 SAT 2.57 12 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M1_ins1.mps 0 SAT 0.12 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_ins2.mps 0 SAT 2.58 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N200_M1_ins0.mps 0 SAT 0.22 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N200_M3_ins2.mps 0 SAT 1.46 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_ins3.mps 0 SAT 9.54 18 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_M2_ins1.mps 0 SAT 26.61 38 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M1_ins3.mps 0 SAT 0.02 0 10000000000.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N50_M2_ins0.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_N150_M1_ins1.mps 0 SAT 0.14 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_M2_ins0.mps 0 SAT 0.61 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_M1_ins2.mps 0 SAT 6.67 10 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N200_M2_ins1.mps 0 SAT 0.43 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M2_ins4.mps 0 SAT 2.81 15 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N50_M1_ins1.mps 0 SAT 0.22 2 0.03 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M2_ins3.mps 0 SAT 2.52 8 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/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^_a_over_b_/kappa=0.2/CMJ2_N200_M2_ins3.mps 0 SAT 2.47 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_M2_ins4.mps 0 SAT 2.17 3 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M3_ins1.mps 0 SAT 1.82 14 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_M2_ins2.mps 0 SAT 22.13 30 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_ins4.mps 0 SAT 3.16 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M2_ins2.mps 0 SAT 1.98 30 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_ins1.mps 0 SAT 10.99 1 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M2_ins4.mps 0 SAT 0.39 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_M1_ins3.mps 0 SAT 2.92 6 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_ins1.mps 0 SAT 0.81 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_ins0.mps 0 SAT 0.35 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_ins3.mps 0 SAT 2.89 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N50_M3_ins2.mps 0 SAT 4.96 44 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M2_ins1.mps 0 SAT 5.9 21 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_M2_ins4.mps 0 SAT 12.97 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_N100_M1_ins2.mps 0 SAT 4.36 14 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M1_ins4.mps 0 SAT 2.13 11 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_ins4.mps 0 SAT 11.57 9 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N150_M2_ins1.mps 0 SAT 5.96 10 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M3_ins3.mps 0 SAT 5.51 20 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N200_M1_ins1.mps 0 SAT 0.21 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_M1_ins0.mps 0 SAT 0.51 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N200_M1_ins2.mps 0 SAT 0.2 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M3_ins1.mps 0 SAT 7.17 27 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M1_ins4.mps 0 SAT 0.33 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N100_M3_ins4.mps 0 SAT 8.38 38 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N50_M2_ins1.mps 0 SAT 2.75 21 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N200_M2_ins0.mps 0 SAT 0.48 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_ins2.mps 0 SAT 15.76 40 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N50_M1_ins3.mps 0 SAT 1.17 23 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N50_M1_ins2.mps 0 SAT 0.42 3 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M1_ins2.mps 0 SAT 0.4 10 0.06 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^_a_over_b_/kappa=0.2/CMJ2_N50_M2_ins2.mps 0 SAT 2.89 6 0.04 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M1_ins1.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.2/CMJ2_N150_M3_ins1.mps 0 SAT 2.52 0 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N50_M2_ins1.mps 0 SAT 0.59 2 0.02 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N100_M2_ins2.mps 0 SAT 3.57 13 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M3_ins0.mps 0 SAT 1.51 0 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N100_M3_ins2.mps 0 SAT 17.53 39 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M1_ins0.mps 0 SAT 0.1 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_M2_ins1.mps 0 SAT 8.03 8 0.05 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.2/CMJ2_N150_M1_ins2.mps 0 SAT 0.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_N200_M3_ins0.mps 0 SAT 3.86 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_ins4.mps 0 SAT 9.02 20 0.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M2_ins0.mps 0 SAT 0.23 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_ins3.mps 0 SAT 2.87 9 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_ins2.mps 0 SAT 0.24 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_ins4.mps 0 SAT 0.43 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_ins0.mps 0 SAT 1.81 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_N50_M2_ins1.mps 0 SAT 3.05 7 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N100_M3_ins0.mps 0 SAT 2.11 7 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.1/CMJ2_N150_M3_ins3.mps 0 SAT 35.09 113 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_ins2.mps 0 SAT 0.63 0 10000000000.0 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^2/kappa=0.2/CMJ2_N50_M2_ins0.mps 0 SAT 1.57 24 0.01 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M3_ins1.mps 0 SAT 6.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_N100_M1_ins0.mps 0 SAT 4.41 14 0.04 -1 /ubc/cs/home/h/hutter/projects/MIP_data/BCOL/conic.sch/f_y_=ky^3/kappa=0.1/CMJ2_N200_M1_ins1.mps 0 SAT 1.65 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_M1_ins2.mps 0 SAT 4.21 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_ins3.mps 0 SAT 5.47 54 0.0 -1