Labels Milestones
Back-1.077013e+02 9.695134e+01 1.025489e+01 facet normal 0.0376186 -0.382436 0.923216 vertex 7.38374 -5.12136 3.82299 facet normal -1.357119e-12 1.000000e+00 9.445800e-15 facet normal 0.865129 -0.462433 0.194183 facet normal 0.111553 0.367742 0.923213 facet normal 0.909897 -0.284801 0.301622 facet normal -3.566057e-01 -9.342549e-01 -3.489961e-04 vertex -9.500859e+01 9.211231e+01 1.055000e+01 facet.
- -1.008637e+02 1.051965e+02 2.655000e+01 facet normal -0.678283.
- SMT updates SMT updates -5.204 4.958 6.88408 facet normal -9.852917e-01.