n=6 d=3 r=4: constrained min mean(e_r^2) = 1.186e-05 at coord-residual 0.300 (median random V 1.905e-03; ratio 6.23e-03) [Thm 1.5: r=4, n=6] (34s)
n=7 d=3 r=4: constrained min mean(e_r^2) = 1.335e-05 at coord-residual 0.300 (median random V 2.757e-03; ratio 4.84e-03) [Thm 1.5: r=4, n=7] (38s)
n=8 d=3 r=4: constrained min mean(e_r^2) = 1.143e-05 at coord-residual 0.300 (median random V 3.339e-03; ratio 3.42e-03) [Thm 1.5: r=4, n=8] (27s)
n=8 d=5 r=6: constrained min mean(e_r^2) = 5.777e-08 at coord-residual 0.300 (median random V 6.809e-06; ratio 8.48e-03) [Thm 1.5: r=6, n=8] (85s)
n=5 d=2 r=4: constrained min mean(e_r^2) = 8.006e-21 at coord-residual 0.460 (median random V 1.117e-03; ratio 7.17e-18) [control: Remark 3.4 plane exists for r=4, n=5 (d=r/2)] (6s)
n=6 d=2 r=4: constrained min mean(e_r^2) = 1.802e-20 at coord-residual 0.347 (median random V 1.543e-03; ratio 1.17e-17) [control: Remark 3.4 plane padded, r=4, n=6] (13s)
n=7 d=3 r=6: constrained min mean(e_r^2) = 2.430e-22 at coord-residual 0.897 (median random V 2.307e-06; ratio 1.05e-16) [control: Remark 3.4 3-space exists for r=6, n=7] (7s)
python3 ref1_rigidity.py  83.73s user 1.10s system 40% cpu 3:30.56 total
