Labels Milestones
Back-0.24378 0.92322 vertex 6.46493 6.46493 3.76384 vertex -3.62355 8.74802 3.54602 vertex 9.55875 -1.90135 3.26879 vertex -0.344109 9.92995 2.94279 facet normal 4.851193e-001 8.489587e-001 2.095910e-001 vertex -5.580517e-001 -4.349519e+000 2.475471e+001 facet normal -4.629302e-004 0.000000e+000 -9.999999e-001 facet normal -0.634388 -0.773014 -0 vertex -1.38893 2.07867 6.7 vertex 2.07867 1.38893 6.5 vertex -2.07867 -1.38893 6.7 facet normal -0.370051 0.603866 0.70598 facet normal -0.0896506 0.0431734 -0.995037 vertex -9.67267 2.88811 0.0491304 facet normal -0.133707 0.0819149 0.98763 facet.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after re-centering sliders.
- 1.055560e+02 4.255000e+01 facet normal -0.532832 0.843291 -0.0703581.