Labels Milestones
Back-5.44279 19.9506 facet normal 9.442197e-01 -0.000000e+00 3.293163e-01 vertex -1.080794e+02 9.715134e+01 4.440930e+00 facet normal -0.433624 -0.16179 0.88645 facet normal -0.290283 -0.956941 -0 facet normal -0.76572 0.435817 0.473008 facet normal 8.613040e-01 5.080899e-01 -0.000000e+00 facet normal 0.366306 0.92519 0.099216 facet normal -0.0464241 -0.0868538 0.995139 vertex -2.78147 -6.9771 6.0001 facet normal -0.954686 0.292559 0.0546222 facet normal -0.0546401 0.554737 0.83023 facet normal 0.595017 0.488315 -0.63836 facet normal 0.77078 0.0759133 0.632562 vertex 1.70669 -8.58011 5.33536 facet normal 0.403622 0.491816 0.771496 facet normal -9.838276e-002 -1.035816e-003 9.951481e-001 facet normal 2.537102e-001 -4.349547e-001 8.639708e-001 facet normal -0.191481 -0.962628 -0.191527 facet normal 1.800798e-001 -3.061225e-001 9.348049e-001 facet normal 7.808505e-001 3.477071e-003 6.247083e-001 vertex -4.059345e+000 -5.139714e-002 2.484855e+001 facet normal -0.0154455 0.484683 0.874554 facet normal -0.584942 0.804991 0.0991595 facet normal -5.786627e-004 0.000000e+000 -9.999998e-001 facet normal -4.075203e-001 -7.106009e-001 5.735623e-001 vertex 4.315806e+000 3.336501e+000 2.480400e+001 facet normal -0.556192 -0.831054 0 vertex -8.65691 5.31736 0 facet normal -0.262751 0.491602 0.830234 facet normal 0.683044 -0.365094 0.63258 vertex 3.34779 -8.08229 5.33536 facet.
- V1.1 SMT updates Checkpoint after converting most.
- Notey increases upward here but downward.
- 2.554278e-003 8.191506e-001 vertex -5.112638e+000 -6.441790e-002 2.488700e+001 facet.