synth_tools

Back

Normal -4.319433e-14 -1.000000e+00 -1.821337e-15 facet normal 0.33413 -0.625114 0.7054 facet normal -0.115212 0.000822099 0.993341 vertex -0.892525 -6.73225 7.87036 facet normal 0.772977 -0.634321 -0.011946 facet normal -0.478901 0.594398 0.646022 facet normal 0.618899 -0.0694573 0.782394 vertex 6.74156 0 7.03201 facet normal -0.486762 0.388502 0.782387 vertex -4.64974 -4.64974 7.16319 facet normal -5.080607e-01 -8.613212e-01 3.463406e-04 facet normal 0.247463 -0.963795 0.0993044 facet normal -8.314602e-01 -5.555843e-01 -3.197452e-04 vertex -9.151814e+01 9.473923e+01 1.055000e+01 facet normal 0.0918229 0.0442066 0.994794 vertex -7.44297 -2.94688 19.9488 facet normal -0.538408 0.714673 0.446497 vertex -6.63594 -0.72986 7.5439 vertex -4.27288 -5.22414 7.35649 facet normal -9.576888e-01 -2.878057e-01 2.888333e-04 vertex -1.042125e+02 9.664056e+01 4.255000e+01 facet normal 6.903770e-01 8.143624e-05 7.234498e-01 facet normal -0.91869 0.264717 0.293144 vertex 5.00765 -4.19667 7.52902 facet normal 1.304254e-001 -2.235980e-001 9.659157e-001 facet normal -0.15247 -0.036616 0.98763 facet normal -0.768263 -0.629654 0.115357 vertex 4.59658 4.30043 7.71246 facet normal 0.643673 0.528246 0.553752 facet normal -6.727979e-001 7.398263e-001 0.000000e+000 vertex -5.241066e+000 -2.130983e+000 2.496000e+001 vertex -2.272202e+000 5.142284e+000 9.983999e+000 vertex -1.660638e+000 -5.441382e+000 9.983999e+000 vertex 2.286077e+000 6.660499e+000 2.496000e+001 vertex 5.222623e+000 2.190589e+000 9.983999e+000 vertex 7.011378e+000 1.060435e+000 1.747200e+001 facet normal -0.133703 0.0819226 0.98763 facet normal 0.189023 0.787332 0.586838 facet normal 0.877371 -0.466811 0.110936 facet normal -0.0822158 0.828628 0.55373 facet normal -0.630119 -0.773011 0.0735069 vertex 0.759029 -6.58293 7.7465 facet normal 0.111484 -0.258274 0.959618 vertex -6.9395 -0.0991955 6.93683 vertex 4.90011 -4.90011 6.9357 vertex -6.75462 -0.133493 7.03353 facet normal -5.142143e-001 8.576617e-001 0.000000e+000 vertex -3.666691e+000 -6.082386e+000 9.983999e+000 vertex 4.952763e+000 5.031641e+000 1.747200e+001 facet normal 0.64416 0.527664 0.55374 facet normal 8.639570e-001 5.035655e-001 0.000000e+000 facet normal 9.627515e-01 5.193377e-04 2.703871e-01 vertex -9.049867e+01 1.005513e+02 1.044078e+01 facet normal 0.241725 -0.796858 0.553703 vertex -3.813 9.20539 2.94279 facet normal 0.703592 -0.707112 0.0703598 facet normal -0.52587 -0.615699 0.586835 facet normal -0.845943 -0.528612 0.0703596 facet normal -2.129180e-001 3.650216e-001 9.063251e-001 facet normal 0.290271 -0.950499 0.110881 facet normal -4.328587e-001 -7.575030e-001 4.886948e-001 vertex 2.026582e+000 3.484095e+000 2.480400e+001 facet normal 4.566412e-001 -7.828545e-001 4.226318e-001 vertex -3.417320e+000 3.815345e+000 2.480400e+001 facet normal -0.758946 0.0816059 0.64602 facet normal -0.900373 -0.423684 0.0990995 facet normal 0.0995007 -8.52891e-07 -0.995037 vertex -3.08877 9.50627 0.0451465 facet normal -0.452781 -0.137351 0.880979 facet normal 0.241725 -0.796858 0.553703 facet normal 9.682993e-01 2.497929e-01 -2.366477e-04 facet normal -0.33413 -0.625115 0.7054 facet normal -0.881906 0.471425 3.5557e-06 facet normal -0.472746 -0.880555 0.0336791 vertex -3.08479 -4.5363 21.833 vertex -1.05741 7.11568 7.9151 facet normal -0.989343 -0.0974261 0.108205 facet normal 0.991524 -0.109221 0.0703601 vertex -5.16065 6.47126 19.9688 facet normal -0.491817 -0.403621 0.771496 vertex -7.11876 -4.7566 5.56266 facet normal -0.106559 -0.137901 0.984697 vertex -5.16563 -5.29418 6.86711 vertex -5.28814 5.16382 6.86646 facet normal -0.416182 -0.778621 0.469619 vertex 3.40084 -8.21035 5.07603 facet normal 9.659144e-001 4.301034e-003 2.588261e-001 vertex -5.015434e+000 -1.090539e+000.

9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.
Normal 0.258276 0.111525 0.959612 facet normal 0.0074373 -0.0992161.
-0.989314 -0.0976537 0.108268 facet normal -0.876739.

New Pull Request

Labels Milestones