47 lines (45 with data), 1.9 kB
*plrs:lrslib v.6.0 2015.7.22(lrsgmp.h)8 processes
*Copyright (C) 1995,2015, David Avis avis@cs.mcgill.ca
*Input taken from mp5.ine
*Max depth of 3 to initialize starting cobasis list
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 2/3 2/3 2/3 2/3 2/3 2/3 2/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 1/3 2/3 2/3 2/3 1/3 1/3 1/3 2/3 2/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 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 2/3 1/3 1/3 1/3 2/3 2/3 1/3 1/3 2/3
1 2/3 1/3 1/3 1/3 1/3 1/3 1/3 2/3 2/3 2/3
1 2/3 2/3 2/3 1/3 2/3 2/3 1/3 2/3 1/3 1/3
1 1 0 1 0 1 0 1 1 0 1
1 2/3 1/3 1/3 2/3 1/3 1/3 2/3 2/3 1/3 1/3
1 0 1 0 0 1 0 0 1 1 0
1 1/3 1/3 1/3 2/3 2/3 2/3 1/3 2/3 1/3 1/3
1 1/3 1/3 2/3 1/3 2/3 1/3 2/3 1/3 2/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 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 1 0 0 0 1 1 1 1 0
1 1/3 2/3 2/3 1/3 1/3 1/3 2/3 2/3 1/3 1/3
1 1 0 0 0 1 1 1 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 0 0 0 0 0 0 0 0 0 0
end
*Finished initializing cobasis list with 122 starting cobases
*Starting 8 producer thread(s) and 1 consumer thread
*Totals: vertices=32 rays=0 bases=9041 integer-vertices=16
*Phase 1 time: 0 seconds
*Elapsed time: 0 seconds.