Labels Milestones
Back-4.98874 -4.61842 7.03804 vertex 4.46869 4.91993 7.17054 facet normal 8.555891e-01 4.584470e-03 5.176353e-01 vertex -1.083765e+02 9.725134e+01 5.154800e+00 facet normal 0.248691 0.968583 0 facet normal -8.334679e-001 5.525678e-001 0.000000e+000 vertex -6.593646e+000 2.467701e+000 1.747200e+001 facet normal 4.225726e-001 1.881832e-003 9.063271e-001 facet normal 6.451590e-01 7.640483e-01 -0.000000e+00 facet normal 0.564081 -0.273132 0.779238 facet normal -0.734389 -0.392534 0.553705 facet normal -0.192238 -0.421012 0.88645 facet normal 0.288986 -0.749614 0.595454 vertex -5.5867 4.34382 7.39225 facet normal -0.615997 -0.526063 0.586349 vertex 6.27392 -1.68379 19.9697 facet normal 0.727323 0.241721 0.642318 facet normal -0.466832 -0.877365 0.110898 facet normal 1.575936e-001 2.757886e-001 9.482114e-001 facet normal 0.69044 -0.423077 0.58677 facet normal -9.503701e-01 3.145957e-03 -3.111057e-01 facet normal 0.036638 0.124559 0.991535 facet normal -3.921818e-001 6.752375e-001 6.246982e-001 vertex 6.516484e-001 -4.381669e+000 2.484855e+001 facet normal 9.964629e-01 -8.403365e-02 0.000000e+00 vertex -1.024702e+02 9.381525e+01 3.455000e+01 vertex -1.045657e+02 9.849792e+01 2.655000e+01 facet normal 6.60207e-05 -0.115483 0.993309 facet normal 4.124057e-003 9.999915e-001 -0.000000e+000 vertex 6.868123e+000 1.745502e+000 9.983999e+000 vertex 6.277050e+000 -3.351948e+000 2.496000e+001 vertex 4.683485e+000 3.170513e+000 1.747200e+001 facet normal 0.63014 0.772994 0.0735165 vertex 6.72966 -0.896427 7.87006 facet normal 2.497601e-01 9.683078e-01 -5.982470e-05 facet normal 4.282516e-16 -1.042696e-15 -1.000000e+00 facet normal -0.901636 -0.420949 0.0992679 vertex -9.29776 -3.68124 0 facet normal 9.930239e-001 4.727985e-003 1.178182e-001 facet normal -0.346103 -0.295604 0.890411 facet normal -0.00133256 0.116082 0.993239 vertex 7.18483 1.06427 7.92316 facet normal -4.434096e-01 0.000000e+00 -8.963191e-01 vertex -1.048734e+02 9.715134e+01 1.245949e+01 facet normal -0.0822024 0.0560446 0.995039 facet normal -0.0953757 -0.0294114 0.995007 vertex 7.19917 3.46694 19.9405 facet normal 0.773012 -0.634391 0 vertex -1.21798 6.38487 20 vertex -1.21798 6.38487 19.9 facet normal -0.471366 0.881856 -0.0120354 facet normal 9.513106e-001 -3.082340e-001 0.000000e+000 vertex 6.918735e-001 -7.088008e+000 9.983999e+000 vertex 2.260702e-001 7.029575e+000 2.496000e+001 vertex 5.197721e+000 4.781580e+000 9.983999e+000 vertex 5.035786e+000 -5.036913e+000 1.747200e+001 facet normal -0.643667 -0.528237 0.553767 facet normal 0.370053 0.60387 0.705975 facet normal 0.714669 -0.586516 0.381113 facet normal 0.00343464 0.09617 0.995359 facet normal -0.618219 -0.682997 0.388999 facet normal -0.0981585 -0.995171 0 vertex -8.31492 3.44415 0 vertex -2.40611 -1.85105 6.59 facet normal 4.395874e-001 -7.536192e-001 4.886932e-001 facet normal 0.0817378.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after tweaking.
- 0.0914209 -0.463058 0.8816 vertex -4.61842.