Labels Milestones
Back-3.904712e-01 vertex -9.039783e+01 1.006114e+02 1.200773e+01 facet normal -0.601732 -0.737769 0.305966 vertex 4.43402 4.43402 7.71007 vertex 4.47998 4.47998 7.50886 vertex -4.6363 -4.35153 7.51116 facet normal 0.464833 -0.31635.
- 2.07867 -1.38893 6.5 vertex.
- -0.0974261 -0.989343 0.108205 facet.
- -0.630673 -0.768469 0.108201 facet normal 0.88054.
- SMT updates Checkpoint after converting most things.