uniform                m=17  theta=3^-1   unit=True sturm=True taylor=skipped (m > 11) -> OK (2.8s)
uniform                m=19  theta=3^-1   unit=True sturm=True taylor=skipped (m > 11) -> OK (7.7s)
uniform                m=21  theta=3^-1   unit=True sturm=True taylor=skipped (m > 11) -> OK (17.7s)
zero-sum (29)          m=17  theta=3^-1   unit=True sturm=True taylor=skipped (m > 11) -> OK (34.0s)
zero-sum (29)          m=19  theta=3^-1   unit=True sturm=True taylor=skipped (m > 11) -> OK (89.8s)
zero-sum (29)          m=21  theta=3^-1   unit=True sturm=True taylor=skipped (m > 11) -> OK (293.2s)
1..17                  m=17  theta=3^-1   unit=True sturm=True taylor=skipped (m > 11) -> OK (67.0s)
alternating 1..17      m=17  theta=3^-1   unit=True sturm=True taylor=skipped (m > 11) -> OK (65.9s)
10^9 vs 1              m=5   theta=3^-3   unit=True sturm=True taylor=True -> OK (0.1s)
1 vs 10^9              m=5   theta=3^-1   unit=True sturm=True taylor=True -> OK (0.1s)
10^-5 and 10^5         m=5   theta=3^-5   unit=True sturm=True taylor=True -> OK (0.1s)
10^-5 and 10^5 (b)     m=7   theta=3^-5   unit=True sturm=True taylor=True -> OK (0.8s)
random #0              m=11  theta=3^-1   unit=True sturm=True taylor=True -> OK (19.9s)
random #1              m=5   theta=3^-1   unit=True sturm=True taylor=True -> OK (0.0s)
random #2              m=13  theta=3^-1   unit=True sturm=True taylor=skipped (m > 11) -> OK (85.2s)
random #3              m=13  theta=3^-1   unit=True sturm=True taylor=skipped (m > 11) -> OK (85.6s)
random #4              m=13  theta=3^-1   unit=True sturm=True taylor=skipped (m > 11) -> OK (108.7s)
random #5              m=11  theta=3^-2   unit=True sturm=True taylor=True -> OK (30.3s)
random #6              m=13  theta=3^-2   unit=True sturm=True taylor=skipped (m > 11) -> OK (166.7s)
random #7              m=7   theta=3^-1   unit=True sturm=True taylor=True -> OK (0.2s)
ALL INDEPENDENT CONSTRUCTIONS CERTIFIED
