--- a +++ b/feasible_joint_stiffness/lrslib-062/mp5.mplrs @@ -0,0 +1,43 @@ +*mplrs:lrslib v.6.0 2015.7.13(lrsgmp.h)8 processes +*Copyright (C) 1995,2015, David Avis avis@cs.mcgill.ca +*Input taken from mp5.ine +*Starting depth of 2 maxcobases=50 maxdepth=0 lmin=3 lmax=3 scale=100 + +V-representation +begin +***** 11 rational + 1 1 1 1 1 0 0 0 0 0 0 + 1 0 0 1 1 0 1 1 1 1 0 + 1 1 0 1 1 1 0 0 1 1 0 + 1 0 1 1 1 1 1 1 0 0 0 + 1 0 1 0 1 1 0 1 1 0 1 + 1 1 1 0 1 0 1 0 1 0 1 + 1 0 1 1 0 1 1 0 0 1 1 + 1 1 1 1 0 0 0 1 0 1 1 + 1 0 0 0 1 0 0 1 0 1 1 + 1 0 0 1 0 0 1 0 1 0 1 + 1 1/3 2/3 2/3 2/3 1/3 1/3 1/3 2/3 2/3 2/3 + 1 2/3 2/3 1/3 1/3 2/3 1/3 1/3 1/3 1/3 2/3 + 1 2/3 2/3 2/3 2/3 2/3 2/3 2/3 2/3 2/3 2/3 + 1 1 0 0 1 1 1 0 0 1 1 + 1 2/3 1/3 2/3 2/3 1/3 2/3 2/3 1/3 1/3 2/3 + 1 1/3 1/3 2/3 2/3 2/3 1/3 1/3 1/3 1/3 2/3 + 1 1/3 2/3 1/3 1/3 1/3 2/3 2/3 1/3 1/3 2/3 + 1 1 0 1 0 1 0 1 1 0 1 + 1 2/3 2/3 2/3 1/3 2/3 2/3 1/3 2/3 1/3 1/3 + 1 2/3 1/3 1/3 1/3 1/3 1/3 1/3 2/3 2/3 2/3 + 1 1/3 1/3 1/3 2/3 2/3 2/3 1/3 2/3 1/3 1/3 + 1 2/3 1/3 1/3 2/3 1/3 1/3 2/3 2/3 1/3 1/3 + 1 1/3 2/3 1/3 2/3 1/3 2/3 1/3 1/3 2/3 1/3 + 1 0 1 0 0 1 0 0 1 1 0 + 1 2/3 1/3 2/3 1/3 1/3 2/3 1/3 1/3 2/3 1/3 + 1 1/3 1/3 1/3 1/3 2/3 2/3 2/3 2/3 2/3 2/3 + 1 1 0 0 0 1 1 1 0 0 0 + 1 0 0 0 0 0 0 0 0 0 0 + 1 2/3 2/3 1/3 2/3 2/3 1/3 2/3 1/3 2/3 1/3 + 1 1/3 2/3 2/3 1/3 1/3 1/3 2/3 2/3 1/3 1/3 + 1 1 1 0 0 0 1 1 1 1 0 + 1 1/3 1/3 2/3 1/3 2/3 1/3 2/3 1/3 2/3 1/3 +end +*Totals: vertices=32 rays=0 bases=9041 integer-vertices=16 +*Elapsed time: 1 seconds.