Labels Milestones
Back-0.768557 0.108238 facet normal -0.0824715 0.0562099 0.995007 vertex 7.01649 -3.85357 19.9472 vertex 7.19917 -3.46694 19.9405 facet normal 8.406740e-02 -9.964600e-01 -3.534281e-04 vertex -9.698088e+01 9.171996e+01 1.055000e+01 facet normal -0.584872 0.805011 0.0994117 vertex -4.28661 -6.75462 20 facet normal -0.0426235 0.554793 0.830896 vertex -0.499373 -7.3432 6.98393 vertex 4.72589 5.62591 7.07423 facet normal -0.816074 -0.5453 -0.191498 facet normal 0.507857 0.489735 0.708689 facet normal 8.599717e-001 3.605409e-003 5.103289e-001 facet normal -7.646735e-01 -4.091655e-03 -6.444050e-01 facet normal 0.555573 -0.831468 7.7622e-07 vertex -1.31069 3.16429 8.44867 vertex -0.800782 3.26571 8.11431 vertex 1.45059 3.07081 15.6068 vertex 0.4 3.34543 14.8152 vertex 0.4 3.22015 18.5638 facet normal 0.0169529 0.828691 0.559449 facet normal 1.907807e-01 -2.084875e-03 -9.816305e-01 facet normal -4.547776e-001 7.811890e-001 4.276928e-001 facet normal -3.274500e-01 -9.448685e-01 3.434569e-04 vertex -9.992756e+01 9.217328e+01.
- Updates SMT updates Checkpoint after converting most things.
- Normal -3.496760e-001 -6.145908e-001 7.071103e-001 vertex 5.115862e+000 -1.887361e-002.
- 0.479376 -0.871973 0.0993049 facet normal -4.120029e-001 -9.111825e-001 0.000000e+000.
- 0.000195511 0.116119 0.993235 vertex -5.26759 5.16186 6.86461.
- 0.297059 0.243768 0.923219 facet.