Labels Milestones
Back0.257305 0.929939 vertex -4.89431 5.50428 6.95641 facet normal 8.721423e-001 -4.892522e-001 0.000000e+000 vertex -3.245382e+000 4.591067e+000 9.983999e+000 vertex 4.158177e+000 3.825264e+000 9.983999e+000 vertex -5.338290e+000 -1.868363e+000 9.983999e+000 vertex.
- Vertex -5.069612e+000 -1.090780e+000 2.484855e+001 facet normal 1.397736e-01 9.901835e-01.
- -5.080899e-01 3.257410e-04 facet normal 0.768557 0.63056 0.108238 facet.
- SMT updates Checkpoint after converting most.