Labels Milestones
BackNormal -0.993105 0.0624783 0.0991895 vertex -7.93692 -1.00267 20 facet normal 0.101034 -0.992165 0.0734901 vertex 4.11812 -5.19155 7.7465 facet normal 6.194752e-01 7.850162e-01 -3.365870e-04 vertex -9.308748e+01 9.313313e+01 2.550000e+00 facet normal 0.954686 -0.292559 0.0546222 facet normal -7.41043e-05 0.11511 0.993353 vertex -6.2584 0 7.81508 vertex -6.25374 0 7.81454 vertex -6.27431 -0.210331 7.81694 facet normal 0.288339 0.956937 0.0336393 facet normal -0.262765 -0.491592 0.830236 facet normal 4.391218e-002 -7.528201e-002 9.961950e-001 facet normal -0.630723 -0.768425 0.108218 facet normal -0.423073 -0.690391 0.58683 vertex 5.83026 -1.96858 19.8418 vertex 5.86953 -1.46953 19.4867 facet normal 0.243768 -0.297059 0.923219 facet normal -0.103782 -0.261482 0.959613 facet normal 9.966022e-001 8.236541e-002 0.000000e+000 facet normal -3.318474e-001.
- 1.051966e+02 2.655000e+01 facet normal 2.337051e-01.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint.