Labels Milestones
Back-6.586227e-001 -2.932417e-003 7.524677e-001 vertex 4.127111e+000 -8.361889e-001 2.488700e+001 facet normal -5.967591e-01 8.024204e-01 1.230855e-04 vertex -1.018354e+02 1.045514e+02 4.255000e+01 facet normal -2.890030e-001 4.954603e-001 8.191437e-001 vertex 2.629821e+000 -4.514335e+000 2.491820e+001 facet normal 0.0961108 -0.94716 0.306023 vertex 0.201366 -6.35535 7.51116 facet normal 0.124598 0.886057 0.446518 facet normal 7.114110e-01 -5.656142e-04 -7.027760e-01 facet normal -0.451284 -0.84429 0.288993 vertex 7.46009 -4.98467 4.79464 facet normal 5.955846e-001 2.446860e-003 8.032888e-001 facet normal 4.860397e-001 8.515486e-001 1.965460e-001 vertex 3.735342e-002 -4.677938e+000 2.470887e+001 facet normal 0.950499 0.290271 0.110881 facet normal -0.137651 0.106817 0.984704 facet normal 1.110444e-01 3.629959e-03 9.938088e-01 facet normal 0.0883209 -0.0731843 0.9934 vertex -5.10296 6.16842 19.944 facet normal -0.0818837 -0.0813285 0.993318 vertex -5.18289 4.10946 7.85151 facet normal -0.741926 -0.638679 0.204047 vertex -4.33969 5.83811 7.81812 facet normal 0.995114 0.0980109 -0.0119198 facet normal -7.413586e-01 -6.711090e-01 -3.299664e-04 vertex -9.218835e+01 9.392771e+01 2.550000e+00 facet normal 3.874182e-001 6.779826e-001 6.246973e-001 vertex -1.307851e+000 -4.006416e+000 2.488700e+001 facet normal 0.0807235 0.0825634 0.993311 vertex -4.28775 5.77664 7.9152 facet normal 0.830854 -0.556491 -1.85843e-07 vertex -1.32933 -3.15183 6.59 facet normal -1.437965e-001 9.896073e-001 0.000000e+000 vertex 6.697503e+000 -2.390578e+000 9.983999e+000 vertex -7.007181e+000 7.714146e-001 9.983999e+000 vertex -1.481438e+000 5.423960e+000 2.496000e+001 vertex -2.857563e-001 -5.687710e+000 9.983999e+000 vertex 4.242270e+000 -5.723458e+000 2.496000e+001 vertex -5.130974e+000 -2.388475e+000 2.496000e+001 vertex 4.977315e+000 2.693898e+000 1.747200e+001 facet normal 0.205763 -0.678285 0.705402 facet normal -4.384196e-001 7.543000e-001 4.886919e-001 vertex 6.390748e-001 -4.360113e+000 2.480400e+001 facet normal -0.081813 -0.0823699 0.993238 vertex 7.39621 -0.0908976 6.86711 vertex 7.40505 0 6.86814 vertex 7.39065 0.0879059 6.86646 vertex -5.32461 5.12711 6.87554 facet normal -9.969315e-01 -5.655619e-03 7.807489e-02 facet normal 0.989341 -0.0974461 0.108206 facet normal -9.503157e-01 -3.112878e-01 8.158233e-06 vertex -8.524144e+01 9.665134e+01 1.561034e+01 facet normal -0.464678 -0.695445 -0.548115 vertex -2.63805 1.98496 18.4724 vertex -0.4 3.34544 16.275 facet normal 0.0950804 -0.0293273 -0.995038 vertex -6.37165 -7.70201 0.0405665 vertex -6.36064 -7.71004 0.0403056 facet normal -0.615997 -0.526063 0.586349 vertex 6.27392 1.68379 19.9697 facet normal 0.0975473 0.990438 0.0975565 vertex -8.99402 0.0606976 4.51215 facet normal -9.633204e-01 -2.683537e-01 0.000000e+00 vertex -9.019160e+01 9.890134e+01 1.755000e+01 facet normal 4.127373e-001 -7.075863e-001 5.735586e-001 facet normal 0.956945 0.288313 0.0336363 vertex 1.05741 -5.51437 21.6407 facet normal -0.471404 -0.875977 0.102188 facet normal 0.00906568 -0.644985 0.764141 vertex -4.40436.
- Updates SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after tweaking.
- 0.300169 0.365754 0.880978 facet normal -0.081929 -0.133699.