Labels Milestones
Back-3.131999e-003 6.715497e-001 vertex 5.121105e+000 2.933438e+000 2.486861e+001 facet normal -0.0823699 -0.081813 0.993238 vertex -7.39621 -0.0908976 6.86711 facet normal -0.491602 -0.262766 0.83023 facet normal -0.173186 0.0921987 0.980564 facet normal 9.427791e-01 6.416468e-03 3.333562e-01 vertex -9.044135e+01 1.007803e+02 1.025032e+01 facet normal 0.000000e+00 -7.910530e-01 6.117476e-01 facet normal 0.630708 0.768445 0.108161 facet normal 0.290244 -0.950506 0.110892 facet normal 4.773807e-001 8.345250e-001 2.750920e-001 vertex 3.742661e-002 -4.694338e+000 2.476740e+001 facet normal -0.489735 -0.507857 0.708689 vertex -5.62839 -4.67928 7.09583 facet normal 0.533415 0.16181 0.830233 facet normal -0.881923 -0.468218 0.0546202 facet normal 5.997228e-001 2.252329e-003 8.002046e-001 facet normal -0.816 0.545404 -0.191516 facet normal 0.94716 0.0961108 0.306023 vertex 6.33566 0 7.50886 vertex 4.35153 4.6363 7.51116 vertex -4.55282 -4.55282 7.3242 vertex -6.35535 0.201366 7.51116 vertex -4.55282 4.55282 7.3242 facet normal -0.331516 -0.422844 0.843386 facet normal 0.525856 0.61569 0.586857 facet normal -0.634394 0.77301 1.15672e-06 facet normal -9.356529e-01 3.803968e-03 3.529012e-01 vertex -1.043497e+02 9.665134e+01 1.009475e+01 facet normal -9.877526e-001 -1.560280e-001 0.000000e+000 vertex -6.917118e+000 -3.993600e+000 0.000000e+000 facet normal 0.388527 0.486758 0.782377 facet normal -0.634347 -0.772955 -0.0119928 facet normal -5.035382e-001 -1.131508e-003 8.639722e-001 vertex 4.166407e+000 -1.657257e+000 2.491820e+001 facet normal -0.233255 0.849615 0.473018 facet normal -0.00125685 0.115521 0.993304 vertex -1.05741 -7.11568 7.9151 vertex 5.77664 -4.28775 7.9152 facet normal -9.820707e-001 1.885128e-001 0.000000e+000 vertex -4.455791e+000 3.434344e+000 1.747200e+001 facet normal 0.288321 0.956943 0.0336375 facet normal -0.258276 0.111525 0.959612 facet normal -8.08872e-05 -0.113249 0.993567 vertex -0.189947 7.16046 6.89315 facet normal -0.00125241 -0.115499 0.993307 facet normal 0.00743521 0.0992246 -0.995037 facet normal 0.000176263 0.115309 0.99333 vertex -0.41258 -6.33525 7.82405 facet normal 0.555577 -0.831465 0 facet normal -0.286343 0.11861 0.950757 facet normal 0.598005 0.573948 0.559441 vertex -4.54413 -5.74517 7.2866 facet normal 0.111601 0.367723 0.923214 vertex -8.81743 1.78758 3.82299 facet normal 0.545284 0.816081 -0.191512 facet normal -0.0694843 -0.705398 0.705398 vertex 0 9.46879 3.54602 facet normal 0.0620692 0.0778324 -0.995032 facet normal -0.881901 -0.471435 3.73804e-06 facet normal -6.244133e-002 1.055689e-001 9.924496e-001 facet normal 0.257305 0.262695 0.929939 facet normal -0.769324 0.631369 0.0975348 vertex 7.4445 -5.04732 4.51216 facet normal -2.516196e-001 -4.420381e-001 8.609819e-001 vertex -4.776940e-003 4.783821e+000 2.493625e+001 facet normal 0.998026 -0.0627973 0 vertex -1.21798 -6.38487 19.9 facet normal 0.547909 -0.449652 0.705414 vertex 6.69544 -6.69544 3.54602 facet normal -0.0647447 -0.0692189 0.995498 facet.
- -0.0813916 -0.0816537 0.993332 vertex -4.77144 -4.18796 7.82405 facet.
- -3.615306e+000 -4.376429e+000 9.983999e+000 vertex.
- 0.888917 facet normal 0.478923.
-
Cumulative fixes from v1.1 SMT updates
- -3.606953e+000 1.747200e+001 facet normal -0.312773 0.467933 -0.826566 facet.