Labels Milestones
BackNormal -0.467997 -0.312516 -0.826627 vertex 2.92547 -1.22714 18.7502 facet normal 0.683048 -0.365098 0.632574 facet normal 0.956941 -0.290283 -5.32302e-07 facet normal -4.926599e-001 8.446044e-001 2.095942e-001 facet normal 5.735860e-001 1.353294e-003 8.191442e-001 vertex -5.121780e+000 1.988650e+000 2.488700e+001 facet normal 0.0822243 0.0560592 -0.995036 vertex 1.87509 -9.81814 0.0427034 vertex 2.0535 9.77267 0.0395017 facet normal 0.643664 -0.528347 0.553666 facet normal -0.255018 0.430921 0.865606 facet normal 0.900348 0.423675 0.0993603 facet normal 0.652502 0.754513 -0.0703644 vertex 2.11143 9.25077 6.17306 vertex 9.77065 1.32079 1.35458 vertex 9.38269 -1.41421 6.17306 vertex 9.77065 1.32079 1.35458 vertex 9.38269 -1.41421 6.17306 vertex 9.77065 -1.32079 1.35458 facet normal 2.337051e-01 -2.008426e-03 -9.723055e-01 facet normal 0.992162 0.101047 0.0735128 vertex -2.95564 -4.03376 21.7809 facet normal -0.382437 0.0376247 0.923215 facet normal 9.807881e-01 -1.950736e-01 1.021077e-03 vertex -1.044754e+02 9.769640e+01 2.655000e+01 facet normal -0.840159 0.53317 0.0993083.
- -8.403357e-02 1.343157e-03 vertex -1.045657e+02 9.930452e+01 2.655000e+01.
- 0.0815498 0.55377 facet normal 4.391175e-002 -7.528125e-002 9.961950e-001 vertex.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after fixes.