Labels Milestones
BackVertex -9.99456 1.98804 2.19603 vertex 1.97312 -9.91954 2.58057 facet normal -8.391899e-02 9.964726e-01 0.000000e+00 facet normal -0.643709 -0.528256 0.553701 facet normal -8.403365e-02 -9.964629e-01 0.000000e+00 vertex -9.858924e+01 1.059924e+02 1.055000e+01 vertex -1.028490e+02 9.422454e+01 2.550000e+00 facet normal 0.288321 -0.956943 0.0336375 vertex 6.9148 0.996058 7.89166 vertex -6.91658 0.991719 7.89187 facet normal -0.533413 -0.161832 0.83023 facet normal 2.777580e-17 -4.983957e-16 -1.000000e+00 facet normal -0.0555716 0.706052 0.705976 vertex 4.4 1.672 19.1916 vertex 5.86953 1.46953 19.4867 facet normal 0.0813916 -0.0816537 0.993332 vertex -4.77144 -4.18796 7.82405 facet normal 8.472685e-07 -1.000000e+00 4.489925e-07 facet normal 2.497601e-01 9.683077e-01 3.520465e-04 vertex -9.578389e+01 1.059137e+02 1.855000e+01 vertex -9.129400e+01 9.507470e+01 2.655000e+01 facet normal 0.0619079 -0.0776297 -0.995058 vertex 6.37112 7.70136 0.0489709 facet normal -0.0817724 -0.0814632 0.993316 vertex -4.97411 4.13072 7.83604 facet normal -5.026217e-001 8.616822e-001 6.982353e-002 vertex 2.042886e+000 -3.506942e+000 2.470218e+001 facet normal 0.629624 -0.768293 0.115323 vertex 3.43619 3.13874 21.7467 vertex 3.27291 -3.27291 21.7443 facet normal -0.000000e+00 -1.373582e-15 -1.000000e+00 facet normal 0.988479 0.0980344 0.115322 facet normal 0.106257 0.442581 0.890411 facet.
- Updates SMT updates Checkpoint after.
- (end 182.0025 120.9275 (end 183.04 119.89.
- 4.519256e+000 3.397341e+000 1.747200e+001 facet.