Labels Milestones
Back0.771715 -0.635858 -0.0118532 vertex -2.05061 2.05061 19 facet normal 0.262765 0.491592 0.830236 facet normal 0.0815518 0.0820835 0.993283 vertex 5.39153 4.12931 7.87036 facet normal -0.768559 -0.630556 0.108246 facet normal 0.767815 0.63438 0.0895698 facet normal 0.000664863 0.116361 -0.993207 facet normal -5.080607e-01 -8.613212e-01 -3.436777e-04 vertex -1.012109e+02 9.281104e+01 2.655000e+01 facet normal 3.694683e-15 -4.689871e-15 1.000000e+00 facet normal -0.995184 -0.0980238 0 vertex -2.40611 1.85105 6.59 facet normal -0.787432 -0.189054 0.586694 vertex 6.80334 0.380651 19.8418 vertex 6.7142 -0.75193 19.8418 vertex 3.22377 -2.17372 19.9 facet normal -1.193566e-03 0.000000e+00 9.999993e-01 facet normal 0.877731 0.469113 0.0975757 vertex 5.00013 -7.48323 3.82299 vertex 7.48323 5.00013 3.82299 facet normal -0.225353 0.544079 0.808204 vertex 5.62155 1.68133 19.4867 vertex 5.38277 -1.35267 19.1916 facet normal 7.851410e-01 -2.872225e-03 6.193104e-01 facet normal 0.382432 -0.0376698 0.923216 vertex 8.82707 -1.75581 3 vertex -8.30722 -3.44096 3 vertex -8.30568 -3.44384 3 vertex -8.81921 -1.75094 3 vertex -3.44415 8.31492 4.51215 facet normal -0.161832 0.533413 0.83023 facet normal 0.305573 0.114506 0.945258 facet normal 8.724433e-001 3.884926e-003 4.887000e-001 facet normal -0.183001 -0.980592 -0.0703584.
- SMT updates SMT updates Checkpoint after.
- 12.5464 facet normal -0.940721 -0.331802 0.0703595 facet.
- -3.503257e-04 vertex -9.539299e+01 9.198978e+01 1.855000e+01 vertex.