Skip to content
Snippets Groups Projects
Commit fdd561af authored by Hailu, Dawit's avatar Hailu, Dawit
Browse files

stepsize better made

parents 85ebb29c 3d92d06a
No related branches found
No related tags found
No related merge requests found
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 54 (54 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 6
Minimize
Obj: +1 t_x_{1}_{0} +15 t_x_{1}_{15} +30 t_x_{1}_{30} +45 t_x_{1}_{45} +60 t_x_{1}_{60} +75 t_x_{1}_{75}
+90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +15 t_x_{2}_{15} +30 t_x_{2}_{30} +45 t_x_{2}_{45}
+60 t_x_{2}_{60} +75 t_x_{2}_{75} +90 t_x_{2}_{90} +105 t_x_{2}_{105} +120 t_x_{2}_{120} +15 t_x_{3}_{15}
+30 t_x_{3}_{30} +45 t_x_{3}_{45} +60 t_x_{3}_{60} +75 t_x_{3}_{75} +90 t_x_{3}_{90} +105 t_x_{3}_{105}
+120 t_x_{3}_{120} +15 t_x_{4}_{15} +30 t_x_{4}_{30} +45 t_x_{4}_{45} +60 t_x_{4}_{60} +75 t_x_{4}_{75}
+90 t_x_{4}_{90} +105 t_x_{4}_{105} +120 t_x_{4}_{120} +15 t_x_{5}_{15} +30 t_x_{5}_{30} +45 t_x_{5}_{45}
+60 t_x_{5}_{60} +75 t_x_{5}_{75} +90 t_x_{5}_{90} +105 t_x_{5}_{105} +120 t_x_{5}_{120} +15 t_x_{6}_{15}
+30 t_x_{6}_{30} +45 t_x_{6}_{45} +60 t_x_{6}_{60} +75 t_x_{6}_{75} +90 t_x_{6}_{90} +105 t_x_{6}_{105}
+120 t_x_{6}_{120}
Subject to
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 1
0 <= t_x_{1}_{90} <= 1
0 <= t_x_{1}_{105} <= 1
0 <= t_x_{1}_{120} <= 1
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 1
0 <= t_x_{2}_{105} <= 1
0 <= t_x_{2}_{120} <= 1
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 1
0 <= t_x_{3}_{105} <= 1
0 <= t_x_{3}_{120} <= 1
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 1
0 <= t_x_{4}_{105} <= 1
0 <= t_x_{4}_{120} <= 1
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 1
0 <= t_x_{5}_{105} <= 1
0 <= t_x_{5}_{120} <= 1
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 1
0 <= t_x_{6}_{105} <= 1
0 <= t_x_{6}_{120} <= 1
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120}
End
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 54 (54 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 6
Minimize
Obj: +25 t_x_{1}_{0} +15 t_x_{1}_{15} +30 t_x_{1}_{30} +45 t_x_{1}_{45} +60 t_x_{1}_{60} +75 t_x_{1}_{75}
+90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +24 t_x_{2}_{0} +15 t_x_{2}_{15} +30 t_x_{2}_{30}
+45 t_x_{2}_{45} +60 t_x_{2}_{60} +75 t_x_{2}_{75} +90 t_x_{2}_{90} +105 t_x_{2}_{105} +120 t_x_{2}_{120}
+32 t_x_{3}_{0} +15 t_x_{3}_{15} +30 t_x_{3}_{30} +45 t_x_{3}_{45} +60 t_x_{3}_{60} +75 t_x_{3}_{75}
+90 t_x_{3}_{90} +105 t_x_{3}_{105} +120 t_x_{3}_{120} +32 t_x_{4}_{0} +15 t_x_{4}_{15} +30 t_x_{4}_{30}
+45 t_x_{4}_{45} +60 t_x_{4}_{60} +75 t_x_{4}_{75} +90 t_x_{4}_{90} +105 t_x_{4}_{105} +120 t_x_{4}_{120}
+32 t_x_{5}_{0} +15 t_x_{5}_{15} +30 t_x_{5}_{30} +45 t_x_{5}_{45} +60 t_x_{5}_{60} +75 t_x_{5}_{75}
+90 t_x_{5}_{90} +105 t_x_{5}_{105} +120 t_x_{5}_{120} +16 t_x_{6}_{0} +15 t_x_{6}_{15} +30 t_x_{6}_{30}
+45 t_x_{6}_{45} +60 t_x_{6}_{60} +75 t_x_{6}_{75} +90 t_x_{6}_{90} +105 t_x_{6}_{105} +120 t_x_{6}_{120}
-56
Subject to
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 1
0 <= t_x_{1}_{90} <= 1
0 <= t_x_{1}_{105} <= 1
0 <= t_x_{1}_{120} <= 1
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 1
0 <= t_x_{2}_{105} <= 1
0 <= t_x_{2}_{120} <= 1
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 1
0 <= t_x_{3}_{105} <= 1
0 <= t_x_{3}_{120} <= 1
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 1
0 <= t_x_{4}_{105} <= 1
0 <= t_x_{4}_{120} <= 1
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 1
0 <= t_x_{5}_{105} <= 1
0 <= t_x_{5}_{120} <= 1
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 1
0 <= t_x_{6}_{105} <= 1
0 <= t_x_{6}_{120} <= 1
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120}
End
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 54 (54 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 6
Minimize
Obj: +18.3333333333333 t_x_{1}_{0} +25 t_x_{1}_{15} +30 t_x_{1}_{30} +45 t_x_{1}_{45} +60 t_x_{1}_{60}
+75 t_x_{1}_{75} +90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +17.3333333333333 t_x_{2}_{0}
+25 t_x_{2}_{15} +30 t_x_{2}_{30} +45 t_x_{2}_{45} +60 t_x_{2}_{60} +75 t_x_{2}_{75} +90 t_x_{2}_{90}
+105 t_x_{2}_{105} +120 t_x_{2}_{120} +25.3333333333333 t_x_{3}_{0} +28.3333333333333 t_x_{3}_{15}
+30 t_x_{3}_{30} +45 t_x_{3}_{45} +60 t_x_{3}_{60} +75 t_x_{3}_{75} +90 t_x_{3}_{90} +105 t_x_{3}_{105}
+120 t_x_{3}_{120} +25.3333333333333 t_x_{4}_{0} +28.3333333333333 t_x_{4}_{15} +30 t_x_{4}_{30}
+45 t_x_{4}_{45} +60 t_x_{4}_{60} +75 t_x_{4}_{75} +90 t_x_{4}_{90} +105 t_x_{4}_{105} +120 t_x_{4}_{120}
+25.3333333333333 t_x_{5}_{0} +28.3333333333333 t_x_{5}_{15} +30 t_x_{5}_{30} +45 t_x_{5}_{45} +60 t_x_{5}_{60}
+75 t_x_{5}_{75} +90 t_x_{5}_{90} +105 t_x_{5}_{105} +120 t_x_{5}_{120} +12.6666666666667 t_x_{6}_{0}
+21.6666666666667 t_x_{6}_{15} +30 t_x_{6}_{30} +45 t_x_{6}_{45} +60 t_x_{6}_{60} +75 t_x_{6}_{75}
+90 t_x_{6}_{90} +105 t_x_{6}_{105} +120 t_x_{6}_{120} -66
Subject to
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 1
0 <= t_x_{1}_{90} <= 1
0 <= t_x_{1}_{105} <= 1
0 <= t_x_{1}_{120} <= 1
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 1
0 <= t_x_{2}_{105} <= 1
0 <= t_x_{2}_{120} <= 1
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 1
0 <= t_x_{3}_{105} <= 1
0 <= t_x_{3}_{120} <= 1
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 1
0 <= t_x_{4}_{105} <= 1
0 <= t_x_{4}_{120} <= 1
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 1
0 <= t_x_{5}_{105} <= 1
0 <= t_x_{5}_{120} <= 1
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 1
0 <= t_x_{6}_{105} <= 1
0 <= t_x_{6}_{120} <= 1
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120}
End
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 54 (54 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 6
Minimize
Obj: +23.0833333333333 t_x_{1}_{0} +21.8333333333333 t_x_{1}_{15} +30 t_x_{1}_{30} +45 t_x_{1}_{45} +60 t_x_{1}_{60}
+75 t_x_{1}_{75} +90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +22.0833333333333 t_x_{2}_{0}
+21.8333333333333 t_x_{2}_{15} +30 t_x_{2}_{30} +45 t_x_{2}_{45} +60 t_x_{2}_{60} +75 t_x_{2}_{75}
+90 t_x_{2}_{90} +105 t_x_{2}_{105} +120 t_x_{2}_{120} +31.6666666666667 t_x_{3}_{0} +25.1666666666667 t_x_{3}_{15}
+30 t_x_{3}_{30} +45 t_x_{3}_{45} +60 t_x_{3}_{60} +75 t_x_{3}_{75} +90 t_x_{3}_{90} +105 t_x_{3}_{105}
+120 t_x_{3}_{120} +31.6666666666667 t_x_{4}_{0} +25.1666666666667 t_x_{4}_{15} +30 t_x_{4}_{30}
+45 t_x_{4}_{45} +60 t_x_{4}_{60} +75 t_x_{4}_{75} +90 t_x_{4}_{90} +105 t_x_{4}_{105} +120 t_x_{4}_{120}
+31.6666666666667 t_x_{5}_{0} +25.1666666666667 t_x_{5}_{15} +30 t_x_{5}_{30} +45 t_x_{5}_{45} +60 t_x_{5}_{60}
+75 t_x_{5}_{75} +90 t_x_{5}_{90} +105 t_x_{5}_{105} +120 t_x_{5}_{120} +15.8333333333333 t_x_{6}_{0}
+20.0833333333333 t_x_{6}_{15} +30 t_x_{6}_{30} +45 t_x_{6}_{45} +60 t_x_{6}_{60} +75 t_x_{6}_{75}
+90 t_x_{6}_{90} +105 t_x_{6}_{105} +120 t_x_{6}_{120} -70.75
Subject to
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 1
0 <= t_x_{1}_{90} <= 1
0 <= t_x_{1}_{105} <= 1
0 <= t_x_{1}_{120} <= 1
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 1
0 <= t_x_{2}_{105} <= 1
0 <= t_x_{2}_{120} <= 1
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 1
0 <= t_x_{3}_{105} <= 1
0 <= t_x_{3}_{120} <= 1
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 1
0 <= t_x_{4}_{105} <= 1
0 <= t_x_{4}_{120} <= 1
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 1
0 <= t_x_{5}_{105} <= 1
0 <= t_x_{5}_{120} <= 1
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 1
0 <= t_x_{6}_{105} <= 1
0 <= t_x_{6}_{120} <= 1
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120}
End
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 54 (54 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 6
Minimize
Obj: +20.85 t_x_{1}_{0} +25.1833333333333 t_x_{1}_{15} +30 t_x_{1}_{30} +45 t_x_{1}_{45} +60 t_x_{1}_{60}
+75 t_x_{1}_{75} +90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +19.85 t_x_{2}_{0} +25.1833333333333 t_x_{2}_{15}
+30 t_x_{2}_{30} +45 t_x_{2}_{45} +60 t_x_{2}_{60} +75 t_x_{2}_{75} +90 t_x_{2}_{90} +105 t_x_{2}_{105}
+120 t_x_{2}_{120} +29.4333333333333 t_x_{3}_{0} +29.6333333333333 t_x_{3}_{15} +30 t_x_{3}_{30}
+45 t_x_{3}_{45} +60 t_x_{3}_{60} +75 t_x_{3}_{75} +90 t_x_{3}_{90} +105 t_x_{3}_{105} +120 t_x_{3}_{120}
+30.55 t_x_{4}_{0} +28.5166666666667 t_x_{4}_{15} +30 t_x_{4}_{30} +45 t_x_{4}_{45} +60 t_x_{4}_{60}
+75 t_x_{4}_{75} +90 t_x_{4}_{90} +105 t_x_{4}_{105} +120 t_x_{4}_{120} +30.55 t_x_{5}_{0} +28.5166666666667 t_x_{5}_{15}
+30 t_x_{5}_{30} +45 t_x_{5}_{45} +60 t_x_{5}_{60} +75 t_x_{5}_{75} +90 t_x_{5}_{90} +105 t_x_{5}_{105}
+120 t_x_{5}_{120} +15.8333333333333 t_x_{6}_{0} +21.2 t_x_{6}_{15} +30 t_x_{6}_{30} +45 t_x_{6}_{45}
+60 t_x_{6}_{60} +75 t_x_{6}_{75} +90 t_x_{6}_{90} +105 t_x_{6}_{105} +120 t_x_{6}_{120} -74.1
Subject to
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 1
0 <= t_x_{1}_{90} <= 1
0 <= t_x_{1}_{105} <= 1
0 <= t_x_{1}_{120} <= 1
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 1
0 <= t_x_{2}_{105} <= 1
0 <= t_x_{2}_{120} <= 1
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 1
0 <= t_x_{3}_{105} <= 1
0 <= t_x_{3}_{120} <= 1
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 1
0 <= t_x_{4}_{105} <= 1
0 <= t_x_{4}_{120} <= 1
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 1
0 <= t_x_{5}_{105} <= 1
0 <= t_x_{5}_{120} <= 1
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 1
0 <= t_x_{6}_{105} <= 1
0 <= t_x_{6}_{120} <= 1
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120}
End
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 54 (54 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 6
Minimize
Obj: +22.8888888888889 t_x_{1}_{0} +24.1638888888889 t_x_{1}_{15} +30 t_x_{1}_{30} +45 t_x_{1}_{45} +60 t_x_{1}_{60}
+75 t_x_{1}_{75} +90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +21.8888888888889 t_x_{2}_{0}
+24.1638888888889 t_x_{2}_{15} +30 t_x_{2}_{30} +45 t_x_{2}_{45} +60 t_x_{2}_{60} +75 t_x_{2}_{75}
+90 t_x_{2}_{90} +105 t_x_{2}_{105} +120 t_x_{2}_{120} +31.4722222222222 t_x_{3}_{0} +29.6333333333333 t_x_{3}_{15}
+30 t_x_{3}_{30} +45 t_x_{3}_{45} +60 t_x_{3}_{60} +75 t_x_{3}_{75} +90 t_x_{3}_{90} +105 t_x_{3}_{105}
+120 t_x_{3}_{120} +31.5694444444444 t_x_{4}_{0} +29.5361111111111 t_x_{4}_{15} +30 t_x_{4}_{30}
+45 t_x_{4}_{45} +60 t_x_{4}_{60} +75 t_x_{4}_{75} +90 t_x_{4}_{90} +105 t_x_{4}_{105} +120 t_x_{4}_{120}
+31.5694444444444 t_x_{5}_{0} +29.5361111111111 t_x_{5}_{15} +30 t_x_{5}_{30} +45 t_x_{5}_{45} +60 t_x_{5}_{60}
+75 t_x_{5}_{75} +90 t_x_{5}_{90} +105 t_x_{5}_{105} +120 t_x_{5}_{120} +15.8333333333333 t_x_{6}_{0}
+22.2194444444444 t_x_{6}_{15} +30 t_x_{6}_{30} +45 t_x_{6}_{45} +60 t_x_{6}_{60} +75 t_x_{6}_{75}
+90 t_x_{6}_{90} +105 t_x_{6}_{105} +120 t_x_{6}_{120} -77.1583333333333
Subject to
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 1
0 <= t_x_{1}_{90} <= 1
0 <= t_x_{1}_{105} <= 1
0 <= t_x_{1}_{120} <= 1
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 1
0 <= t_x_{2}_{105} <= 1
0 <= t_x_{2}_{120} <= 1
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 1
0 <= t_x_{3}_{105} <= 1
0 <= t_x_{3}_{120} <= 1
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 1
0 <= t_x_{4}_{105} <= 1
0 <= t_x_{4}_{120} <= 1
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 1
0 <= t_x_{5}_{105} <= 1
0 <= t_x_{5}_{120} <= 1
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 1
0 <= t_x_{6}_{105} <= 1
0 <= t_x_{6}_{120} <= 1
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120}
End
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 54 (54 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 6
Minimize
Obj: +23.8916666666667 t_x_{1}_{0} +24.1638888888889 t_x_{1}_{15} +30 t_x_{1}_{30} +45 t_x_{1}_{45} +60 t_x_{1}_{60}
+75 t_x_{1}_{75} +90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +22.8916666666667 t_x_{2}_{0}
+24.1638888888889 t_x_{2}_{15} +30 t_x_{2}_{30} +45 t_x_{2}_{45} +60 t_x_{2}_{60} +75 t_x_{2}_{75}
+90 t_x_{2}_{90} +105 t_x_{2}_{105} +120 t_x_{2}_{120} +31.4722222222222 t_x_{3}_{0} +31.6388888888889 t_x_{3}_{15}
+30 t_x_{3}_{30} +45 t_x_{3}_{45} +60 t_x_{3}_{60} +75 t_x_{3}_{75} +90 t_x_{3}_{90} +105 t_x_{3}_{105}
+120 t_x_{3}_{120} +31.5694444444444 t_x_{4}_{0} +31.5416666666667 t_x_{4}_{15} +30 t_x_{4}_{30}
+45 t_x_{4}_{45} +60 t_x_{4}_{60} +75 t_x_{4}_{75} +90 t_x_{4}_{90} +105 t_x_{4}_{105} +120 t_x_{4}_{120}
+31.5694444444444 t_x_{5}_{0} +31.5416666666667 t_x_{5}_{15} +30 t_x_{5}_{30} +45 t_x_{5}_{45} +60 t_x_{5}_{60}
+75 t_x_{5}_{75} +90 t_x_{5}_{90} +105 t_x_{5}_{105} +120 t_x_{5}_{120} +15.8333333333333 t_x_{6}_{0}
+23.2222222222222 t_x_{6}_{15} +30 t_x_{6}_{30} +45 t_x_{6}_{45} +60 t_x_{6}_{60} +75 t_x_{6}_{75}
+90 t_x_{6}_{90} +105 t_x_{6}_{105} +120 t_x_{6}_{120} -80.1666666666667
Subject to
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 1
0 <= t_x_{1}_{90} <= 1
0 <= t_x_{1}_{105} <= 1
0 <= t_x_{1}_{120} <= 1
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 1
0 <= t_x_{2}_{105} <= 1
0 <= t_x_{2}_{120} <= 1
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 1
0 <= t_x_{3}_{105} <= 1
0 <= t_x_{3}_{120} <= 1
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 1
0 <= t_x_{4}_{105} <= 1
0 <= t_x_{4}_{120} <= 1
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 1
0 <= t_x_{5}_{105} <= 1
0 <= t_x_{5}_{120} <= 1
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 1
0 <= t_x_{6}_{105} <= 1
0 <= t_x_{6}_{120} <= 1
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120}
End
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 54 (54 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 6
Minimize
Obj: +24.8920138888889 t_x_{1}_{0} +22.3190972222222 t_x_{1}_{15} +31.0003472222222 t_x_{1}_{30} +45 t_x_{1}_{45}
+60 t_x_{1}_{60} +75 t_x_{1}_{75} +90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +23.8920138888889 t_x_{2}_{0}
+22.3190972222222 t_x_{2}_{15} +31.0003472222222 t_x_{2}_{30} +45 t_x_{2}_{45} +60 t_x_{2}_{60}
+75 t_x_{2}_{75} +90 t_x_{2}_{90} +105 t_x_{2}_{105} +120 t_x_{2}_{120} +31.4722222222222 t_x_{3}_{0}
+29.6381944444444 t_x_{3}_{15} +32.0006944444444 t_x_{3}_{30} +45 t_x_{3}_{45} +60 t_x_{3}_{60}
+75 t_x_{3}_{75} +90 t_x_{3}_{90} +105 t_x_{3}_{105} +120 t_x_{3}_{120} +31.5694444444444 t_x_{4}_{0}
+29.5409722222222 t_x_{4}_{15} +32.0006944444444 t_x_{4}_{30} +45 t_x_{4}_{45} +60 t_x_{4}_{60}
+75 t_x_{4}_{75} +90 t_x_{4}_{90} +105 t_x_{4}_{105} +120 t_x_{4}_{120} +31.5694444444444 t_x_{5}_{0}
+29.5409722222222 t_x_{5}_{15} +32.0006944444444 t_x_{5}_{30} +45 t_x_{5}_{45} +60 t_x_{5}_{60}
+75 t_x_{5}_{75} +90 t_x_{5}_{90} +105 t_x_{5}_{105} +120 t_x_{5}_{120} +15.8333333333333 t_x_{6}_{0}
+22.221875 t_x_{6}_{15} +31.0003472222222 t_x_{6}_{30} +45 t_x_{6}_{45} +60 t_x_{6}_{60} +75 t_x_{6}_{75}
+90 t_x_{6}_{90} +105 t_x_{6}_{105} +120 t_x_{6}_{120} -80.3225694444444
Subject to
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 1
0 <= t_x_{1}_{90} <= 1
0 <= t_x_{1}_{105} <= 1
0 <= t_x_{1}_{120} <= 1
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 1
0 <= t_x_{2}_{105} <= 1
0 <= t_x_{2}_{120} <= 1
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 1
0 <= t_x_{3}_{105} <= 1
0 <= t_x_{3}_{120} <= 1
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 1
0 <= t_x_{4}_{105} <= 1
0 <= t_x_{4}_{120} <= 1
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 1
0 <= t_x_{5}_{105} <= 1
0 <= t_x_{5}_{120} <= 1
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 1
0 <= t_x_{6}_{105} <= 1
0 <= t_x_{6}_{120} <= 1
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120}
End
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 54 (54 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 6
Minimize
Obj: +22.8919367283951 t_x_{1}_{0} +25.319212962963 t_x_{1}_{15} +30.0003086419753 t_x_{1}_{30} +45 t_x_{1}_{45}
+60 t_x_{1}_{60} +75 t_x_{1}_{75} +90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +21.8919367283951 t_x_{2}_{0}
+25.319212962963 t_x_{2}_{15} +30.0003086419753 t_x_{2}_{30} +45 t_x_{2}_{45} +60 t_x_{2}_{60} +75 t_x_{2}_{75}
+90 t_x_{2}_{90} +105 t_x_{2}_{105} +120 t_x_{2}_{120} +29.4721450617284 t_x_{3}_{0} +33.6383487654321 t_x_{3}_{15}
+30.0006172839506 t_x_{3}_{30} +45 t_x_{3}_{45} +60 t_x_{3}_{60} +75 t_x_{3}_{75} +90 t_x_{3}_{90}
+105 t_x_{3}_{105} +120 t_x_{3}_{120} +30.5694058641975 t_x_{4}_{0} +32.541087962963 t_x_{4}_{15}
+30.0006172839506 t_x_{4}_{30} +45 t_x_{4}_{45} +60 t_x_{4}_{60} +75 t_x_{4}_{75} +90 t_x_{4}_{90}
+105 t_x_{4}_{105} +120 t_x_{4}_{120} +30.5694058641975 t_x_{5}_{0} +32.541087962963 t_x_{5}_{15}
+30.0006172839506 t_x_{5}_{30} +45 t_x_{5}_{45} +60 t_x_{5}_{60} +75 t_x_{5}_{75} +90 t_x_{5}_{90}
+105 t_x_{5}_{105} +120 t_x_{5}_{120} +15.8333333333333 t_x_{6}_{0} +23.2219135802469 t_x_{6}_{15}
+30.0003086419753 t_x_{6}_{30} +45 t_x_{6}_{45} +60 t_x_{6}_{60} +75 t_x_{6}_{75} +90 t_x_{6}_{90}
+105 t_x_{6}_{105} +120 t_x_{6}_{120} -80.3225694444445
Subject to
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 1
0 <= t_x_{1}_{90} <= 1
0 <= t_x_{1}_{105} <= 1
0 <= t_x_{1}_{120} <= 1
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 1
0 <= t_x_{2}_{105} <= 1
0 <= t_x_{2}_{120} <= 1
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 1
0 <= t_x_{3}_{105} <= 1
0 <= t_x_{3}_{120} <= 1
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 1
0 <= t_x_{4}_{105} <= 1
0 <= t_x_{4}_{120} <= 1
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 1
0 <= t_x_{5}_{105} <= 1
0 <= t_x_{5}_{120} <= 1
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 1
0 <= t_x_{6}_{105} <= 1
0 <= t_x_{6}_{120} <= 1
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120}
End
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 54 (54 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 6
Minimize
Obj: +24.8919444444444 t_x_{1}_{0} +23.3192052469136 t_x_{1}_{15} +30.0003086419753 t_x_{1}_{30} +45 t_x_{1}_{45}
+60 t_x_{1}_{60} +75 t_x_{1}_{75} +90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +23.8919444444444 t_x_{2}_{0}
+23.3192052469136 t_x_{2}_{15} +30.0003086419753 t_x_{2}_{30} +45 t_x_{2}_{45} +60 t_x_{2}_{60}
+75 t_x_{2}_{75} +90 t_x_{2}_{90} +105 t_x_{2}_{105} +120 t_x_{2}_{120} +31.4721527777778 t_x_{3}_{0}
+31.6383410493827 t_x_{3}_{15} +30.0006172839506 t_x_{3}_{30} +45 t_x_{3}_{45} +60 t_x_{3}_{60}
+75 t_x_{3}_{75} +90 t_x_{3}_{90} +105 t_x_{3}_{105} +120 t_x_{3}_{120} +31.5694097222222 t_x_{4}_{0}
+30.5410802469136 t_x_{4}_{15} +31.0006211419753 t_x_{4}_{30} +45 t_x_{4}_{45} +60 t_x_{4}_{60}
+75 t_x_{4}_{75} +90 t_x_{4}_{90} +105 t_x_{4}_{105} +120 t_x_{4}_{120} +31.5694097222222 t_x_{5}_{0}
+30.5410802469136 t_x_{5}_{15} +31.0006211419753 t_x_{5}_{30} +45 t_x_{5}_{45} +60 t_x_{5}_{60}
+75 t_x_{5}_{75} +90 t_x_{5}_{90} +105 t_x_{5}_{105} +120 t_x_{5}_{120} +15.8333333333333 t_x_{6}_{0}
+22.2219097222222 t_x_{6}_{15} +31.0003125 t_x_{6}_{30} +45 t_x_{6}_{45} +60 t_x_{6}_{60} +75 t_x_{6}_{75}
+90 t_x_{6}_{90} +105 t_x_{6}_{105} +120 t_x_{6}_{120} -80.3225694444444
Subject to
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 1
0 <= t_x_{1}_{90} <= 1
0 <= t_x_{1}_{105} <= 1
0 <= t_x_{1}_{120} <= 1
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 1
0 <= t_x_{2}_{105} <= 1
0 <= t_x_{2}_{120} <= 1
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 1
0 <= t_x_{3}_{105} <= 1
0 <= t_x_{3}_{120} <= 1
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 1
0 <= t_x_{4}_{105} <= 1
0 <= t_x_{4}_{120} <= 1
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 1
0 <= t_x_{5}_{105} <= 1
0 <= t_x_{5}_{120} <= 1
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 1
0 <= t_x_{6}_{105} <= 1
0 <= t_x_{6}_{120} <= 1
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120}
End
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 54 (54 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 6
Minimize
Obj: +22.8919437429854 t_x_{1}_{0} +25.3192059483726 t_x_{1}_{15} +30.0003086419753 t_x_{1}_{30} +45 t_x_{1}_{45}
+60 t_x_{1}_{60} +75 t_x_{1}_{75} +90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +21.8919437429854 t_x_{2}_{0}
+25.3192059483726 t_x_{2}_{15} +30.0003086419753 t_x_{2}_{30} +45 t_x_{2}_{45} +60 t_x_{2}_{60}
+75 t_x_{2}_{75} +90 t_x_{2}_{90} +105 t_x_{2}_{105} +120 t_x_{2}_{120} +29.4721520763187 t_x_{3}_{0}
+33.6383417508418 t_x_{3}_{15} +30.0006172839506 t_x_{3}_{30} +45 t_x_{3}_{45} +60 t_x_{3}_{60}
+75 t_x_{3}_{75} +90 t_x_{3}_{90} +105 t_x_{3}_{105} +120 t_x_{3}_{120} +30.5694093714927 t_x_{4}_{0}
+32.5410809483726 t_x_{4}_{15} +30.0006207912458 t_x_{4}_{30} +45 t_x_{4}_{45} +60 t_x_{4}_{60}
+75 t_x_{4}_{75} +90 t_x_{4}_{90} +105 t_x_{4}_{105} +120 t_x_{4}_{120} +30.5694093714927 t_x_{5}_{0}
+32.5410809483726 t_x_{5}_{15} +30.0006207912458 t_x_{5}_{30} +45 t_x_{5}_{45} +60 t_x_{5}_{60}
+75 t_x_{5}_{75} +90 t_x_{5}_{90} +105 t_x_{5}_{105} +120 t_x_{5}_{120} +15.8333333333333 t_x_{6}_{0}
+23.2219100729517 t_x_{6}_{15} +30.0003121492705 t_x_{6}_{30} +45 t_x_{6}_{45} +60 t_x_{6}_{60}
+75 t_x_{6}_{75} +90 t_x_{6}_{90} +105 t_x_{6}_{105} +120 t_x_{6}_{120} -80.3225694444444
Subject to
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 1
0 <= t_x_{1}_{90} <= 1
0 <= t_x_{1}_{105} <= 1
0 <= t_x_{1}_{120} <= 1
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 1
0 <= t_x_{2}_{105} <= 1
0 <= t_x_{2}_{120} <= 1
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 1
0 <= t_x_{3}_{105} <= 1
0 <= t_x_{3}_{120} <= 1
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 1
0 <= t_x_{4}_{105} <= 1
0 <= t_x_{4}_{120} <= 1
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 1
0 <= t_x_{5}_{105} <= 1
0 <= t_x_{5}_{120} <= 1
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 1
0 <= t_x_{6}_{105} <= 1
0 <= t_x_{6}_{120} <= 1
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120}
End
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 54 (54 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 6
Minimize
Obj: +24.8919438014403 t_x_{1}_{0} +23.3192058899177 t_x_{1}_{15} +30.0003086419753 t_x_{1}_{30} +45 t_x_{1}_{45}
+60 t_x_{1}_{60} +75 t_x_{1}_{75} +90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +23.8919438014403 t_x_{2}_{0}
+23.3192058899177 t_x_{2}_{15} +30.0003086419753 t_x_{2}_{30} +45 t_x_{2}_{45} +60 t_x_{2}_{60}
+75 t_x_{2}_{75} +90 t_x_{2}_{90} +105 t_x_{2}_{105} +120 t_x_{2}_{120} +31.4721521347737 t_x_{3}_{0}
+31.6383416923868 t_x_{3}_{15} +30.0006172839506 t_x_{3}_{30} +45 t_x_{3}_{45} +60 t_x_{3}_{60}
+75 t_x_{3}_{75} +90 t_x_{3}_{90} +105 t_x_{3}_{105} +120 t_x_{3}_{120} +31.5694094007202 t_x_{4}_{0}
+30.5410808899177 t_x_{4}_{15} +31.0006208204733 t_x_{4}_{30} +45 t_x_{4}_{45} +60 t_x_{4}_{60}
+75 t_x_{4}_{75} +90 t_x_{4}_{90} +105 t_x_{4}_{105} +120 t_x_{4}_{120} +31.5694094007202 t_x_{5}_{0}
+30.5410808899177 t_x_{5}_{15} +31.0006208204733 t_x_{5}_{30} +45 t_x_{5}_{45} +60 t_x_{5}_{60}
+75 t_x_{5}_{75} +90 t_x_{5}_{90} +105 t_x_{5}_{105} +120 t_x_{5}_{120} +15.8333333333333 t_x_{6}_{0}
+22.2219100437243 t_x_{6}_{15} +31.0003121784979 t_x_{6}_{30} +45 t_x_{6}_{45} +60 t_x_{6}_{60}
+75 t_x_{6}_{75} +90 t_x_{6}_{90} +105 t_x_{6}_{105} +120 t_x_{6}_{120} -80.3225694444444
Subject to
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 1
0 <= t_x_{1}_{90} <= 1
0 <= t_x_{1}_{105} <= 1
0 <= t_x_{1}_{120} <= 1
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 1
0 <= t_x_{2}_{105} <= 1
0 <= t_x_{2}_{120} <= 1
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 1
0 <= t_x_{3}_{105} <= 1
0 <= t_x_{3}_{120} <= 1
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 1
0 <= t_x_{4}_{105} <= 1
0 <= t_x_{4}_{120} <= 1
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 1
0 <= t_x_{5}_{105} <= 1
0 <= t_x_{5}_{120} <= 1
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 1
0 <= t_x_{6}_{105} <= 1
0 <= t_x_{6}_{120} <= 1
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120}
End
This diff is collapsed.
This diff is collapsed.
<<<<<<< HEAD
number of solutions 1, first iteration bound=969553.451655, objsol=969553.451655 number of solutions 1, first iteration bound=969553.451655, objsol=969553.451655
number of solutions 2, first iteration bound=911613.111366, objsol=911613.111366 number of solutions 2, first iteration bound=911613.111366, objsol=911613.111366
number of solutions 4, first iteration bound=947154.171486, objsol=947154.171486 number of solutions 4, first iteration bound=947154.171486, objsol=947154.171486
...@@ -649,3 +650,30 @@ number of solutions 11, first iteration bound=1336062.455449, objsol=1336062 ...@@ -649,3 +650,30 @@ number of solutions 11, first iteration bound=1336062.455449, objsol=1336062
number of solutions 9, first iteration bound=1336062.871911, objsol=1336062.871911 number of solutions 9, first iteration bound=1336062.871911, objsol=1336062.871911
number of solutions 11, first iteration bound=1336062.125530, objsol=1336062.125530 number of solutions 11, first iteration bound=1336062.125530, objsol=1336062.125530
number of solutions 9, first iteration bound=1336062.948754, objsol=1336062.948754 number of solutions 9, first iteration bound=1336062.948754, objsol=1336062.948754
=======
number of solutions 1, first iteration bound=1.000000, objsol=1.000000
lowerbound = 1.000000
number of solutions 2, first iteration bound=34.000000, objsol=34.000000
lowerbound = 90.000000
number of solutions 2, first iteration bound=58.333333, objsol=58.333333
lowerbound = 1.000000
number of solutions 3, first iteration bound=64.250000, objsol=64.250000
lowerbound = 75.000000
number of solutions 4, first iteration bound=68.900000, objsol=68.900000
lowerbound = 31.000000
number of solutions 5, first iteration bound=72.158333, objsol=72.158333
lowerbound = 46.000000
number of solutions 6, first iteration bound=72.450000, objsol=72.450000
lowerbound = 91.000000
number of solutions 6, first iteration bound=68.869097, objsol=68.869097
lowerbound = 75.000000
number of solutions 7, first iteration bound=69.768017, objsol=69.768017
lowerbound = 61.000000
number of solutions 8, first iteration bound=73.231952, objsol=73.231952
lowerbound = 90.000000
number of solutions 8, first iteration bound=69.768045, objsol=69.768045
lowerbound = 61.000000
number of solutions 8, first iteration bound=73.231955, objsol=73.231955
lowerbound = 90.000000
>>>>>>> 3d92d06a76cc6c4667871c4c3b4d0e3184fc9a3b
...@@ -304,13 +304,21 @@ SCIP_DECL_RELAXINIT(relaxInitlagr) ...@@ -304,13 +304,21 @@ SCIP_DECL_RELAXINIT(relaxInitlagr)
iter=fopen("iter.txt","wr"); iter=fopen("iter.txt","wr");
<<<<<<< HEAD
//fprintf(lower, "hi"); //fprintf(lower, "hi");
=======
fprintf(lower, "hi");
>>>>>>> 3d92d06a76cc6c4667871c4c3b4d0e3184fc9a3b
SCIP_Real* solvals; SCIP_Real* solvals;
SCIP_CALL(SCIPallocBufferArray(relaxscip,&solvals,nvars+2)); SCIP_CALL(SCIPallocBufferArray(relaxscip,&solvals,nvars+2));
solvals[nvars+1]=0; //for last solutions solvals[nvars+1]=0; //for last solutions
solvals[nvars]=0; //for best solution solvals[nvars]=0; //for best solution
<<<<<<< HEAD
int maxiter=1500; int maxiter=1500;
=======
int maxiter=12;
>>>>>>> 3d92d06a76cc6c4667871c4c3b4d0e3184fc9a3b
int oscilatecounter=0; int oscilatecounter=0;
int improvementcounter = 0; int improvementcounter = 0;
...@@ -352,7 +360,11 @@ SCIP_DECL_RELAXINIT(relaxInitlagr) ...@@ -352,7 +360,11 @@ SCIP_DECL_RELAXINIT(relaxInitlagr)
SCIPinfoMessage(relaxscip, TimeCollector, "\n finished changing the variable's weight after (sec) : %f\n", SCIPgetClockTime(relaxscip, totaliteration)); SCIPinfoMessage(relaxscip, TimeCollector, "\n finished changing the variable's weight after (sec) : %f\n", SCIPgetClockTime(relaxscip, totaliteration));
SCIP_CALL(SCIPaddOrigObjoffset(relaxscip,-1*sumofduals)); SCIP_CALL(SCIPaddOrigObjoffset(relaxscip,-1*sumofduals));
<<<<<<< HEAD
//SCIP_CALL(SCIPprintOrigProblem(relaxscip, AfterPreProcessing, "lp", FALSE)); //SCIP_CALL(SCIPprintOrigProblem(relaxscip, AfterPreProcessing, "lp", FALSE));
=======
SCIP_CALL(SCIPprintOrigProblem(relaxscip, AfterPreProcessing, "lp", FALSE));
>>>>>>> 3d92d06a76cc6c4667871c4c3b4d0e3184fc9a3b
SCIPsetMessagehdlrQuiet(relaxscip, TRUE); SCIPsetMessagehdlrQuiet(relaxscip, TRUE);
// fclose(AfterPreProcessing); // fclose(AfterPreProcessing);
...@@ -390,10 +402,17 @@ SCIP_DECL_RELAXINIT(relaxInitlagr) ...@@ -390,10 +402,17 @@ SCIP_DECL_RELAXINIT(relaxInitlagr)
SCIP_SOL** sols = SCIPgetSols(relaxscip); SCIP_SOL** sols = SCIPgetSols(relaxscip);
int nsols = SCIPgetNSols(relaxscip); int nsols = SCIPgetNSols(relaxscip);
<<<<<<< HEAD
//fprintf(lower,"%d iteration \n",iter); //fprintf(lower,"%d iteration \n",iter);
for(int n=0; n<nsols; n++) for(int n=0; n<nsols; n++)
{ {
//SCIP_CALL(SCIPprintSol(relaxscip,sols[n],lower,FALSE)); //SCIP_CALL(SCIPprintSol(relaxscip,sols[n],lower,FALSE));
=======
fprintf(lower,"%d iteration \n",iter);
for(int n=0; n<nsols; n++)
{
SCIP_CALL(SCIPprintSol(relaxscip,sols[n],lower,FALSE));
>>>>>>> 3d92d06a76cc6c4667871c4c3b4d0e3184fc9a3b
} }
...@@ -466,11 +485,16 @@ SCIP_DECL_RELAXINIT(relaxInitlagr) ...@@ -466,11 +485,16 @@ SCIP_DECL_RELAXINIT(relaxInitlagr)
// fprintf(dual,"dualbound = %f, lowerbound=%f, norm of subgrad %f\t",SCIPgetPrimalbound(relaxscip),lowerbound, getnorm(subgradients,nSlotConss,stepsize)); // fprintf(dual,"dualbound = %f, lowerbound=%f, norm of subgrad %f\t",SCIPgetPrimalbound(relaxscip),lowerbound, getnorm(subgradients,nSlotConss,stepsize));
// fprintf(lower,"%f\n",lowerbound); // fprintf(lower,"%f\n",lowerbound);
<<<<<<< HEAD
SCIP_Real difference = 3000000-SCIPgetPrimalbound(relaxscip); SCIP_Real difference = 3000000-SCIPgetPrimalbound(relaxscip);
if(improvementcounter<5){stepsize = 0.25*(difference)/(getnorm(subgradients,nSlotConss,stepsize)*getnorm(subgradients,nSlotConss,stepsize));} if(improvementcounter<5){stepsize = 0.25*(difference)/(getnorm(subgradients,nSlotConss,stepsize)*getnorm(subgradients,nSlotConss,stepsize));}
else{stepsize = 0.1*(difference)/(getnorm(subgradients,nSlotConss,stepsize)*getnorm(subgradients,nSlotConss,stepsize));} else{stepsize = 0.1*(difference)/(getnorm(subgradients,nSlotConss,stepsize)*getnorm(subgradients,nSlotConss,stepsize));}
//fprintf(dual,"dualbound = %f, lowerbound=%f, norm of subgrad %f\t stepsize= %f \n" ,SCIPgetPrimalbound(relaxscip),lowerbound, getnorm(subgradients,nSlotConss,stepsize), stepsize); //fprintf(dual,"dualbound = %f, lowerbound=%f, norm of subgrad %f\t stepsize= %f \n" ,SCIPgetPrimalbound(relaxscip),lowerbound, getnorm(subgradients,nSlotConss,stepsize), stepsize);
=======
// stepsize = (SCIPgetPrimalbound(relaxscip)-lowerbound)/getnorm(subgradients,nSlotConss,stepsize);
fprintf(dual,"dualbound = %f, lowerbound=%f, norm of subgrad %f\t stepsize= %f \n" ,SCIPgetPrimalbound(relaxscip),lowerbound, getnorm(subgradients,nSlotConss,stepsize), stepsize);
>>>>>>> 3d92d06a76cc6c4667871c4c3b4d0e3184fc9a3b
SCIP_CALL( SCIPfreeTransform(relaxscip) ); SCIP_CALL( SCIPfreeTransform(relaxscip) );
//fprintf(solutions, "lowerbound = %f \n ", lowerbound); //fprintf(solutions, "lowerbound = %f \n ", lowerbound);
...@@ -487,7 +511,11 @@ SCIP_DECL_RELAXINIT(relaxInitlagr) ...@@ -487,7 +511,11 @@ SCIP_DECL_RELAXINIT(relaxInitlagr)
if(dualmultipliers[r]<0){dualmultipliers[r]=0;} if(dualmultipliers[r]<0){dualmultipliers[r]=0;}
sumofduals+=dualmultipliers[r]; sumofduals+=dualmultipliers[r];
<<<<<<< HEAD
//fprintf(dual," then dual = %f step size %f, subgradient %f \n",dualmultipliers[r], stepsize,subgradients[r]); //fprintf(dual," then dual = %f step size %f, subgradient %f \n",dualmultipliers[r], stepsize,subgradients[r]);
=======
fprintf(dual," then dual = %f step size %f, subgradient %f \n",dualmultipliers[r], stepsize,subgradients[r]);
>>>>>>> 3d92d06a76cc6c4667871c4c3b4d0e3184fc9a3b
} }
// sumofduals=sum; // sumofduals=sum;
// fprintf(dual,"iteration %d, sumofduals=%f\n",iter, sumofduals); // fprintf(dual,"iteration %d, sumofduals=%f\n",iter, sumofduals);
......
<<<<<<< HEAD
row and column identified in (sec) : 5.892216 row and column identified in (sec) : 5.892216
finished changing the variable's weight after (sec) : 0.000992 finished changing the variable's weight after (sec) : 0.000992
...@@ -1952,3 +1953,114 @@ ...@@ -1952,3 +1953,114 @@
187.977834 187.977834
finished changing the variable's weight after (sec) : 187.978965 finished changing the variable's weight after (sec) : 187.978965
=======
row and column identified in (sec) : 0.001725
finished changing the variable's weight after (sec) : 0.001725
first iteration: problem solved after (sec) : 0.001725
subgradients found after (sec) : 0.001725
, lowerbound = 1.000000
new dual found after (sec) : 0.001725
finished changing the variable's weight after (sec) : 0.001725
first iteration: problem solved after (sec) : 0.001725
subgradients found after (sec) : 0.001725
, lowerbound = 90.000000
new dual found after (sec) : 0.001725
finished changing the variable's weight after (sec) : 0.001725
first iteration: problem solved after (sec) : 0.001725
subgradients found after (sec) : 0.001725
, lowerbound = 1.000000
new dual found after (sec) : 0.001725
finished changing the variable's weight after (sec) : 0.001725
first iteration: problem solved after (sec) : 0.001725
subgradients found after (sec) : 0.001725
, lowerbound = 75.000000
new dual found after (sec) : 0.001725
finished changing the variable's weight after (sec) : 0.001725
first iteration: problem solved after (sec) : 0.001725
subgradients found after (sec) : 0.001725
, lowerbound = 31.000000
new dual found after (sec) : 0.001725
finished changing the variable's weight after (sec) : 0.001725
first iteration: problem solved after (sec) : 0.001725
subgradients found after (sec) : 0.001725
, lowerbound = 46.000000
new dual found after (sec) : 0.001725
finished changing the variable's weight after (sec) : 0.001725
first iteration: problem solved after (sec) : 0.001725
subgradients found after (sec) : 0.001725
, lowerbound = 91.000000
new dual found after (sec) : 0.001725
finished changing the variable's weight after (sec) : 0.001725
first iteration: problem solved after (sec) : 0.001725
subgradients found after (sec) : 0.001725
, lowerbound = 75.000000
new dual found after (sec) : 0.001725
finished changing the variable's weight after (sec) : 0.001725
first iteration: problem solved after (sec) : 0.001725
subgradients found after (sec) : 0.001725
, lowerbound = 61.000000
new dual found after (sec) : 0.001725
finished changing the variable's weight after (sec) : 0.001725
first iteration: problem solved after (sec) : 0.001725
subgradients found after (sec) : 0.001725
, lowerbound = 90.000000
new dual found after (sec) : 0.001725
finished changing the variable's weight after (sec) : 0.001725
first iteration: problem solved after (sec) : 0.001725
subgradients found after (sec) : 0.001725
, lowerbound = 61.000000
new dual found after (sec) : 0.001725
finished changing the variable's weight after (sec) : 0.001725
first iteration: problem solved after (sec) : 0.001725
subgradients found after (sec) : 0.001725
, lowerbound = 90.000000
new dual found after (sec) : 0.001725
>>>>>>> 3d92d06a76cc6c4667871c4c3b4d0e3184fc9a3b
<<<<<<< HEAD
969553.451655 969553.451655
969553.451655 969553.451655
969553.451655 969553.451655
...@@ -649,3 +650,17 @@ ...@@ -649,3 +650,17 @@
1336062.871911 1336062.871911
1336062.871911 1336062.871911
1336062.948754 1336062.948754
=======
1.000000
34.000000
58.333333
64.250000
68.900000
72.158333
72.450000
72.450000
72.450000
73.231952
73.231952
73.231955
>>>>>>> 3d92d06a76cc6c4667871c4c3b4d0e3184fc9a3b
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment